2.63/1.90
2.63/1.90 AbsCon 2
2.63/1.92
3.26/2.16 Instance
3.26/2.16 name=instance-4391304-1568388066, framework=COP, bounds=-infty..+infty
3.26/2.16
3.26/2.16 Loading variables...
3.53/2.26 Loading constraints...
17.67/7.30
17.67/7.30 Domains
17.67/7.30 nTypes=1, nValues=2284800, sizes=[2856#800]
17.67/7.30 Variables
17.67/7.30 count=800, degrees=[3#50,50#50,51#700]
17.67/7.30 Objectives
17.67/7.30 way=min, type=ObjMaximumLE
17.67/7.30 Constraints
17.67/7.30 count=19176, nSpecific=18376, arities=[1#50,2#19125,50#1]
17.67/7.30 distribution=[CtrExtensionSmart-TableSmart#18375,CtrIntension#800,ObjMaximumLE#1]
17.67/7.30 tables=[2#18375], nTotalTuples=36750
17.67/7.30 nExtStructures=(18375,shared:0), nIntStructures=(184,shared:616)
17.67/7.30 wck=5.432, cpu=5.492, mem=1371M979
20.03/8.43 Solver SolverBacktrack being built...
20.03/8.43
20.21/8.51
20.21/8.51 Solver
20.21/8.51 guaranteedGAC=true
20.21/8.51 wck=6.64, cpu=6.48, mem=2014M582
213.92/201.71
213.92/201.71 Preprocessing
213.92/201.71 filters=2189, revisions=(3035,useless=110), ccks=3660868439, nACremovedValues=594304, nTotalRemovedValues=594304, inconcistency=false
213.92/201.71 wck=193.201, cpu=199.652, mem=2072M583
213.92/201.71
265.34/251.34 num=0, depth=341..341, filters=18565, revisions=(22108,useless=12673), ccks=4456199292, wck=242.835, mem=1906M584
265.34/251.34 decisions=361, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
265.34/251.34 nFilterCalls=616314, avgTableProportion=0.4163129508659547, avgTableSize=0.8326259017319094
265.34/251.34
313.62/299.55 num=1, depth=344..344, filters=33187, revisions=(42100,useless=26519), ccks=5261056755, wck=291.046, mem=1965M556
313.62/299.55 decisions=727, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
313.62/299.55 nFilterCalls=1143130, avgTableProportion=0.4056782693132015, avgTableSize=0.811356538626403
313.62/299.55
360.66/346.57 num=2, depth=322..322, filters=49624, revisions=(61606,useless=39398), ccks=6047527149, wck=338.059, mem=2032M806
360.66/346.57 decisions=1073, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
360.66/346.57 nFilterCalls=1677425, avgTableProportion=0.4005484596926837, avgTableSize=0.8010969193853674
360.66/346.57
409.60/395.42 num=3, depth=308..308, filters=68854, revisions=(82220,useless=52605), ccks=6864664330, wck=386.915, mem=2090M449
409.60/395.42 decisions=1407, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
409.60/395.42 nFilterCalls=2243089, avgTableProportion=0.39672188664827834, avgTableSize=0.7934437732965567
409.60/395.42
457.63/443.48 num=4, depth=3..274, filters=84461, revisions=(101605,useless=66047), ccks=7673366791, wck=434.97, mem=2148M92
457.63/443.48 decisions=1709, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
457.63/443.48 nFilterCalls=2741095, avgTableProportion=0.3989057292797222, avgTableSize=0.7978114585594444
457.63/443.48
506.05/491.85 num=5, depth=310..310, filters=97832, revisions=(120310,useless=78212), ccks=8485270790, wck=483.338, mem=2215M342
506.05/491.85 decisions=2051, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
506.05/491.85 nFilterCalls=3258732, avgTableProportion=0.3984898113744855, avgTableSize=0.796979622748971
506.05/491.85
552.89/538.61 num=6, depth=285..285, filters=121246, revisions=(141950,useless=92876), ccks=9269522231, wck=530.104, mem=2272M985
552.89/538.61 decisions=2370, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
552.89/538.61 nFilterCalls=3810529, avgTableProportion=0.39405198070924013, avgTableSize=0.7881039614184803
552.89/538.61
600.72/586.48 num=7, depth=278..278, filters=135565, revisions=(161743,useless=106196), ccks=10069841495, wck=577.968, mem=2330M628
600.72/586.48 decisions=2686, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
600.72/586.48 nFilterCalls=4332616, avgTableProportion=0.39455389076714853, avgTableSize=0.7891077815342971
600.72/586.48
608.92/594.67 num=8, depth=3..3, filters=144783, revisions=(164094,useless=107225), ccks=10207459844, wck=586.164, mem=2349M843
608.92/594.67 decisions=2731, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
608.92/594.67 nFilterCalls=4407086, avgTableProportion=0.3957756894238052, avgTableSize=0.7915513788476104
608.92/594.67
663.38/644.70 num=9, depth=29..267, filters=158861, revisions=(182675,useless=119356), ccks=11025243932, wck=636.19, mem=1895M262
663.38/644.70 decisions=3044, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
663.38/644.70 nFilterCalls=4912665, avgTableProportion=0.39630607826912684, avgTableSize=0.7926121565382537
663.38/644.70
685.09/666.46 num=10, depth=12..12, filters=163765, revisions=(188444,useless=122620), ccks=11387985314, wck=657.947, mem=1924M130
685.09/666.46 decisions=3106, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
685.09/666.46 nFilterCalls=5070403, avgTableProportion=0.39866397207480353, avgTableSize=0.7973279441496071
685.09/666.46
735.40/716.73 num=11, depth=267..268, filters=179378, revisions=(208425,useless=135059), ccks=12217993734, wck=708.217, mem=1972M244
735.40/716.73 decisions=3431, wrong=210, backtracks=1, failedAssignments=209, nogoods=191
735.40/716.73 nFilterCalls=5635571, avgTableProportion=0.3974970770486256, avgTableSize=0.7949941540972512
735.40/716.73
774.91/756.24 num=12, depth=93..93, filters=188069, revisions=(219706,useless=141734), ccks=12878047880, wck=747.727, mem=2020M358
774.91/756.24 decisions=3586, wrong=241, backtracks=1, failedAssignments=240, nogoods=222
774.91/756.24 nFilterCalls=5958400, avgTableProportion=0.39972761143931257, avgTableSize=0.7994552228786251
774.91/756.24
824.24/805.55 num=13, depth=184..266, filters=202569, revisions=(239283,useless=154573), ccks=13688916834, wck=797.046, mem=2069M336
824.24/805.55 decisions=3920, wrong=275, backtracks=1, failedAssignments=274, nogoods=256
824.24/805.55 nFilterCalls=6496498, avgTableProportion=0.3987514503968138, avgTableSize=0.7975029007936276
824.24/805.55
875.25/856.50 num=14, depth=277..277, filters=230489, revisions=(267810,useless=173932), ccks=14519594457, wck=847.988, mem=2136M695
875.25/856.50 decisions=4271, wrong=312, backtracks=1, failedAssignments=311, nogoods=293
875.25/856.50 nFilterCalls=7236416, avgTableProportion=0.39198934942380315, avgTableSize=0.7839786988476063
875.25/856.50
918.17/899.40 num=15, depth=98..101, filters=240475, revisions=(280798,useless=181732), ccks=15240294148, wck=890.891, mem=2175M186
918.17/899.40 decisions=4457, wrong=356, backtracks=4, failedAssignments=352, nogoods=295
918.17/899.40 nFilterCalls=7603632, avgTableProportion=0.3934807076407696, avgTableSize=0.7869614152815392
918.17/899.40
968.71/949.93 num=16, depth=256..258, filters=258524, revisions=(301849,useless=195362), ccks=16073958940, wck=941.417, mem=2232M923
968.71/949.93 decisions=4807, wrong=403, backtracks=6, failedAssignments=397, nogoods=304
968.71/949.93 nFilterCalls=8180689, avgTableProportion=0.39207534964353247, avgTableSize=0.7841506992870649
968.71/949.93
1001.82/983.03 num=17, depth=27..27, filters=265691, revisions=(310734,useless=200846), ccks=16634539792, wck=974.527, mem=2271M414
1001.82/983.03 decisions=4934, wrong=453, backtracks=6, failedAssignments=447, nogoods=354
1001.82/983.03 nFilterCalls=8423430, avgTableProportion=0.3937076701533698, avgTableSize=0.7874153403067397
1001.82/983.03
1035.42/1016.65 num=18, depth=27..27, filters=274915, revisions=(320064,useless=206367), ccks=17204642223, wck=1008.144, mem=2300M282
1035.42/1016.65 decisions=5071, wrong=508, backtracks=6, failedAssignments=502, nogoods=409
1035.42/1016.65 nFilterCalls=8681809, avgTableProportion=0.3954580203273304, avgTableSize=0.7909160406546608
1035.42/1016.65
1085.47/1066.60 num=19, depth=218..218, filters=292174, revisions=(339833,useless=219017), ccks=18035935586, wck=1058.091, mem=1879M420
1085.47/1066.60 decisions=5411, wrong=569, backtracks=6, failedAssignments=563, nogoods=470
1085.47/1066.60 nFilterCalls=9227505, avgTableProportion=0.3942693068169565, avgTableSize=0.788538613633913
1085.47/1066.60
1120.68/1101.89 num=20, depth=26..26, filters=304659, revisions=(350519,useless=225398), ccks=18630256295, wck=1093.386, mem=1917M787
1120.68/1101.89 decisions=5571, wrong=636, backtracks=6, failedAssignments=630, nogoods=537
1120.68/1101.89 nFilterCalls=9516216, avgTableProportion=0.39533329214048946, avgTableSize=0.7906665842809789
1120.68/1101.89
1168.51/1149.70 num=21, depth=80..186, filters=318191, revisions=(368710,useless=237587), ccks=19438101968, wck=1141.188, mem=1968M944
1168.51/1149.70 decisions=5905, wrong=710, backtracks=6, failedAssignments=704, nogoods=611
1168.51/1149.70 nFilterCalls=10005908, avgTableProportion=0.39478616033647324, avgTableSize=0.7895723206729465
1168.51/1149.70
1201.43/1182.54 num=22, depth=31..33, filters=328572, revisions=(379382,useless=244468), ccks=19991756553, wck=1174.029, mem=1994M522
1201.43/1182.54 decisions=6102, wrong=793, backtracks=8, failedAssignments=785, nogoods=625
1201.43/1182.54 nFilterCalls=10290813, avgTableProportion=0.39583310861833754, avgTableSize=0.7916662172366751
1201.43/1182.54
1252.53/1233.50 num=23, depth=43..205, filters=346418, revisions=(400143,useless=258000), ccks=20856596868, wck=1224.996, mem=2058M467
1252.53/1233.50 decisions=6485, wrong=882, backtracks=8, failedAssignments=874, nogoods=714
1252.53/1233.50 nFilterCalls=10867846, avgTableProportion=0.39410376260392355, avgTableSize=0.7882075252078471
1252.53/1233.50
1302.56/1283.59 num=24, depth=168..176, filters=382948, revisions=(424434,useless=272909), ccks=21701535978, wck=1275.08, mem=2122M412
1302.56/1283.59 decisions=6865, wrong=988, backtracks=16, failedAssignments=972, nogoods=717
1302.56/1283.59 nFilterCalls=11532622, avgTableProportion=0.3904382281843626, avgTableSize=0.7808764563687252
1302.56/1283.59
1350.61/1331.51 num=25, depth=32..139, filters=405908, revisions=(444174,useless=285182), ccks=22512962408, wck=1323.001, mem=2173M569
1350.61/1331.51 decisions=7221, wrong=1097, backtracks=17, failedAssignments=1080, nogoods=800
1350.61/1331.51 nFilterCalls=12067736, avgTableProportion=0.3891323111476751, avgTableSize=0.7782646222953502
1350.61/1331.51
1398.84/1379.75 num=26, depth=40..138, filters=432494, revisions=(464003,useless=297843), ccks=23331760590, wck=1371.243, mem=2237M514
1398.84/1379.75 decisions=7597, wrong=1216, backtracks=17, failedAssignments=1199, nogoods=919
1398.84/1379.75 nFilterCalls=12598987, avgTableProportion=0.38806036548811423, avgTableSize=0.7761207309762285
1398.84/1379.75
1447.97/1428.81 num=27, depth=26..122, filters=452223, revisions=(484143,useless=310491), ccks=24169539574, wck=1420.299, mem=2301M459
1447.97/1428.81 decisions=7986, wrong=1352, backtracks=22, failedAssignments=1330, nogoods=988
1447.97/1428.81 nFilterCalls=13141414, avgTableProportion=0.38629210677024556, avgTableSize=0.7725842135404911
1447.97/1428.81
1495.60/1476.46 num=28, depth=33..89, filters=471112, revisions=(502354,useless=322287), ccks=24979082691, wck=1467.949, mem=2365M405
1495.60/1476.46 decisions=8363, wrong=1496, backtracks=22, failedAssignments=1474, nogoods=1132
1495.60/1476.46 nFilterCalls=13620352, avgTableProportion=0.38628010494882953, avgTableSize=0.7725602098976591
1495.60/1476.46
1544.51/1525.35 num=29, depth=67..124, filters=488591, revisions=(523007,useless=335873), ccks=25799032975, wck=1516.844, mem=2416M561
1544.51/1525.35 decisions=8803, wrong=1654, backtracks=22, failedAssignments=1632, nogoods=1290
1544.51/1525.35 nFilterCalls=14191853, avgTableProportion=0.3847003277161904, avgTableSize=0.7694006554323808
1544.51/1525.35
1593.03/1573.81 num=30, depth=55..73, filters=519383, revisions=(543302,useless=347881), ccks=26608912540, wck=1565.3, mem=2480M506
1593.03/1573.81 decisions=9224, wrong=1828, backtracks=22, failedAssignments=1806, nogoods=1464
1593.03/1573.81 nFilterCalls=14775879, avgTableProportion=0.38338565170979, avgTableSize=0.76677130341958
1593.03/1573.81
1639.30/1620.04 num=31, depth=9..72, filters=553688, revisions=(561699,useless=359228), ccks=27385944346, wck=1611.533, mem=1905M549
1639.30/1620.04 decisions=9678, wrong=2019, backtracks=22, failedAssignments=1997, nogoods=1655
1639.30/1620.04 nFilterCalls=15276201, avgTableProportion=0.38316349071343064, avgTableSize=0.7663269814268613
1639.30/1620.04
1686.00/1666.75 num=32, depth=56..78, filters=574766, revisions=(580479,useless=371402), ccks=28171743381, wck=1658.24, mem=1956M783
1686.00/1666.75 decisions=10185, wrong=2234, backtracks=26, failedAssignments=2208, nogoods=1817
1686.00/1666.75 nFilterCalls=15771030, avgTableProportion=0.3831691398722848, avgTableSize=0.7663382797445696
1686.00/1666.75
1736.33/1717.09 num=33, depth=64..82, filters=622743, revisions=(603700,useless=385825), ccks=29010315245, wck=1708.585, mem=2033M635
1736.33/1717.09 decisions=10733, wrong=2467, backtracks=27, failedAssignments=2440, nogoods=2049
1736.33/1717.09 nFilterCalls=16391884, avgTableProportion=0.3822167421389756, avgTableSize=0.7644334842779512
1736.33/1717.09
1787.45/1768.13 num=34, depth=55..85, filters=645314, revisions=(626005,useless=399992), ccks=29862402987, wck=1759.626, mem=2110M487
1787.45/1768.13 decisions=11330, wrong=2723, backtracks=28, failedAssignments=2695, nogoods=2263
1787.45/1768.13 nFilterCalls=16981133, avgTableProportion=0.38181386365680076, avgTableSize=0.7636277273136015
1787.45/1768.13
1841.75/1822.46 num=35, depth=73..125, filters=695363, revisions=(663592,useless=425971), ccks=30745800838, wck=1813.953, mem=2187M339
1841.75/1822.46 decisions=12024, wrong=3008, backtracks=32, failedAssignments=2976, nogoods=2379
1841.75/1822.46 nFilterCalls=17908939, avgTableProportion=0.3774243409952985, avgTableSize=0.754848681990597
1841.75/1822.46
1898.57/1879.29 num=36, depth=83..93, filters=735034, revisions=(694936,useless=445136), ccks=31693907749, wck=1870.78, mem=2264M191
1898.57/1879.29 decisions=12739, wrong=3320, backtracks=36, failedAssignments=3285, nogoods=2661
1898.57/1879.29 nFilterCalls=18781166, avgTableProportion=0.3736747228579951, avgTableSize=0.7473494457159902
1898.57/1879.29
1971.41/1952.01 num=37, depth=47..102, filters=799898, revisions=(748167,useless=479517), ccks=32893683278, wck=1943.503, mem=2366M660
1971.41/1952.01 decisions=13581, wrong=3690, backtracks=66, failedAssignments=3625, nogoods=2805
1971.41/1952.01 nFilterCalls=20182069, avgTableProportion=0.3660139106649571, avgTableSize=0.7320278213299142
1971.41/1952.01
2035.92/2016.55 num=38, depth=71..116, filters=884879, revisions=(808926,useless=519579), ccks=33946163784, wck=2008.046, mem=2456M321
2035.92/2016.55 decisions=14459, wrong=4071, backtracks=73, failedAssignments=3999, nogoods=2965
2035.92/2016.55 nFilterCalls=21752861, avgTableProportion=0.35566450316581344, avgTableSize=0.7113290063316269
2035.92/2016.55
2091.09/2071.68 num=39, depth=37..100, filters=947169, revisions=(853391,useless=548695), ccks=34842864500, wck=2063.175, mem=1915M472
2091.09/2071.68 decisions=15391, wrong=4489, backtracks=80, failedAssignments=4410, nogoods=3102
2091.09/2071.68 nFilterCalls=22873466, avgTableProportion=0.3505219978467627, avgTableSize=0.7010439956935254
2091.09/2071.68
2142.40/2122.94 num=40, depth=55..78, filters=980392, revisions=(873205,useless=560475), ccks=35700765618, wck=2114.436, mem=2010M926
2142.40/2122.94 decisions=16375, wrong=4942, backtracks=81, failedAssignments=4862, nogoods=3554
2142.40/2122.94 nFilterCalls=23437299, avgTableProportion=0.3513432797866341, avgTableSize=0.7026865595732682
2142.40/2122.94
2192.68/2173.19 num=41, depth=77..109, filters=1018677, revisions=(899597,useless=577366), ccks=36529313644, wck=2164.681, mem=2074M562
2192.68/2173.19 decisions=17495, wrong=5448, backtracks=90, failedAssignments=5359, nogoods=3738
2192.68/2173.19 nFilterCalls=24154259, avgTableProportion=0.35031542470418986, avgTableSize=0.7006308494083797
2192.68/2173.19
2248.01/2228.42 num=42, depth=93..97, filters=1068810, revisions=(934409,useless=599649), ccks=37412890253, wck=2219.912, mem=2154M107
2248.01/2228.42 decisions=18811, wrong=6059, backtracks=154, failedAssignments=5906, nogoods=3867
2248.01/2228.42 nFilterCalls=25054596, avgTableProportion=0.34909792598531625, avgTableSize=0.6981958519706325
2248.01/2228.42
2303.34/2283.77 num=43, depth=97..101, filters=1109433, revisions=(965014,useless=618764), ccks=38324314451, wck=2275.263, mem=2233M652
2303.34/2283.77 decisions=20153, wrong=6681, backtracks=174, failedAssignments=6508, nogoods=4026
2303.34/2283.77 nFilterCalls=25855076, avgTableProportion=0.3474814384610589, avgTableSize=0.6949628769221178
2303.34/2283.77
2357.86/2338.23 num=44, depth=26..94, filters=1194736, revisions=(1023819,useless=659734), ccks=39175264235, wck=2329.719, mem=2360M924
2357.86/2338.23 decisions=21609, wrong=7362, backtracks=193, failedAssignments=7170, nogoods=4121
2357.86/2338.23 nFilterCalls=27260829, avgTableProportion=0.3410839413577628, avgTableSize=0.6821678827155256
2357.86/2338.23
2400.08/2380.40
2400.08/2380.40 s UNKNOWN
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 (12801 MiB free)
memory of node 1: 16384 MiB (15738 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391304-1568388066/watcher-4391304-1568388066 -o /tmp/evaluation-result-4391304-1568388066/solver-4391304-1568388066 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568388027-27065 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391304-1568388066.xml -cm
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=27103, runsolver pid=27100
[startup+0.103465 s]*
/proc/loadavg: 1.53 1.66 1.69 4/228 27124
/proc/meminfo: memFree=29201524/32770624 swapFree=66999916/67108860
[pid=27103] ppid=27100 vsize=10659884 memory=29652 CPUtime=0.15 cores=0,2,4,6
/proc/27103/stat : 27103 (java) S 27100 27103 25641 0 -1 1077944320 5934 0 0 0 13 2 0 0 20 0 15 0 415071523 10915721216 7413 33554432000 4194304 4196468 140726406342480 140726406325024 140704375758583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
/proc/27103/statm: 2664971 7413 2910 1 0 2627468 0
[pid=27103/tid=27105] ppid=27100 vsize=10659884 memory=720575944405811505 CPUtime=0.09 cores=0,2,4,6
/proc/27103/task/27105/stat : 27105 (java) R 27100 27103 25641 0 -1 4202560 3243 0 0 0 8 1 0 0 20 0 15 0 415071524 10915721216 7413 33554432000 4194304 4196468 140726406342480 140704379988928 140704375770518 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27106] ppid=27100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27106/stat : 27106 (java) S 27100 27103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415071524 10915721216 7413 33554432000 4194304 4196468 140726406342480 140703982917904 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27107] ppid=27100 vsize=10659884 memory=4050345526155413152 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27107/stat : 27107 (java) S 27100 27103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415071524 10915721216 7413 33554432000 4194304 4196468 140726406342480 140703981865360 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27108] ppid=27100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27108/stat : 27108 (java) S 27100 27103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415071524 10915721216 7413 33554432000 4194304 4196468 140726406342480 140703980812816 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27109] ppid=27100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27109/stat : 27109 (java) S 27100 27103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415071524 10915721216 7413 33554432000 4194304 4196468 140726406342480 140703979760272 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27116] ppid=27100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27116/stat : 27116 (java) S 27100 27103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415071526 10915721216 7413 33554432000 4194304 4196468 140726406342480 140703866808816 140704375769730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27117] ppid=27100 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27117/stat : 27117 (java) S 27100 27103 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415071526 10915721216 7413 33554432000 4194304 4196468 140726406342480 140703865755040 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27118] ppid=27100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27118/stat : 27118 (java) S 27100 27103 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415071526 10915721216 7413 33554432000 4194304 4196468 140726406342480 140703864702448 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27119] ppid=27100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27119/stat : 27119 (java) S 27100 27103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415071529 10915721216 7413 33554432000 4194304 4196468 140726406342480 140703863651024 140704375777179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27120] ppid=27100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27120/stat : 27120 (java) R 27100 27103 25641 0 -1 1077944384 483 0 0 0 0 0 0 0 20 0 15 0 415071529 10915721216 7413 33554432000 4194304 4196468 140726406342480 140703862597712 140704375768789 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27121] ppid=27100 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27121/stat : 27121 (java) R 27100 27103 25641 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 15 0 415071529 10915721216 7413 33554432000 4194304 4196468 140726406342480 140703861535184 140704354921712 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27122] ppid=27100 vsize=10659884 memory=140298027140736 CPUtime=0.02 cores=0,2,4,6
/proc/27103/task/27122/stat : 27122 (java) R 27100 27103 25641 0 -1 4202560 658 0 0 0 2 0 0 0 20 0 15 0 415071529 10915721216 7413 33554432000 4194304 4196468 140726406342480 140703860489528 140704375770518 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27123] ppid=27100 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27123/stat : 27123 (java) S 27100 27103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415071529 10915721216 7479 33554432000 4194304 4196468 140726406342480 140703859440224 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27124] ppid=27100 vsize=10659884 memory=140298027140736 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27124/stat : 27124 (java) S 27100 27103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415071529 10915721216 7479 33554432000 4194304 4196468 140726406342480 140703858387760 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29652 KiB
[startup+0.21074 s]*
/proc/loadavg: 1.53 1.66 1.69 5/228 27124
/proc/meminfo: memFree=29185144/32770624 swapFree=66999916/67108860
[pid=27103] ppid=27100 vsize=10659884 memory=37352 CPUtime=0.33 cores=0,2,4,6
/proc/27103/stat : 27103 (java) S 27100 27103 25641 0 -1 1077944320 9105 0 0 0 30 3 0 0 20 0 15 0 415071523 10915721216 9338 33554432000 4194304 4196468 140726406342480 140726406325024 140704375758583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
/proc/27103/statm: 2664971 9338 2988 1 0 2627468 0
[pid=27103/tid=27105] ppid=27100 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/27103/task/27105/stat : 27105 (java) R 27100 27103 25641 0 -1 4202560 6117 0 0 0 17 3 0 0 20 0 15 0 415071524 10915721216 9338 33554432000 4194304 4196468 140726406342480 140704379990384 140704375780509 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27106] ppid=27100 vsize=10659884 memory=345 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27106/stat : 27106 (java) S 27100 27103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415071524 10915721216 9338 33554432000 4194304 4196468 140726406342480 140703982917904 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27107] ppid=27100 vsize=10659884 memory=140298030152984 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27107/stat : 27107 (java) S 27100 27103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415071524 10915721216 9338 33554432000 4194304 4196468 140726406342480 140703981865360 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27108] ppid=27100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27108/stat : 27108 (java) S 27100 27103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415071524 10915721216 9338 33554432000 4194304 4196468 140726406342480 140703980812816 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27109] ppid=27100 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27109/stat : 27109 (java) S 27100 27103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415071524 10915721216 9338 33554432000 4194304 4196468 140726406342480 140703979760272 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27116] ppid=27100 vsize=10659884 memory=140298027140736 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27116/stat : 27116 (java) S 27100 27103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415071526 10915721216 9338 33554432000 4194304 4196468 140726406342480 140703866808816 140704375769730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27117] ppid=27100 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27117/stat : 27117 (java) S 27100 27103 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415071526 10915721216 9338 33554432000 4194304 4196468 140726406342480 140703865755040 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27118] ppid=27100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27118/stat : 27118 (java) S 27100 27103 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415071526 10915721216 9338 33554432000 4194304 4196468 140726406342480 140703864702448 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27119] ppid=27100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27119/stat : 27119 (java) S 27100 27103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415071529 10915721216 9338 33554432000 4194304 4196468 140726406342480 140703863651024 140704375777179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27120] ppid=27100 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27103/task/27120/stat : 27120 (java) S 27100 27103 25641 0 -1 1077944384 636 0 0 0 3 0 0 0 20 0 15 0 415071529 10915721216 9338 33554432000 4194304 4196468 140726406342480 140703862597616 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27121] ppid=27100 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27103/task/27121/stat : 27121 (java) S 27100 27103 25641 0 -1 1077944384 306 0 0 0 2 0 0 0 20 0 15 0 415071529 10915721216 9338 33554432000 4194304 4196468 140726406342480 140703861545072 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27122] ppid=27100 vsize=10659884 memory=140298027140736 CPUtime=0.06 cores=0,2,4,6
/proc/27103/task/27122/stat : 27122 (java) S 27100 27103 25641 0 -1 1077944384 687 0 0 0 6 0 0 0 20 0 15 0 415071529 10915721216 9338 33554432000 4194304 4196468 140726406342480 140703860492528 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27123] ppid=27100 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27123/stat : 27123 (java) S 27100 27103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415071529 10915721216 9338 33554432000 4194304 4196468 140726406342480 140703859440224 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27124] ppid=27100 vsize=10659884 memory=140298027140736 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27124/stat : 27124 (java) S 27100 27103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415071529 10915721216 9338 33554432000 4194304 4196468 140726406342480 140703858387760 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37352 KiB
[startup+0.311714 s]*
/proc/loadavg: 1.53 1.66 1.69 3/228 27124
/proc/meminfo: memFree=29176480/32770624 swapFree=66999916/67108860
[pid=27103] ppid=27100 vsize=10659884 memory=39908 CPUtime=0.48 cores=0,2,4,6
/proc/27103/stat : 27103 (java) S 27100 27103 25641 0 -1 1077944320 9312 0 0 0 44 4 0 0 20 0 15 0 415071523 10915721216 9977 33554432000 4194304 4196468 140726406342480 140726406325024 140704375758583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
/proc/27103/statm: 2664971 9977 3027 1 0 2627468 0
[pid=27103/tid=27105] ppid=27100 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/27103/task/27105/stat : 27105 (java) R 27100 27103 25641 0 -1 4202560 6238 0 0 0 27 3 0 0 20 0 15 0 415071524 10915721216 9977 33554432000 4194304 4196468 140726406342480 140704379990992 140704375780509 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27106] ppid=27100 vsize=10659884 memory=4294977067 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27106/stat : 27106 (java) S 27100 27103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415071524 10915721216 9977 33554432000 4194304 4196468 140726406342480 140703982917904 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27107] ppid=27100 vsize=10659884 memory=140298030147252 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27107/stat : 27107 (java) S 27100 27103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415071524 10915721216 9977 33554432000 4194304 4196468 140726406342480 140703981865360 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27108] ppid=27100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27108/stat : 27108 (java) S 27100 27103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415071524 10915721216 9977 33554432000 4194304 4196468 140726406342480 140703980812816 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27109] ppid=27100 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27109/stat : 27109 (java) S 27100 27103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415071524 10915721216 9977 33554432000 4194304 4196468 140726406342480 140703979760272 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27116] ppid=27100 vsize=10659884 memory=140298027140736 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27116/stat : 27116 (java) S 27100 27103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415071526 10915721216 9977 33554432000 4194304 4196468 140726406342480 140703866808816 140704375769730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27117] ppid=27100 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27117/stat : 27117 (java) S 27100 27103 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415071526 10915721216 9977 33554432000 4194304 4196468 140726406342480 140703865755040 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27118] ppid=27100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27118/stat : 27118 (java) S 27100 27103 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415071526 10915721216 9977 33554432000 4194304 4196468 140726406342480 140703864702448 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27119] ppid=27100 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27119/stat : 27119 (java) S 27100 27103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415071529 10915721216 9977 33554432000 4194304 4196468 140726406342480 140703863651024 140704375777179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27120] ppid=27100 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27103/task/27120/stat : 27120 (java) S 27100 27103 25641 0 -1 1077944384 657 0 0 0 3 0 0 0 20 0 15 0 415071529 10915721216 9977 33554432000 4194304 4196468 140726406342480 140703862597616 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27121] ppid=27100 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/27103/task/27121/stat : 27121 (java) S 27100 27103 25641 0 -1 1077944384 349 0 0 0 4 0 0 0 20 0 15 0 415071529 10915721216 9977 33554432000 4194304 4196468 140726406342480 140703861545072 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27122] ppid=27100 vsize=10659884 memory=140298027140736 CPUtime=0.08 cores=0,2,4,6
/proc/27103/task/27122/stat : 27122 (java) R 27100 27103 25641 0 -1 4202560 710 0 0 0 8 0 0 0 20 0 15 0 415071529 10915721216 9977 33554432000 4194304 4196468 140726406342480 140703860492528 140704359839070 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27123] ppid=27100 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27123/stat : 27123 (java) S 27100 27103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415071529 10915721216 9977 33554432000 4194304 4196468 140726406342480 140703859440224 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27124] ppid=27100 vsize=10659884 memory=140298027140736 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27124/stat : 27124 (java) S 27100 27103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415071529 10915721216 9977 33554432000 4194304 4196468 140726406342480 140703858387760 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
Current children cumulated CPU time: 0.48 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 39908 KiB
[startup+0.700724 s]
/proc/loadavg: 1.53 1.66 1.69 3/228 27124
/proc/meminfo: memFree=29156328/32770624 swapFree=66999916/67108860
[pid=27103] ppid=27100 vsize=10661932 memory=63364 CPUtime=1.11 cores=0,2,4,6
/proc/27103/stat : 27103 (java) S 27100 27103 25641 0 -1 1077944320 12879 0 0 0 104 7 0 0 20 0 15 0 415071523 10917818368 15841 33554432000 4194304 4196468 140726406342480 140726406325024 140704375758583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
/proc/27103/statm: 2665483 15841 3074 1 0 2627980 0
[pid=27103/tid=27105] ppid=27100 vsize=10661932 memory=39264 CPUtime=0.68 cores=0,2,4,6
/proc/27103/task/27105/stat : 27105 (java) R 27100 27103 25641 0 -1 4202560 8764 0 0 0 63 5 0 0 20 0 15 0 415071524 10917818368 15841 33554432000 4194304 4196468 140726406342480 140704379990608 140704375780509 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27106] ppid=27100 vsize=10661932 memory=988 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27106/stat : 27106 (java) S 27100 27103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415071524 10917818368 15841 33554432000 4194304 4196468 140726406342480 140703982917904 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27107] ppid=27100 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27107/stat : 27107 (java) S 27100 27103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415071524 10917818368 15841 33554432000 4194304 4196468 140726406342480 140703981865360 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27108] ppid=27100 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27108/stat : 27108 (java) S 27100 27103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415071524 10917818368 15841 33554432000 4194304 4196468 140726406342480 140703980812816 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27109] ppid=27100 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27109/stat : 27109 (java) S 27100 27103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415071524 10917818368 15841 33554432000 4194304 4196468 140726406342480 140703979760272 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27116] ppid=27100 vsize=10661932 memory=5 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27116/stat : 27116 (java) S 27100 27103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415071526 10917818368 15841 33554432000 4194304 4196468 140726406342480 140703866808816 140704375769730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27117] ppid=27100 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27117/stat : 27117 (java) S 27100 27103 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415071526 10917818368 15841 33554432000 4194304 4196468 140726406342480 140703865755040 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27118] ppid=27100 vsize=10661932 memory=1 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27118/stat : 27118 (java) S 27100 27103 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415071526 10917818368 15841 33554432000 4194304 4196468 140726406342480 140703864702448 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27119] ppid=27100 vsize=10661932 memory=1 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27119/stat : 27119 (java) S 27100 27103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415071529 10917818368 15841 33554432000 4194304 4196468 140726406342480 140703863651024 140704375777179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27120] ppid=27100 vsize=10661932 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/27103/task/27120/stat : 27120 (java) S 27100 27103 25641 0 -1 1077944384 885 0 0 0 10 0 0 0 20 0 15 0 415071529 10917818368 15841 33554432000 4194304 4196468 140726406342480 140703862597616 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27121] ppid=27100 vsize=10661932 memory=4 CPUtime=0.1 cores=0,2,4,6
/proc/27103/task/27121/stat : 27121 (java) S 27100 27103 25641 0 -1 1077944384 694 0 0 0 10 0 0 0 20 0 15 0 415071529 10917818368 15841 33554432000 4194304 4196468 140726406342480 140703861545072 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27122] ppid=27100 vsize=10661932 memory=86 CPUtime=0.19 cores=0,2,4,6
/proc/27103/task/27122/stat : 27122 (java) S 27100 27103 25641 0 -1 1077944384 1177 0 0 0 19 0 0 0 20 0 15 0 415071529 10917818368 15841 33554432000 4194304 4196468 140726406342480 140703860492528 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27123] ppid=27100 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27123/stat : 27123 (java) S 27100 27103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415071529 10917818368 15841 33554432000 4194304 4196468 140726406342480 140703859440224 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27124] ppid=27100 vsize=10661932 memory=4 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27124/stat : 27124 (java) S 27100 27103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415071529 10917818368 15841 33554432000 4194304 4196468 140726406342480 140703858387760 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63364 KiB
[startup+1.50073 s]
/proc/loadavg: 1.53 1.66 1.69 3/228 27124
/proc/meminfo: memFree=29124556/32770624 swapFree=66999916/67108860
[pid=27103] ppid=27100 vsize=10663980 memory=75516 CPUtime=2.01 cores=0,2,4,6
/proc/27103/stat : 27103 (java) S 27100 27103 25641 0 -1 1077944320 18414 0 0 0 194 7 0 0 20 0 15 0 415071523 10919915520 18879 33554432000 4194304 4196468 140726406342480 140726406325024 140704375758583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
/proc/27103/statm: 2665995 18879 3094 1 0 2628492 0
[pid=27103/tid=27105] ppid=27100 vsize=10663980 memory=0 CPUtime=1.48 cores=0,2,4,6
/proc/27103/task/27105/stat : 27105 (java) R 27100 27103 25641 0 -1 4202560 12918 0 0 0 142 6 0 0 20 0 15 0 415071524 10919915520 18879 33554432000 4194304 4196468 140726406342480 140704379989640 140704356033718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27106] ppid=27100 vsize=10663980 memory=39264 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27106/stat : 27106 (java) S 27100 27103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415071524 10919915520 18879 33554432000 4194304 4196468 140726406342480 140703982917904 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27107] ppid=27100 vsize=10663980 memory=988 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27107/stat : 27107 (java) S 27100 27103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415071524 10919915520 18879 33554432000 4194304 4196468 140726406342480 140703981865360 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27108] ppid=27100 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27108/stat : 27108 (java) S 27100 27103 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415071524 10919915520 18879 33554432000 4194304 4196468 140726406342480 140703980812816 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27109] ppid=27100 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27109/stat : 27109 (java) S 27100 27103 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415071524 10919915520 18879 33554432000 4194304 4196468 140726406342480 140703979760272 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27116] ppid=27100 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27116/stat : 27116 (java) S 27100 27103 25641 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 415071526 10919915520 18879 33554432000 4194304 4196468 140726406342480 140703866808816 140704375769730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
################
# More data... #
################
/proc/27103/task/27109/stat : 27109 (java) S 27100 27103 25641 0 -1 1077944384 13239 0 0 0 275 98 0 0 20 0 16 0 415071524 11006283776 973320 33554432000 4194304 4196468 140726406342480 140703979760272 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27116] ppid=27100 vsize=10748324 memory=6791534058613427641 CPUtime=0.14 cores=0,2,4,6
/proc/27103/task/27116/stat : 27116 (java) S 27100 27103 25641 0 -1 1077944384 13514 0 0 0 11 3 0 0 20 0 16 0 415071526 11006283776 973320 33554432000 4194304 4196468 140726406342480 140703866808816 140704375769730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27117] ppid=27100 vsize=10748324 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27117/stat : 27117 (java) S 27100 27103 25641 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 415071526 11006283776 973320 33554432000 4194304 4196468 140726406342480 140703865755104 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27118] ppid=27100 vsize=10748324 memory=3893280 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27118/stat : 27118 (java) S 27100 27103 25641 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 415071526 11006283776 973320 33554432000 4194304 4196468 140726406342480 140703864702464 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27119] ppid=27100 vsize=10748324 memory=3580 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27119/stat : 27119 (java) S 27100 27103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415071529 11006283776 973320 33554432000 4194304 4196468 140726406342480 140703863651024 140704375777179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27120] ppid=27100 vsize=10748324 memory=3893280 CPUtime=3.48 cores=0,2,4,6
/proc/27103/task/27120/stat : 27120 (java) S 27100 27103 25641 0 -1 1077944384 17902 0 0 0 346 2 0 0 20 0 16 0 415071529 11006283776 973320 33554432000 4194304 4196468 140726406342480 140703862597616 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27121] ppid=27100 vsize=10748324 memory=3580 CPUtime=3.3 cores=0,2,4,6
/proc/27103/task/27121/stat : 27121 (java) S 27100 27103 25641 0 -1 1077944384 18460 0 0 0 328 2 0 0 20 0 16 0 415071529 11006283776 973320 33554432000 4194304 4196468 140726406342480 140703861545072 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27122] ppid=27100 vsize=10748324 memory=3893280 CPUtime=1.01 cores=0,2,4,6
/proc/27103/task/27122/stat : 27122 (java) S 27100 27103 25641 0 -1 1077944384 21730 0 0 0 99 2 0 0 20 0 16 0 415071529 11006283776 973320 33554432000 4194304 4196468 140726406342480 140703860492528 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27123] ppid=27100 vsize=10748324 memory=3893280 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27123/stat : 27123 (java) S 27100 27103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415071529 11006283776 973320 33554432000 4194304 4196468 140726406342480 140703859440224 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27124] ppid=27100 vsize=10748324 memory=3893280 CPUtime=0.91 cores=0,2,4,6
/proc/27103/task/27124/stat : 27124 (java) S 27100 27103 25641 0 -1 1077944384 3221 0 0 0 51 40 0 0 20 0 16 0 415071529 11006283776 973320 33554432000 4194304 4196468 140726406342480 140703858387760 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27126] ppid=27100 vsize=10748324 memory=1432 CPUtime=2196.25 cores=0,2,4,6
/proc/27103/task/27126/stat : 27126 (java) R 27100 27103 25641 0 -1 4202560 214583 0 0 0 219603 22 0 0 20 0 16 0 415071713 11006283776 973320 33554432000 4194304 4196468 140726406342480 140703841717920 140704022955267 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
Current children cumulated CPU time: 2221.89 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 3893280 KiB
[startup+2262.3 s]
/proc/loadavg: 2.20 2.14 2.04 3/229 27565
/proc/meminfo: memFree=24882932/32770624 swapFree=66999916/67108860
[pid=27103] ppid=27100 vsize=10748324 memory=3893292 CPUtime=2281.93 cores=0,2,4,6
/proc/27103/stat : 27103 (java) S 27100 27103 25641 0 -1 1077944320 357362 0 0 0 227718 475 0 0 20 0 16 0 415071523 11006283776 973323 33554432000 4194304 4196468 140726406342480 140726406325024 140704375758583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
/proc/27103/statm: 2687081 973323 3386 1 0 2647217 0
[pid=27103/tid=27105] ppid=27100 vsize=10748324 memory=3893292 CPUtime=1.88 cores=0,2,4,6
/proc/27103/task/27105/stat : 27105 (java) S 27100 27103 25641 0 -1 1077944384 15199 0 0 0 181 7 0 0 20 0 16 0 415071524 11006283776 973323 33554432000 4194304 4196468 140726406342480 140704380001456 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27106] ppid=27100 vsize=10748324 memory=3893292 CPUtime=3.7 cores=0,2,4,6
/proc/27103/task/27106/stat : 27106 (java) S 27100 27103 25641 0 -1 1077944384 12434 0 0 0 269 101 0 0 20 0 16 0 415071524 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703982917904 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27107] ppid=27100 vsize=10748324 memory=3893292 CPUtime=3.71 cores=0,2,4,6
/proc/27103/task/27107/stat : 27107 (java) S 27100 27103 25641 0 -1 1077944384 11385 0 0 0 274 97 0 0 20 0 16 0 415071524 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703981865360 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27108] ppid=27100 vsize=10748324 memory=3893292 CPUtime=3.65 cores=0,2,4,6
/proc/27103/task/27108/stat : 27108 (java) S 27100 27103 25641 0 -1 1077944384 9692 0 0 0 265 100 0 0 20 0 16 0 415071524 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703980812816 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27109] ppid=27100 vsize=10748324 memory=226922 CPUtime=3.73 cores=0,2,4,6
/proc/27103/task/27109/stat : 27109 (java) S 27100 27103 25641 0 -1 1077944384 13239 0 0 0 275 98 0 0 20 0 16 0 415071524 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703979760272 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27116] ppid=27100 vsize=10748324 memory=188 CPUtime=0.14 cores=0,2,4,6
/proc/27103/task/27116/stat : 27116 (java) S 27100 27103 25641 0 -1 1077944384 13571 0 0 0 11 3 0 0 20 0 16 0 415071526 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703866808816 140704375769730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27117] ppid=27100 vsize=10748324 memory=3893292 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27117/stat : 27117 (java) S 27100 27103 25641 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 415071526 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703865755104 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27118] ppid=27100 vsize=10748324 memory=3893292 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27118/stat : 27118 (java) S 27100 27103 25641 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 415071526 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703864702464 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27119] ppid=27100 vsize=10748324 memory=3893292 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27119/stat : 27119 (java) S 27100 27103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415071529 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703863651024 140704375777179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27120] ppid=27100 vsize=10748324 memory=3893292 CPUtime=3.48 cores=0,2,4,6
/proc/27103/task/27120/stat : 27120 (java) S 27100 27103 25641 0 -1 1077944384 18380 0 0 0 346 2 0 0 20 0 16 0 415071529 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703862597616 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27121] ppid=27100 vsize=10748324 memory=4128 CPUtime=3.31 cores=0,2,4,6
/proc/27103/task/27121/stat : 27121 (java) S 27100 27103 25641 0 -1 1077944384 19437 0 0 0 329 2 0 0 20 0 16 0 415071529 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703861545072 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27122] ppid=27100 vsize=10748324 memory=2832 CPUtime=1.02 cores=0,2,4,6
/proc/27103/task/27122/stat : 27122 (java) S 27100 27103 25641 0 -1 1077944384 22140 0 0 0 99 3 0 0 20 0 16 0 415071529 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703860492528 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27123] ppid=27100 vsize=10748324 memory=3893292 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27123/stat : 27123 (java) S 27100 27103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415071529 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703859440224 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27124] ppid=27100 vsize=10748324 memory=3893292 CPUtime=0.94 cores=0,2,4,6
/proc/27103/task/27124/stat : 27124 (java) S 27100 27103 25641 0 -1 1077944384 3266 0 0 0 53 41 0 0 20 0 16 0 415071529 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703858387760 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27126] ppid=27100 vsize=10748324 memory=3893292 CPUtime=2256.25 cores=0,2,4,6
/proc/27103/task/27126/stat : 27126 (java) R 27100 27103 25641 0 -1 4202560 217177 0 0 0 225602 23 0 0 20 0 16 0 415071713 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703841717920 140704023089799 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
Current children cumulated CPU time: 2281.93 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 3893292 KiB
[startup+2322.3 s]
/proc/loadavg: 2.14 2.13 2.05 3/229 27571
/proc/meminfo: memFree=24882444/32770624 swapFree=66999916/67108860
[pid=27103] ppid=27100 vsize=10748324 memory=3893292 CPUtime=2341.95 cores=0,2,4,6
/proc/27103/stat : 27103 (java) S 27100 27103 25641 0 -1 1077944320 360187 0 0 0 233719 476 0 0 20 0 16 0 415071523 11006283776 973323 33554432000 4194304 4196468 140726406342480 140726406325024 140704375758583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
/proc/27103/statm: 2687081 973323 3386 1 0 2647217 0
[pid=27103/tid=27105] ppid=27100 vsize=10748324 memory=3893292 CPUtime=1.88 cores=0,2,4,6
/proc/27103/task/27105/stat : 27105 (java) S 27100 27103 25641 0 -1 1077944384 15199 0 0 0 181 7 0 0 20 0 16 0 415071524 11006283776 973323 33554432000 4194304 4196468 140726406342480 140704380001456 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27106] ppid=27100 vsize=10748324 memory=3893292 CPUtime=3.7 cores=0,2,4,6
/proc/27103/task/27106/stat : 27106 (java) S 27100 27103 25641 0 -1 1077944384 12434 0 0 0 269 101 0 0 20 0 16 0 415071524 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703982917904 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27107] ppid=27100 vsize=10748324 memory=3893292 CPUtime=3.71 cores=0,2,4,6
/proc/27103/task/27107/stat : 27107 (java) S 27100 27103 25641 0 -1 1077944384 11385 0 0 0 274 97 0 0 20 0 16 0 415071524 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703981865360 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27108] ppid=27100 vsize=10748324 memory=3893292 CPUtime=3.65 cores=0,2,4,6
/proc/27103/task/27108/stat : 27108 (java) S 27100 27103 25641 0 -1 1077944384 9692 0 0 0 265 100 0 0 20 0 16 0 415071524 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703980812816 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27109] ppid=27100 vsize=10748324 memory=3893292 CPUtime=3.73 cores=0,2,4,6
/proc/27103/task/27109/stat : 27109 (java) S 27100 27103 25641 0 -1 1077944384 13239 0 0 0 275 98 0 0 20 0 16 0 415071524 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703979760272 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27116] ppid=27100 vsize=10748324 memory=3893292 CPUtime=0.14 cores=0,2,4,6
/proc/27103/task/27116/stat : 27116 (java) S 27100 27103 25641 0 -1 1077944384 13624 0 0 0 11 3 0 0 20 0 16 0 415071526 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703866808816 140704375769730 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27117] ppid=27100 vsize=10748324 memory=3893292 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27117/stat : 27117 (java) S 27100 27103 25641 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 415071526 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703865755104 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27118] ppid=27100 vsize=10748324 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27118/stat : 27118 (java) S 27100 27103 25641 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 415071526 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703864702464 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27119] ppid=27100 vsize=10748324 memory=3893292 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27119/stat : 27119 (java) S 27100 27103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415071529 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703863651024 140704375777179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27120] ppid=27100 vsize=10748324 memory=3893292 CPUtime=3.48 cores=0,2,4,6
/proc/27103/task/27120/stat : 27120 (java) S 27100 27103 25641 0 -1 1077944384 18388 0 0 0 346 2 0 0 20 0 16 0 415071529 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703862597616 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27121] ppid=27100 vsize=10748324 memory=4100 CPUtime=3.31 cores=0,2,4,6
/proc/27103/task/27121/stat : 27121 (java) S 27100 27103 25641 0 -1 1077944384 19440 0 0 0 329 2 0 0 20 0 16 0 415071529 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703861545072 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27122] ppid=27100 vsize=10748324 memory=6791534058613427641 CPUtime=1.02 cores=0,2,4,6
/proc/27103/task/27122/stat : 27122 (java) S 27100 27103 25641 0 -1 1077944384 22144 0 0 0 99 3 0 0 20 0 16 0 415071529 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703860492528 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27123] ppid=27100 vsize=10748324 memory=3893292 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27123/stat : 27123 (java) S 27100 27103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415071529 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703859440224 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27124] ppid=27100 vsize=10748324 memory=3893292 CPUtime=0.96 cores=0,2,4,6
/proc/27103/task/27124/stat : 27124 (java) S 27100 27103 25641 0 -1 1077944384 3304 0 0 0 54 42 0 0 20 0 16 0 415071529 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703858387760 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27126] ppid=27100 vsize=10748324 memory=3893292 CPUtime=2316.25 cores=0,2,4,6
/proc/27103/task/27126/stat : 27126 (java) R 27100 27103 25641 0 -1 4202560 219896 0 0 0 231602 23 0 0 20 0 16 0 415071713 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703841722848 140704023244321 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
Current children cumulated CPU time: 2341.95 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 3893292 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2380.4 s]
/proc/loadavg: 2.06 2.11 2.05 3/230 27583
/proc/meminfo: memFree=24882364/32770624 swapFree=66999916/67108860
[pid=27103] ppid=27100 vsize=10748324 memory=3893292 CPUtime=2400.08 cores=0,2,4,6
/proc/27103/stat : 27103 (java) S 27100 27103 25641 0 -1 1077944320 363682 0 0 0 239531 477 0 0 20 0 16 0 415071523 11006283776 973323 33554432000 4194304 4196468 140726406342480 140726406325024 140704375758583 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
/proc/27103/statm: 2687081 973323 3386 1 0 2647217 0
[pid=27103/tid=27105] ppid=27100 vsize=10748324 memory=1408 CPUtime=1.88 cores=0,2,4,6
/proc/27103/task/27105/stat : 27105 (java) S 27100 27103 25641 0 -1 1077944384 15199 0 0 0 181 7 0 0 20 0 16 0 415071524 11006283776 973323 33554432000 4194304 4196468 140726406342480 140704380001456 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27106] ppid=27100 vsize=10748324 memory=3340 CPUtime=3.7 cores=0,2,4,6
/proc/27103/task/27106/stat : 27106 (java) S 27100 27103 25641 0 -1 1077944384 12434 0 0 0 269 101 0 0 20 0 16 0 415071524 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703982917904 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27107] ppid=27100 vsize=10748324 memory=469912 CPUtime=3.71 cores=0,2,4,6
/proc/27103/task/27107/stat : 27107 (java) S 27100 27103 25641 0 -1 1077944384 11385 0 0 0 274 97 0 0 20 0 16 0 415071524 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703981865360 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27108] ppid=27100 vsize=10748324 memory=1660 CPUtime=3.65 cores=0,2,4,6
/proc/27103/task/27108/stat : 27108 (java) S 27100 27103 25641 0 -1 1077944384 9692 0 0 0 265 100 0 0 20 0 16 0 415071524 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703980812816 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27109] ppid=27100 vsize=10748324 memory=1398722017469774279 CPUtime=3.73 cores=0,2,4,6
/proc/27103/task/27109/stat : 27109 (java) S 27100 27103 25641 0 -1 1077944384 13239 0 0 0 275 98 0 0 20 0 16 0 415071524 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703979760272 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27116] ppid=27100 vsize=10748324 memory=3893292 CPUtime=0.15 cores=0,2,4,6
/proc/27103/task/27116/stat : 27116 (java) S 27100 27103 25641 0 -1 1077944384 13638 0 0 0 12 3 0 0 20 0 16 0 415071526 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703866808816 140704375769730 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27117] ppid=27100 vsize=10748324 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27117/stat : 27117 (java) S 27100 27103 25641 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 16 0 415071526 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703865755104 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27118] ppid=27100 vsize=10748324 memory=2428 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27118/stat : 27118 (java) S 27100 27103 25641 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 16 0 415071526 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703864702464 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27119] ppid=27100 vsize=10748324 memory=1608 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27119/stat : 27119 (java) S 27100 27103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415071529 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703863651024 140704375777179 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27120] ppid=27100 vsize=10748324 memory=908 CPUtime=3.48 cores=0,2,4,6
/proc/27103/task/27120/stat : 27120 (java) S 27100 27103 25641 0 -1 1077944384 18402 0 0 0 346 2 0 0 20 0 16 0 415071529 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703862597616 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27121] ppid=27100 vsize=10748324 memory=1440 CPUtime=3.31 cores=0,2,4,6
/proc/27103/task/27121/stat : 27121 (java) S 27100 27103 25641 0 -1 1077944384 19446 0 0 0 329 2 0 0 20 0 16 0 415071529 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703861545072 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27122] ppid=27100 vsize=10748324 memory=1760 CPUtime=1.02 cores=0,2,4,6
/proc/27103/task/27122/stat : 27122 (java) S 27100 27103 25641 0 -1 1077944384 22151 0 0 0 99 3 0 0 20 0 16 0 415071529 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703860492528 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27123] ppid=27100 vsize=10748324 memory=111632 CPUtime=0 cores=0,2,4,6
/proc/27103/task/27123/stat : 27123 (java) S 27100 27103 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415071529 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703859440224 140704375768789 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27124] ppid=27100 vsize=10748324 memory=800 CPUtime=0.99 cores=0,2,4,6
/proc/27103/task/27124/stat : 27124 (java) S 27100 27103 25641 0 -1 1077944384 3375 0 0 0 56 43 0 0 20 0 16 0 415071529 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703858387760 140704375769730 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
[pid=27103/tid=27126] ppid=27100 vsize=10748324 memory=1808 CPUtime=2374.34 cores=0,2,4,6
/proc/27103/task/27126/stat : 27126 (java) R 27100 27103 25641 0 -1 4202560 223279 0 0 0 237411 23 0 0 20 0 16 0 415071713 11006283776 973323 33554432000 4194304 4196468 140726406342480 140703841717888 140704023089606 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6328320 140726406349835 140726406349938 140726406349938 140726406352847 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 3893292 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2380.43 s]
# the end of solver process 27103 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.32 s, system=4.79329 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2380.43
CPU time (s): 2400.11
CPU user time (s): 2395.32
CPU system time (s): 4.79329
CPU usage (%): 100.827
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 3893392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.32
system time used= 4.79329
maximum resident set size= 3893676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364514
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56228
involuntary context switches= 3845
# summary of solver processes directly reported to runsolver:
# pid: 27103
# total CPU time (s): 2400.11
# total CPU user time (s): 2395.32
# total CPU system time (s): 4.79329
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.7215 second user time and 22.0028 second system time
The end