Trace number 4390750

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.09 2508.41

General information on the benchmark

NameLangford/Langford-m2-s1/
LangfordBin-25.xml
MD5SUMff4f1513315dd8e08dcc4cf2bbbe3209
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints75
Number of domains2
Minimum domain size25
Maximum domain size50
Distribution of domain sizes[{"size":25,"count":50},{"size":50,"count":50}]
Minimum variable degree2
Maximum variable degree50
Distribution of variable degrees[{"degree":2,"count":50},{"degree":50,"count":50}]
Minimum constraint arity2
Maximum constraint arity51
Distribution of constraint arities[{"arity":2,"count":25},{"arity":51,"count":50}]
Number of extensional constraints0
Number of intensional constraints25
Distribution of constraint types[{"type":"intension","count":25},{"type":"element","count":50}]
Optimization problemNO
Type of objective

Solver Data 

2.62/1.90	
2.62/1.90	AbsCon 2 
2.62/1.91	
2.88/2.04	  Instance
2.88/2.04	    name=instance-4390750-1568380951, framework=CSP
2.88/2.04	
2.88/2.04	  Loading variables...
2.88/2.06	  Loading constraints...
3.18/2.19	
3.18/2.19	  Domains
3.18/2.19	    nTypes=2, nValues=3750, sizes=[25#50,50#50]
3.18/2.19	  Variables
3.18/2.19	    count=100, degrees=[2#50,50#50]
3.18/2.19	  Constraints
3.18/2.19	    count=75, nSpecific=50, arities=[2#25,51#50]
3.18/2.19	    distribution=[CtrIntension#25,ElementConstant#50]
3.18/2.19	    nIntStructures=(25,shared:0), nCftStructures=(25,shared:0,unbuilt:50)
3.18/2.19	    wck=0.321, cpu=2.151, mem=23M870
3.18/2.19	  Solver SolverBacktrack being built...
3.18/2.19	
3.48/2.22	
3.48/2.22	  Solver
3.48/2.22	    guaranteedGAC=true
3.48/2.22	    wck=0.349, cpu=2.178, mem=34M512
3.48/2.23	
3.48/2.23	  Preprocessing
3.48/2.23	    filters=25, revisions=(50,useless=0), ccks=108600, nACremovedValues=700, nTotalRemovedValues=700, inconcistency=false
3.48/2.23	    wck=0.012, cpu=2.191, mem=34M512
3.48/2.23	
3.48/2.24	    num=0, depth=22..22, filters=1817, revisions=(618,useless=9), ccks=121575, wck=0.028, mem=34M512
3.48/2.24	    decisions=42, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
3.48/2.24	    
3.48/2.25	    num=1, depth=20..20, filters=3219, revisions=(1245,useless=16), ccks=135617, wck=0.036, mem=34M512
3.48/2.25	    decisions=84, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
3.48/2.25	    
3.48/2.26	    num=2, depth=26..26, filters=4754, revisions=(1912,useless=26), ccks=150100, wck=0.046, mem=34M512
3.48/2.26	    decisions=134, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
3.48/2.26	    
3.48/2.29	    num=3, depth=28..29, filters=6333, revisions=(2606,useless=36), ccks=164814, wck=0.066, mem=34M512
3.48/2.29	    decisions=191, wrong=47, backtracks=1, failedAssignments=46, nogoods=39
3.48/2.29	    
3.48/2.29	    num=4, depth=24..26, filters=8707, revisions=(3429,useless=86), ccks=180229, wck=0.075, mem=34M512
3.48/2.29	    decisions=254, wrong=66, backtracks=7, failedAssignments=60, nogoods=44
3.48/2.29	    
3.78/2.30	    num=5, depth=17..21, filters=10442, revisions=(4184,useless=135), ccks=195486, wck=0.082, mem=34M512
3.78/2.30	    decisions=324, wrong=91, backtracks=17, failedAssignments=76, nogoods=49
3.78/2.30	    
3.78/2.30	    num=6, depth=18..22, filters=12420, revisions=(4918,useless=163), ccks=210283, wck=0.088, mem=34M512
3.78/2.30	    decisions=389, wrong=114, backtracks=26, failedAssignments=93, nogoods=54
3.78/2.30	    
3.78/2.31	    num=7, depth=14..18, filters=14261, revisions=(5645,useless=200), ccks=225146, wck=0.093, mem=34M512
3.78/2.31	    decisions=465, wrong=144, backtracks=40, failedAssignments=112, nogoods=59
3.78/2.31	    
3.78/2.32	    num=8, depth=19..22, filters=16086, revisions=(6419,useless=242), ccks=239466, wck=0.099, mem=34M512
3.78/2.32	    decisions=549, wrong=176, backtracks=54, failedAssignments=133, nogoods=63
3.78/2.32	    
3.78/2.32	    num=9, depth=19..24, filters=18453, revisions=(7353,useless=303), ccks=255084, wck=0.105, mem=34M512
3.78/2.32	    decisions=643, wrong=212, backtracks=70, failedAssignments=156, nogoods=68
3.78/2.32	    
3.78/2.33	    num=10, depth=18..22, filters=21496, revisions=(8422,useless=368), ccks=272700, wck=0.112, mem=37M155
3.78/2.33	    decisions=743, wrong=253, backtracks=90, failedAssignments=181, nogoods=69
3.78/2.33	    
3.78/2.34	    num=11, depth=22..27, filters=25780, revisions=(9844,useless=466), ccks=292036, wck=0.121, mem=37M155
3.78/2.34	    decisions=868, wrong=304, backtracks=119, failedAssignments=209, nogoods=74
3.78/2.34	    
3.78/2.35	    num=12, depth=19..23, filters=28888, revisions=(10999,useless=545), ccks=308724, wck=0.128, mem=37M155
3.78/2.35	    decisions=984, wrong=352, backtracks=142, failedAssignments=240, nogoods=80
3.78/2.35	    
3.78/2.36	    num=13, depth=17..21, filters=34472, revisions=(12561,useless=677), ccks=329461, wck=0.138, mem=37M155
3.78/2.36	    decisions=1131, wrong=416, backtracks=175, failedAssignments=274, nogoods=87
3.78/2.36	    
3.78/2.36	    num=14, depth=17..22, filters=36541, revisions=(13465,useless=732), ccks=344729, wck=0.145, mem=37M155
3.78/2.36	    decisions=1269, wrong=476, backtracks=203, failedAssignments=311, nogoods=94
3.78/2.36	    
3.78/2.37	    num=15, depth=15..20, filters=38821, revisions=(14398,useless=793), ccks=359462, wck=0.152, mem=37M155
3.78/2.37	    decisions=1412, wrong=539, backtracks=232, failedAssignments=352, nogoods=105
3.78/2.37	    
3.78/2.37	    num=16, depth=16..20, filters=41496, revisions=(15399,useless=858), ccks=374640, wck=0.158, mem=37M155
3.78/2.37	    decisions=1569, wrong=609, backtracks=260, failedAssignments=397, nogoods=112
3.78/2.37	    
3.78/2.38	    num=17, depth=17..20, filters=44461, revisions=(16466,useless=961), ccks=389552, wck=0.163, mem=37M155
3.78/2.38	    decisions=1731, wrong=681, backtracks=285, failedAssignments=447, nogoods=119
3.78/2.38	    
3.78/2.38	    num=18, depth=15..20, filters=47530, revisions=(17630,useless=1084), ccks=403139, wck=0.168, mem=37M155
3.78/2.38	    decisions=1929, wrong=772, backtracks=330, failedAssignments=502, nogoods=128
3.78/2.38	    
3.78/2.39	    num=19, depth=16..21, filters=50426, revisions=(18710,useless=1217), ccks=416436, wck=0.172, mem=37M155
3.78/2.39	    decisions=2131, wrong=865, backtracks=367, failedAssignments=563, nogoods=139
3.78/2.39	    
3.78/2.40	    num=20, depth=16..21, filters=55013, revisions=(20305,useless=1388), ccks=433104, wck=0.179, mem=39M797
3.78/2.40	    decisions=2385, wrong=983, backtracks=420, failedAssignments=630, nogoods=148
3.78/2.40	    
4.11/2.40	    num=21, depth=17..21, filters=59120, revisions=(21728,useless=1536), ccks=449561, wck=0.185, mem=39M797
4.11/2.40	    decisions=2635, wrong=1099, backtracks=467, failedAssignments=704, nogoods=154
4.11/2.40	    
4.11/2.41	    num=22, depth=17..22, filters=62890, revisions=(23129,useless=1702), ccks=464623, wck=0.19, mem=39M797
4.11/2.41	    decisions=2894, wrong=1219, backtracks=515, failedAssignments=785, nogoods=159
4.11/2.41	    
4.11/2.41	    num=23, depth=17..21, filters=66061, revisions=(24361,useless=1787), ccks=479142, wck=0.196, mem=39M797
4.11/2.41	    decisions=3177, wrong=1351, backtracks=565, failedAssignments=874, nogoods=171
4.11/2.41	    
4.11/2.42	    num=24, depth=15..21, filters=71938, revisions=(26255,useless=1937), ccks=496264, wck=0.204, mem=39M797
4.11/2.42	    decisions=3502, wrong=1505, backtracks=629, failedAssignments=972, nogoods=188
4.11/2.42	    
4.11/2.43	    num=25, depth=13..20, filters=76931, revisions=(27763,useless=2085), ccks=513523, wck=0.21, mem=39M797
4.11/2.43	    decisions=3832, wrong=1662, backtracks=689, failedAssignments=1080, nogoods=200
4.11/2.43	    
4.11/2.43	    num=26, depth=14..20, filters=81243, revisions=(29202,useless=2229), ccks=528259, wck=0.217, mem=39M797
4.11/2.43	    decisions=4195, wrong=1835, backtracks=747, failedAssignments=1199, nogoods=206
4.11/2.43	    
4.11/2.44	    num=27, depth=15..22, filters=86991, revisions=(31214,useless=2439), ccks=548107, wck=0.224, mem=42M439
4.11/2.44	    decisions=4621, wrong=2039, backtracks=832, failedAssignments=1330, nogoods=213
4.11/2.44	    
4.11/2.45	    num=28, depth=18..23, filters=95227, revisions=(33807,useless=2766), ccks=569279, wck=0.234, mem=42M439
4.11/2.45	    decisions=5100, wrong=2267, backtracks=932, failedAssignments=1474, nogoods=216
4.11/2.45	    
4.11/2.46	    num=29, depth=20..24, filters=106702, revisions=(37152,useless=3259), ccks=594351, wck=0.244, mem=42M439
4.11/2.46	    decisions=5614, wrong=2513, backtracks=1039, failedAssignments=1632, nogoods=230
4.11/2.46	    
4.11/2.47	    num=30, depth=19..25, filters=119051, revisions=(40584,useless=3630), ccks=622892, wck=0.256, mem=42M439
4.11/2.47	    decisions=6182, wrong=2786, backtracks=1154, failedAssignments=1806, nogoods=238
4.11/2.47	    
4.11/2.49	    num=31, depth=18..25, filters=132917, revisions=(44858,useless=4176), ccks=660252, wck=0.27, mem=45M82
4.11/2.49	    decisions=6799, wrong=3084, backtracks=1295, failedAssignments=1997, nogoods=246
4.11/2.49	    
4.42/2.51	    num=32, depth=19..24, filters=158291, revisions=(50850,useless=4850), ccks=713278, wck=0.29, mem=45M82
4.42/2.51	    decisions=7490, wrong=3419, backtracks=1447, failedAssignments=2208, nogoods=262
4.42/2.51	    
4.42/2.52	    num=33, depth=19..25, filters=174270, revisions=(55074,useless=5280), ccks=744562, wck=0.303, mem=47M724
4.42/2.52	    decisions=8194, wrong=3761, backtracks=1585, failedAssignments=2440, nogoods=279
4.42/2.52	    
4.42/2.53	    num=34, depth=19..23, filters=188089, revisions=(58969,useless=5713), ccks=774418, wck=0.316, mem=47M724
4.42/2.53	    decisions=8943, wrong=4126, backtracks=1721, failedAssignments=2695, nogoods=291
4.42/2.53	    
4.42/2.55	    num=35, depth=16..23, filters=214223, revisions=(65885,useless=6426), ccks=837353, wck=0.337, mem=50M367
4.42/2.55	    decisions=9849, wrong=4569, backtracks=1933, failedAssignments=2976, nogoods=306
4.42/2.55	    
4.42/2.57	    num=36, depth=19..24, filters=236984, revisions=(71942,useless=7138), ccks=881122, wck=0.355, mem=53M9
4.42/2.57	    decisions=10784, wrong=5026, backtracks=2128, failedAssignments=3285, nogoods=328
4.42/2.57	    
4.42/2.59	    num=37, depth=20..25, filters=261663, revisions=(79338,useless=8202), ccks=927611, wck=0.377, mem=53M9
4.42/2.59	    decisions=11911, wrong=5579, backtracks=2392, failedAssignments=3625, nogoods=344
4.42/2.59	    
4.62/2.62	    num=38, depth=20..26, filters=290271, revisions=(87105,useless=9300), ccks=976102, wck=0.4, mem=55M652
4.62/2.62	    decisions=13080, wrong=6152, backtracks=2641, failedAssignments=3999, nogoods=356
4.62/2.62	    
4.62/2.64	    num=39, depth=19..24, filters=318422, revisions=(94564,useless=10238), ccks=1030296, wck=0.423, mem=58M294
4.62/2.64	    decisions=14334, wrong=6769, backtracks=2896, failedAssignments=4410, nogoods=380
4.62/2.64	    
4.62/2.67	    num=40, depth=21..26, filters=360079, revisions=(105400,useless=11932), ccks=1092356, wck=0.453, mem=60M937
4.62/2.67	    decisions=15829, wrong=7505, backtracks=3236, failedAssignments=4862, nogoods=393
4.62/2.67	    
4.72/2.71	    num=41, depth=18..25, filters=407495, revisions=(117758,useless=13789), ccks=1176844, wck=0.489, mem=63M579
4.72/2.71	    decisions=17467, wrong=8313, backtracks=3614, failedAssignments=5359, nogoods=412
4.72/2.71	    
4.72/2.75	    num=42, depth=15..22, filters=462013, revisions=(130727,useless=15146), ccks=1280293, wck=0.529, mem=68M864
4.72/2.75	    decisions=19252, wrong=9197, backtracks=4025, failedAssignments=5906, nogoods=420
4.72/2.75	    
4.72/2.79	    num=43, depth=18..24, filters=519329, revisions=(145665,useless=17027), ccks=1374719, wck=0.571, mem=71M506
4.72/2.79	    decisions=21339, wrong=10231, backtracks=4558, failedAssignments=6508, nogoods=435
4.72/2.79	    
4.92/2.84	    num=44, depth=16..23, filters=587732, revisions=(161190,useless=18612), ccks=1491735, wck=0.618, mem=76M791
4.92/2.84	    decisions=23451, wrong=11277, backtracks=5035, failedAssignments=7170, nogoods=448
4.92/2.84	    
4.92/2.88	    num=45, depth=17..23, filters=646253, revisions=(176303,useless=20589), ccks=1574420, wck=0.66, mem=79M434
4.92/2.88	    decisions=25772, wrong=12428, backtracks=5597, failedAssignments=7898, nogoods=458
4.92/2.88	    
5.07/2.92	    num=46, depth=17..23, filters=707306, revisions=(192661,useless=22810), ccks=1656939, wck=0.705, mem=84M718
5.07/2.92	    decisions=28360, wrong=13713, backtracks=6224, failedAssignments=8699, nogoods=477
5.07/2.92	    
5.07/2.97	    num=47, depth=17..23, filters=770233, revisions=(209263,useless=24804), ccks=1740158, wck=0.75, mem=90M3
5.07/2.97	    decisions=31136, wrong=15091, backtracks=6867, failedAssignments=9580, nogoods=480
5.07/2.97	    
5.19/3.02	    num=48, depth=17..23, filters=837907, revisions=(227675,useless=27662), ccks=1833583, wck=0.8, mem=95M288
5.19/3.02	    decisions=34210, wrong=16619, backtracks=7591, failedAssignments=10550, nogoods=492
5.19/3.02	    
5.19/3.07	    num=49, depth=18..24, filters=906520, revisions=(245528,useless=30038), ccks=1932455, wck=0.85, mem=97M931
5.19/3.07	    decisions=37455, wrong=18232, backtracks=8287, failedAssignments=11617, nogoods=524
5.19/3.07	    
5.29/3.13	    num=50, depth=17..24, filters=985459, revisions=(268833,useless=33169), ccks=2065666, wck=0.908, mem=103M216
5.29/3.13	    decisions=41334, wrong=20162, backtracks=9268, failedAssignments=12790, nogoods=544
5.29/3.13	    
5.38/3.20	    num=51, depth=18..24, filters=1101211, revisions=(297395,useless=36705), ccks=2233344, wck=0.985, mem=113M785
5.38/3.20	    decisions=45475, wrong=22222, backtracks=10210, failedAssignments=14081, nogoods=561
5.38/3.20	    
5.38/3.27	    num=52, depth=18..25, filters=1201441, revisions=(325928,useless=40911), ccks=2372348, wck=1.055, mem=119M70
5.38/3.27	    decisions=50205, wrong=24577, backtracks=11363, failedAssignments=15501, nogoods=568
5.38/3.27	    
5.48/3.36	    num=53, depth=18..25, filters=1334350, revisions=(361106,useless=46083), ccks=2567189, wck=1.147, mem=129M640
5.48/3.36	    decisions=55388, wrong=27158, backtracks=12654, failedAssignments=17063, nogoods=585
5.48/3.36	    
5.57/3.47	    num=54, depth=17..24, filters=1481679, revisions=(395697,useless=50184), ccks=2787194, wck=1.249, mem=140M210
5.57/3.47	    decisions=60868, wrong=29889, backtracks=13887, failedAssignments=18781, nogoods=594
5.57/3.47	    
5.67/3.59	    num=55, depth=17..24, filters=1637458, revisions=(433981,useless=54944), ccks=3030645, wck=1.368, mem=27M955
5.67/3.59	    decisions=66723, wrong=32807, backtracks=15232, failedAssignments=20671, nogoods=605
5.67/3.59	    
5.81/3.69	    num=56, depth=18..24, filters=1793044, revisions=(475737,useless=61022), ccks=3235764, wck=1.473, mem=38M419
5.81/3.69	    decisions=73390, wrong=36130, backtracks=16816, failedAssignments=22750, nogoods=617
5.81/3.69	    
6.01/3.83	    num=57, depth=17..25, filters=1999102, revisions=(527468,useless=69065), ccks=3551361, wck=1.612, mem=51M499
6.01/3.83	    decisions=80766, wrong=39808, backtracks=18614, failedAssignments=25037, nogoods=630
6.01/3.83	    
6.11/3.99	    num=58, depth=15..23, filters=2242462, revisions=(583584,useless=74841), ccks=3948711, wck=1.776, mem=69M811
6.11/3.99	    decisions=88904, wrong=43868, backtracks=20486, failedAssignments=27553, nogoods=644
6.11/3.99	    
6.32/4.12	    num=59, depth=16..23, filters=2429075, revisions=(631845,useless=80734), ccks=4186926, wck=1.908, mem=82M891
6.32/4.12	    decisions=97543, wrong=48178, backtracks=22418, failedAssignments=30321, nogoods=662
6.32/4.12	    
6.41/4.28	    num=60, depth=16..23, filters=2660361, revisions=(694006,useless=89157), ccks=4531054, wck=2.066, mem=98M587
6.41/4.28	    decisions=107561, wrong=53178, backtracks=24859, failedAssignments=33365, nogoods=678
6.41/4.28	    
6.64/4.48	    num=61, depth=16..23, filters=2964849, revisions=(765348,useless=97778), ccks=4986247, wck=2.267, mem=119M515
6.64/4.48	    decisions=118096, wrong=58437, backtracks=27230, failedAssignments=36714, nogoods=702
6.64/4.48	    
6.94/4.71	    num=62, depth=15..23, filters=3307466, revisions=(846941,useless=108213), ccks=5482457, wck=2.496, mem=143M59
6.94/4.71	    decisions=130022, wrong=64391, backtracks=30052, failedAssignments=40398, nogoods=716
6.94/4.71	    
7.17/4.90	    num=63, depth=15..22, filters=3552098, revisions=(914183,useless=116047), ccks=5782044, wck=2.684, mem=27M958
7.17/4.90	    decisions=142622, wrong=70682, backtracks=33069, failedAssignments=44450, nogoods=741
7.17/4.90	    
7.38/5.12	    num=64, depth=15..23, filters=3862145, revisions=(993198,useless=126365), ccks=6213314, wck=2.902, mem=51M586
7.38/5.12	    decisions=156342, wrong=77533, backtracks=36205, failedAssignments=48907, nogoods=760
7.38/5.12	    
7.57/5.38	    num=65, depth=16..24, filters=4249776, revisions=(1089361,useless=138400), ccks=6750530, wck=3.16, mem=77M838
7.57/5.38	    decisions=171549, wrong=85127, backtracks=39733, failedAssignments=53810, nogoods=791
7.57/5.38	    
7.88/5.66	    num=66, depth=15..24, filters=4666575, revisions=(1192224,useless=150830), ccks=7312519, wck=3.444, mem=106M716
7.88/5.66	    decisions=188629, wrong=93658, backtracks=43651, failedAssignments=59204, nogoods=805
7.88/5.66	    
8.20/5.95	    num=67, depth=15..23, filters=5076771, revisions=(1307253,useless=165940), ccks=7853394, wck=3.73, mem=135M593
8.20/5.95	    decisions=208611, wrong=103640, backtracks=48873, failedAssignments=65137, nogoods=820
8.20/5.95	    
8.53/6.29	    num=68, depth=16..24, filters=5560024, revisions=(1427951,useless=180722), ccks=8489274, wck=4.074, mem=38M460
8.53/6.29	    decisions=229211, wrong=113930, backtracks=53544, failedAssignments=71663, nogoods=853
8.53/6.29	    
8.83/6.59	    num=69, depth=16..24, filters=5988867, revisions=(1547984,useless=197708), ccks=8998012, wck=4.373, mem=67M863
8.83/6.59	    decisions=251749, wrong=125190, backtracks=58952, failedAssignments=78842, nogoods=880
8.83/6.59	    
9.24/6.99	    num=70, depth=15..23, filters=6589982, revisions=(1701636,useless=219632), ccks=9804614, wck=4.777, mem=111M967
9.24/6.99	    decisions=276518, wrong=137565, backtracks=64597, failedAssignments=86739, nogoods=900
9.24/6.99	    
9.74/7.43	    num=71, depth=15..24, filters=7231293, revisions=(1866603,useless=242679), ccks=10633974, wck=5.213, mem=156M72
9.74/7.43	    decisions=303529, wrong=151061, backtracks=70973, failedAssignments=95426, nogoods=913
9.74/7.43	    
10.14/7.87	    num=72, depth=16..24, filters=7864445, revisions=(2026430,useless=263357), ccks=11439597, wck=5.649, mem=200M177
10.14/7.87	    decisions=332724, wrong=165649, backtracks=77248, failedAssignments=104981, nogoods=934
10.14/7.87	    
10.67/8.35	    num=73, depth=17..24, filters=8539026, revisions=(2206703,useless=287705), ccks=12353488, wck=6.133, mem=64M294
10.67/8.35	    decisions=365437, wrong=181996, backtracks=84734, failedAssignments=115492, nogoods=978
10.67/8.35	    
11.28/8.99	    num=74, depth=15..24, filters=9487069, revisions=(2440013,useless=317433), ccks=13712027, wck=6.769, mem=130M549
11.28/8.99	    decisions=401559, wrong=200048, backtracks=93061, failedAssignments=127054, nogoods=1004
11.28/8.99	    
11.98/9.63	    num=75, depth=17..25, filters=10459362, revisions=(2684973,useless=351738), ccks=14970402, wck=7.416, mem=200M485
11.98/9.63	    decisions=441040, wrong=219779, backtracks=102037, failedAssignments=139772, nogoods=1023
11.98/9.63	    
12.71/10.39	    num=76, depth=15..24, filters=11549128, revisions=(2963468,useless=391314), ccks=16512155, wck=8.173, mem=93M132
12.71/10.39	    decisions=485211, wrong=241855, backtracks=112339, failedAssignments=153762, nogoods=1035
12.71/10.39	    
13.52/11.14	    num=77, depth=16..24, filters=12675791, revisions=(3265743,useless=434446), ccks=17946495, wck=8.927, mem=171M321
13.52/11.14	    decisions=534218, wrong=266349, backtracks=124124, failedAssignments=169151, nogoods=1068
13.52/11.14	    
14.52/12.19	    num=78, depth=17..25, filters=14256961, revisions=(3665205,useless=491729), ccks=20291694, wck=9.975, mem=280M785
14.52/12.19	    decisions=589228, wrong=293843, backtracks=137564, failedAssignments=186079, nogoods=1096
14.52/12.19	    
15.65/13.24	    num=79, depth=15..24, filters=15759159, revisions=(4043281,useless=542071), ccks=22399856, wck=11.02, mem=129M689
15.65/13.24	    decisions=649409, wrong=323924, backtracks=151944, failedAssignments=204700, nogoods=1123
15.65/13.24	    
16.65/14.27	    num=80, depth=16..25, filters=17255204, revisions=(4454674,useless=598340), ccks=24471777, wck=12.057, mem=234M6
16.65/14.27	    decisions=717324, wrong=357872, backtracks=169196, failedAssignments=225184, nogoods=1137
16.65/14.27	    
17.97/15.55	    num=81, depth=16..24, filters=19131915, revisions=(4930700,useless=662056), ccks=27200618, wck=13.333, mem=106M284
17.97/15.55	    decisions=789901, wrong=394152, backtracks=186704, failedAssignments=247716, nogoods=1179
17.97/15.55	    
19.27/16.90	    num=82, depth=14..24, filters=21050059, revisions=(5425050,useless=725207), ccks=29992449, wck=14.679, mem=242M653
19.27/16.90	    decisions=869614, wrong=433999, backtracks=206068, failedAssignments=272501, nogoods=1204
19.27/16.90	    
20.81/18.37	    num=83, depth=15..24, filters=23205493, revisions=(6003333,useless=802743), ccks=32782901, wck=16.156, mem=34M652
20.81/18.37	    decisions=960994, wrong=479679, backtracks=229856, failedAssignments=299765, nogoods=1220
20.81/18.37	    
22.31/19.81	    num=84, depth=16..25, filters=25310519, revisions=(6583746,useless=885256), ccks=35527574, wck=17.593, mem=179M285
22.31/19.81	    decisions=1059339, wrong=528841, backtracks=254249, failedAssignments=329755, nogoods=1237
22.31/19.81	    
24.11/21.63	    num=85, depth=16..24, filters=28007222, revisions=(7271996,useless=984880), ccks=39347125, wck=19.415, mem=374M538
24.11/21.63	    decisions=1165134, wrong=581729, backtracks=279078, failedAssignments=362744, nogoods=1268
24.11/21.63	    
26.04/23.57	    num=86, depth=16..25, filters=30973143, revisions=(8041697,useless=1100631), ccks=43042860, wck=21.348, mem=219M575
26.04/23.57	    decisions=1282022, wrong=640163, backtracks=307291, failedAssignments=399032, nogoods=1306
26.04/23.57	    
28.15/25.60	    num=87, depth=16..25, filters=34041502, revisions=(8826532,useless=1213472), ccks=46887149, wck=23.386, mem=436M299
28.15/25.60	    decisions=1409401, wrong=703843, backtracks=337102, failedAssignments=438949, nogoods=1323
28.15/25.60	    
30.38/27.88	    num=88, depth=16..25, filters=37425753, revisions=(9682697,useless=1331875), ccks=51303602, wck=25.661, mem=245M607
30.38/27.88	    decisions=1547301, wrong=772784, backtracks=369196, failedAssignments=482858, nogoods=1353
30.38/27.88	    
33.21/30.66	    num=89, depth=15..24, filters=41422123, revisions=(10735738,useless=1476251), ccks=57521882, wck=28.44, mem=91M378
33.21/30.66	    decisions=1704160, wrong=851204, backtracks=409536, failedAssignments=531158, nogoods=1368
33.21/30.66	    
36.02/33.48	    num=90, depth=15..25, filters=45565597, revisions=(11809423,useless=1631211), ccks=63160519, wck=31.259, mem=386M302
36.02/33.48	    decisions=1875044, wrong=936636, backtracks=450419, failedAssignments=584288, nogoods=1391
36.02/33.48	    
39.35/36.70	    num=91, depth=15..24, filters=50342027, revisions=(13027137,useless=1792579), ccks=69232867, wck=34.48, mem=206M851
39.35/36.70	    decisions=2066601, wrong=1032406, backtracks=496209, failedAssignments=642731, nogoods=1409
39.35/36.70	    
42.69/40.10	    num=92, depth=15..24, filters=55323092, revisions=(14320224,useless=1968610), ccks=76101467, wck=37.886, mem=67M643
42.69/40.10	    decisions=2273611, wrong=1135902, backtracks=546404, failedAssignments=707018, nogoods=1417
42.69/40.10	    
46.59/43.91	    num=93, depth=14..24, filters=60582758, revisions=(15635538,useless=2152793), ccks=83409238, wck=41.694, mem=447M205
46.59/43.91	    decisions=2496739, wrong=1247457, backtracks=597232, failedAssignments=777734, nogoods=1451
46.59/43.91	    
50.49/47.83	    num=94, depth=15..24, filters=66151339, revisions=(17109519,useless=2350080), ccks=90711214, wck=45.615, mem=368M877
50.49/47.83	    decisions=2747550, wrong=1372853, backtracks=658510, failedAssignments=855521, nogoods=1465
50.49/47.83	    
55.41/52.78	    num=95, depth=14..24, filters=73203099, revisions=(18969988,useless=2604460), ccks=101409012, wck=50.563, mem=401M615
55.41/52.78	    decisions=3025520, wrong=1511829, backtracks=728897, failedAssignments=941087, nogoods=1497
55.41/52.78	    
60.12/57.42	    num=96, depth=14..23, filters=79707914, revisions=(20700992,useless=2838186), ccks=109515494, wck=55.202, mem=414M780
60.12/57.42	    decisions=3328836, wrong=1663478, backtracks=802172, failedAssignments=1035210, nogoods=1527
60.12/57.42	    
66.03/63.34	    num=97, depth=14..24, filters=88256889, revisions=(22946292,useless=3142472), ccks=121412386, wck=61.126, mem=165M34
66.03/63.34	    decisions=3668802, wrong=1833452, backtracks=889101, failedAssignments=1138745, nogoods=1548
66.03/63.34	    
71.54/68.89	    num=98, depth=14..24, filters=95922917, revisions=(24944575,useless=3405776), ccks=131217563, wck=66.673, mem=308M605
71.54/68.89	    decisions=4029947, wrong=2014016, backtracks=973631, failedAssignments=1252634, nogoods=1590
71.54/68.89	    
78.05/75.37	    num=99, depth=14..24, filters=105321276, revisions=(27378790,useless=3762850), ccks=143292767, wck=73.154, mem=203M360
78.05/75.37	    decisions=4425752, wrong=2211910, backtracks=1069050, failedAssignments=1377912, nogoods=1633
78.05/75.37	    
85.06/82.33	    num=100, depth=15..24, filters=115285313, revisions=(30124344,useless=4181093), ccks=156807944, wck=80.117, mem=192M677
85.06/82.33	    decisions=4872060, wrong=2435054, backtracks=1180225, failedAssignments=1515718, nogoods=1668
85.06/82.33	    
92.88/90.15	    num=101, depth=15..25, filters=126562493, revisions=(33021937,useless=4587164), ccks=172103662, wck=87.933, mem=325M544
92.88/90.15	    decisions=5350955, wrong=2674492, backtracks=1291052, failedAssignments=1667304, nogoods=1713
92.88/90.15	    
102.81/100.02	    num=102, depth=14..24, filters=141080247, revisions=(36706846,useless=5109555), ccks=193438313, wck=97.799, mem=107M427
102.81/100.02	    decisions=5886676, wrong=2942343, backtracks=1423024, failedAssignments=1834049, nogoods=1733
102.81/100.02	    
112.62/109.80	    num=103, depth=14..24, filters=155262655, revisions=(40429090,useless=5616442), ccks=212617770, wck=107.588, mem=260M863
112.62/109.80	    decisions=6482993, wrong=3240493, backtracks=1570362, failedAssignments=2017468, nogoods=1764
112.62/109.80	    
123.16/120.35	    num=104, depth=13..23, filters=169938501, revisions=(44315664,useless=6153465), ccks=231557786, wck=118.134, mem=34M870
123.16/120.35	    decisions=7140185, wrong=3569080, backtracks=1732468, failedAssignments=2219229, nogoods=1800
123.16/120.35	    
134.19/131.38	    num=105, depth=14..24, filters=185490991, revisions=(48497424,useless=6723060), ccks=250763419, wck=129.166, mem=24M972
134.19/131.38	    decisions=7865927, wrong=3931943, backtracks=1915897, failedAssignments=2441167, nogoods=1851
134.19/131.38	    
147.63/144.71	    num=106, depth=13..23, filters=204836456, revisions=(53367037,useless=7372255), ccks=276859793, wck=142.492, mem=195M517
147.63/144.71	    decisions=8654527, wrong=4326234, backtracks=2103808, failedAssignments=2685298, nogoods=1895
147.63/144.71	    
161.11/158.52	    num=107, depth=13..24, filters=223629572, revisions=(58416067,useless=8068893), ccks=300135182, wck=156.304, mem=29M991
161.11/158.52	    decisions=9529074, wrong=4763499, backtracks=2317885, failedAssignments=2953843, nogoods=1929
161.11/158.52	    
175.58/172.98	    num=108, depth=13..23, filters=243693896, revisions=(63848719,useless=8795953), ccks=324473831, wck=170.767, mem=51M542
175.58/172.98	    decisions=10495985, wrong=5246946, backtracks=2559672, failedAssignments=3249242, nogoods=1956
175.58/172.98	    
191.66/188.90	    num=109, depth=13..24, filters=266183734, revisions=(69753323,useless=9588469), ccks=351479156, wck=186.685, mem=121M686
191.66/188.90	    decisions=11524875, wrong=5761383, backtracks=2799055, failedAssignments=3574181, nogoods=1986
191.66/188.90	    
209.05/206.22	    num=110, depth=13..24, filters=290506807, revisions=(76377183,useless=10572635), ccks=379584926, wck=204.004, mem=67M623
209.05/206.22	    decisions=12678513, wrong=6338194, backtracks=3081194, failedAssignments=3931614, nogoods=2036
209.05/206.22	    
228.17/225.22	    num=111, depth=13..23, filters=317369988, revisions=(83584337,useless=11576199), ccks=413112713, wck=223.001, mem=31M786
228.17/225.22	    decisions=13938109, wrong=6967983, backtracks=3383288, failedAssignments=4324790, nogoods=2073
228.17/225.22	    
247.28/244.26	    num=112, depth=13..23, filters=343445035, revisions=(90829085,useless=12591486), ccks=442411203, wck=242.042, mem=35M30
247.28/244.26	    decisions=15319233, wrong=7658536, backtracks=3714717, failedAssignments=4757284, nogoods=2113
247.28/244.26	    
270.41/267.26	    num=113, depth=13..24, filters=375895685, revisions=(99680541,useless=13878646), ccks=481543941, wck=265.047, mem=64M215
270.41/267.26	    decisions=16859903, wrong=8428861, backtracks=4088024, failedAssignments=5233028, nogoods=2159
270.41/267.26	    
298.17/294.83	    num=114, depth=13..24, filters=414961395, revisions=(110030432,useless=15296129), ccks=534494723, wck=292.618, mem=50M232
298.17/294.83	    decisions=18570077, wrong=9283939, backtracks=4510326, failedAssignments=5756346, nogoods=2200
298.17/294.83	    
324.13/320.62	    num=115, depth=13..24, filters=450801436, revisions=(119989169,useless=16691465), ccks=576016354, wck=318.404, mem=44M832
324.13/320.62	    decisions=20422205, wrong=10209994, backtracks=4959398, failedAssignments=6331996, nogoods=2239
324.13/320.62	    
353.08/349.43	    num=116, depth=13..24, filters=492170095, revisions=(131302336,useless=18240490), ccks=624784442, wck=347.216, mem=56M753
353.08/349.43	    decisions=22477830, wrong=11237797, backtracks=5452419, failedAssignments=6965211, nogoods=2260
353.08/349.43	    
387.87/384.02	    num=117, depth=14..24, filters=541215071, revisions=(145008382,useless=20314467), ccks=688624427, wck=381.799, mem=35M210
387.87/384.02	    decisions=24776475, wrong=12387110, backtracks=6028873, failedAssignments=7661747, nogoods=2287
387.87/384.02	    
428.65/424.64	    num=118, depth=15..25, filters=599701127, revisions=(160731580,useless=22635578), ccks=771612062, wck=422.424, mem=49M243
428.65/424.64	    decisions=27278176, wrong=13637951, backtracks=6640533, failedAssignments=8427937, nogoods=2323
428.65/424.64	    
468.74/464.58	    num=119, depth=15..25, filters=657840656, revisions=(177471703,useless=25113144), ccks=851194878, wck=462.358, mem=30M939
468.74/464.58	    decisions=30088411, wrong=15043059, backtracks=7348766, failedAssignments=9270746, nogoods=2363
468.74/464.58	    
518.97/514.53	    num=120, depth=15..25, filters=731961208, revisions=(196596373,useless=27905445), ccks=950449789, wck=512.316, mem=67M652
518.97/514.53	    decisions=33041644, wrong=16519665, backtracks=8047005, failedAssignments=10197836, nogoods=2408
518.97/514.53	    
576.01/571.35	    num=121, depth=14..25, filters=813405567, revisions=(218052451,useless=31056882), ccks=1061661296, wck=569.133, mem=74M157
576.01/571.35	    decisions=36387853, wrong=18192760, backtracks=8884180, failedAssignments=11217635, nogoods=2440
576.01/571.35	    
638.46/633.56	    num=122, depth=13..24, filters=901047660, revisions=(241160855,useless=34384195), ccks=1187936309, wck=631.343, mem=51M534
638.46/633.56	    decisions=40039900, wrong=20018775, backtracks=9800188, failedAssignments=12339414, nogoods=2511
638.46/633.56	    
706.66/701.43	    num=123, depth=14..24, filters=1000184275, revisions=(267405479,useless=38216627), ccks=1325311302, wck=699.212, mem=26M717
706.66/701.43	    decisions=44022776, wrong=22010203, backtracks=10785285, failedAssignments=13573371, nogoods=2543
706.66/701.43	    
777.45/771.95	    num=124, depth=14..24, filters=1100529711, revisions=(294302506,useless=41982780), ccks=1462087139, wck=769.732, mem=27M789
777.45/771.95	    decisions=48427124, wrong=24212368, backtracks=11896565, failedAssignments=14930724, nogoods=2571
777.45/771.95	    
860.97/855.13	    num=125, depth=13..24, filters=1221957654, revisions=(325687552,useless=46399511), ccks=1630635390, wck=852.913, mem=38M614
860.97/855.13	    decisions=53287304, wrong=26642449, backtracks=13089343, failedAssignments=16423812, nogoods=2603
860.97/855.13	    
950.32/944.18	    num=126, depth=13..24, filters=1350298069, revisions=(359777845,useless=51342636), ccks=1797297823, wck=941.963, mem=56M999
950.32/944.18	    decisions=58644167, wrong=29320872, backtracks=14452005, failedAssignments=18066209, nogoods=2641
950.32/944.18	    
1053.83/1047.21	    num=127, depth=14..24, filters=1503147472, revisions=(399814732,useless=57079285), ccks=2011254234, wck=1044.991, mem=23M535
1053.83/1047.21	    decisions=64599080, wrong=32298320, backtracks=15952113, failedAssignments=19872846, nogoods=2683
1053.83/1047.21	    
1166.65/1159.63	    num=128, depth=13..25, filters=1665829818, revisions=(441587979,useless=62779538), ccks=2235459285, wck=1157.408, mem=73M273
1166.65/1159.63	    decisions=71098804, wrong=35548173, backtracks=17566221, failedAssignments=21860147, nogoods=2729
1166.65/1159.63	    
1289.99/1282.57	    num=129, depth=12..24, filters=1840815014, revisions=(488072941,useless=69201459), ccks=2476729925, wck=1280.358, mem=24M664
1289.99/1282.57	    decisions=78389614, wrong=39193570, backtracks=19478659, failedAssignments=24046178, nogoods=2782
1289.99/1282.57	    
1433.10/1425.11	    num=130, depth=11..23, filters=2040329312, revisions=(540283860,useless=76440538), ccks=2774631204, wck=1422.893, mem=62M522
1433.10/1425.11	    decisions=86282590, wrong=43140049, backtracks=21543825, failedAssignments=26450812, nogoods=2810
1433.10/1425.11	    
1573.18/1564.72	    num=131, depth=11..23, filters=2232220497, revisions=(592292637,useless=82879039), ccks=3019186447, wck=1562.501, mem=75M515
1573.18/1564.72	    decisions=95035735, wrong=47516613, backtracks=23835058, failedAssignments=29095909, nogoods=2844
1573.18/1564.72	    
1717.59/1708.60	    num=132, depth=12..24, filters=2432977644, revisions=(647420281,useless=90394158), ccks=3253137562, wck=1706.383, mem=63M660
1717.59/1708.60	    decisions=104690130, wrong=52343802, backtracks=26287444, failedAssignments=32005516, nogoods=2882
1717.59/1708.60	    
1878.21/1868.77	    num=133, depth=11..23, filters=2648141974, revisions=(707383659,useless=98314008), ccks=3518336678, wck=1866.552, mem=36M659
1878.21/1868.77	    decisions=115225803, wrong=57611630, backtracks=29001660, failedAssignments=35206084, nogoods=2934
1878.21/1868.77	    
2038.56/2028.59	    num=134, depth=12..23, filters=2864037841, revisions=(769113009,useless=106892332), ccks=3754000428, wck=2026.376, mem=25M916
2038.56/2028.59	    decisions=126833791, wrong=63415615, backtracks=31966725, failedAssignments=38726709, nogoods=2968
2038.56/2028.59	    
2286.49/2275.65	    num=135, depth=10..23, filters=3210686766, revisions=(855612579,useless=117239900), ccks=4308765372, wck=2273.429, mem=24M836
2286.49/2275.65	    decisions=139398770, wrong=69698097, backtracks=35112562, failedAssignments=42599396, nogoods=3017
2286.49/2275.65	    
2466.15/2454.76	    num=136, depth=10..23, filters=3427676739, revisions=(922427383,useless=126239003), ccks=4530362736, wck=2452.539, mem=52M941
2466.15/2454.76	    decisions=153210978, wrong=76604193, backtracks=38567025, failedAssignments=46859352, nogoods=3068
2466.15/2454.76

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390750-1568380951/watcher-4390750-1568380951 -o /tmp/evaluation-result-4390750-1568380951/solver-4390750-1568380951 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568380477-10796 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390750-1568380951.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=11426, runsolver pid=11423
Current StackSize limit: 8192 KiB


[startup+0.100123 s]*
/proc/loadavg: 1.91 1.50 0.77 5/229 11441
/proc/meminfo: memFree=23649360/32770624 swapFree=66939832/67108860
[pid=11426] ppid=11423 vsize=10659884 memory=27440 CPUtime=0.12 cores=0,2,4,6
/proc/11426/stat : 11426 (java) S 11423 11426 10765 0 -1 1077944320 5460 0 0 0 11 1 0 0 20 0 15 0 414010011 10915721216 6860 33554432000 4194304 4196468 140724357318672 140724357301216 140274127818487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
/proc/11426/statm: 2664971 6860 2807 1 0 2627468 0
[pid=11426/tid=11428] ppid=11423 vsize=10659884 memory=7892391828772250251 CPUtime=0.08 cores=0,2,4,6
/proc/11426/task/11428/stat : 11428 (java) R 11423 11426 10765 0 -1 4202560 3343 0 0 0 8 0 0 0 20 0 15 0 414010011 10915721216 6860 33554432000 4194304 4196468 140724357318672 140274132047904 140274120055614 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11429] ppid=11423 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11429/stat : 11429 (java) S 11423 11426 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414010012 10915721216 6860 33554432000 4194304 4196468 140724357318672 140274053893008 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11430] ppid=11423 vsize=10659884 memory=140286389761664 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11430/stat : 11430 (java) S 11423 11426 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414010012 10915721216 6860 33554432000 4194304 4196468 140724357318672 140274052840208 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11431] ppid=11423 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11431/stat : 11431 (java) S 11423 11426 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414010012 10915721216 6926 33554432000 4194304 4196468 140724357318672 140274051787920 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11432] ppid=11423 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11432/stat : 11432 (java) S 11423 11426 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414010012 10915721216 6926 33554432000 4194304 4196468 140724357318672 140274050735120 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11433] ppid=11423 vsize=10659884 memory=140286389761664 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11433/stat : 11433 (java) S 11423 11426 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414010013 10915721216 6926 33554432000 4194304 4196468 140724357318672 140273432135792 140274127829634 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11434] ppid=11423 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11434/stat : 11434 (java) S 11423 11426 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414010014 10915721216 6926 33554432000 4194304 4196468 140724357318672 140273363444512 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11435] ppid=11423 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11435/stat : 11435 (java) S 11423 11426 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414010014 10915721216 6926 33554432000 4194304 4196468 140724357318672 140273362392176 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11436] ppid=11423 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11436/stat : 11436 (java) S 11423 11426 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414010016 10915721216 6926 33554432000 4194304 4196468 140724357318672 140273361340496 140274127837083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11437] ppid=11423 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11437/stat : 11437 (java) S 11423 11426 10765 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 414010016 10915721216 6926 33554432000 4194304 4196468 140724357318672 140273360288368 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11438] ppid=11423 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11438/stat : 11438 (java) S 11423 11426 10765 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 414010016 10915721216 6926 33554432000 4194304 4196468 140724357318672 140273359235568 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11439] ppid=11423 vsize=10659884 memory=140286389761664 CPUtime=0.01 cores=0,2,4,6
/proc/11426/task/11439/stat : 11439 (java) R 11423 11426 10765 0 -1 4202560 324 0 0 0 1 0 0 0 20 0 15 0 414010016 10915721216 6926 33554432000 4194304 4196468 140724357318672 140273358183280 140274127830422 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11440] ppid=11423 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11440/stat : 11440 (java) S 11423 11426 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414010017 10915721216 6926 33554432000 4194304 4196468 140724357318672 140273357130720 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11441] ppid=11423 vsize=10659884 memory=140286389761664 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11441/stat : 11441 (java) S 11423 11426 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414010017 10915721216 6926 33554432000 4194304 4196468 140724357318672 140273356077488 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27440 KiB

[startup+0.216342 s]*
/proc/loadavg: 1.91 1.50 0.77 5/229 11441
/proc/meminfo: memFree=23638224/32770624 swapFree=66939832/67108860
[pid=11426] ppid=11423 vsize=10659884 memory=37600 CPUtime=0.33 cores=0,2,4,6
/proc/11426/stat : 11426 (java) S 11423 11426 10765 0 -1 1077944320 9160 0 0 0 30 3 0 0 20 0 15 0 414010011 10915721216 9400 33554432000 4194304 4196468 140724357318672 140724357301216 140274127818487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
/proc/11426/statm: 2664971 9400 2985 1 0 2627468 0
[pid=11426/tid=11428] ppid=11423 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/11426/task/11428/stat : 11428 (java) R 11423 11426 10765 0 -1 4202560 6112 0 0 0 18 2 0 0 20 0 15 0 414010011 10915721216 9400 33554432000 4194304 4196468 140724357318672 140274132044848 140274127840413 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11429] ppid=11423 vsize=10659884 memory=365 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11429/stat : 11429 (java) S 11423 11426 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414010012 10915721216 9400 33554432000 4194304 4196468 140724357318672 140274053893008 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11430] ppid=11423 vsize=10659884 memory=3905104417928623776 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11430/stat : 11430 (java) S 11423 11426 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414010012 10915721216 9400 33554432000 4194304 4196468 140724357318672 140274052840208 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11431] ppid=11423 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11431/stat : 11431 (java) S 11423 11426 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414010012 10915721216 9400 33554432000 4194304 4196468 140724357318672 140274051787920 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11432] ppid=11423 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11432/stat : 11432 (java) S 11423 11426 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414010012 10915721216 9400 33554432000 4194304 4196468 140724357318672 140274050735120 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11433] ppid=11423 vsize=10659884 memory=140286389761664 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11433/stat : 11433 (java) S 11423 11426 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414010013 10915721216 9400 33554432000 4194304 4196468 140724357318672 140273432135792 140274127829634 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11434] ppid=11423 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11434/stat : 11434 (java) S 11423 11426 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414010014 10915721216 9400 33554432000 4194304 4196468 140724357318672 140273363444512 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11435] ppid=11423 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11435/stat : 11435 (java) S 11423 11426 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414010014 10915721216 9400 33554432000 4194304 4196468 140724357318672 140273362392176 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11436] ppid=11423 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11436/stat : 11436 (java) S 11423 11426 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414010016 10915721216 9400 33554432000 4194304 4196468 140724357318672 140273361340496 140274127837083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11437] ppid=11423 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/11426/task/11437/stat : 11437 (java) S 11423 11426 10765 0 -1 1077944384 647 0 0 0 3 0 0 0 20 0 15 0 414010016 10915721216 9400 33554432000 4194304 4196468 140724357318672 140273360288368 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11438] ppid=11423 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/11426/task/11438/stat : 11438 (java) S 11423 11426 10765 0 -1 1077944384 350 0 0 0 3 0 0 0 20 0 15 0 414010016 10915721216 9400 33554432000 4194304 4196468 140724357318672 140273359235568 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11439] ppid=11423 vsize=10659884 memory=140286389761664 CPUtime=0.05 cores=0,2,4,6
/proc/11426/task/11439/stat : 11439 (java) S 11423 11426 10765 0 -1 1077944384 690 0 0 0 5 0 0 0 20 0 15 0 414010016 10915721216 9400 33554432000 4194304 4196468 140724357318672 140273358183280 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11440] ppid=11423 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11440/stat : 11440 (java) S 11423 11426 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414010017 10915721216 9400 33554432000 4194304 4196468 140724357318672 140273357130720 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11441] ppid=11423 vsize=10659884 memory=140286389761664 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11441/stat : 11441 (java) S 11423 11426 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414010017 10915721216 9400 33554432000 4194304 4196468 140724357318672 140273356077488 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 37600 KiB

[startup+0.310384 s]*
/proc/loadavg: 1.91 1.50 0.77 3/229 11441
/proc/meminfo: memFree=23636416/32770624 swapFree=66939832/67108860
[pid=11426] ppid=11423 vsize=10659884 memory=40160 CPUtime=0.46 cores=0,2,4,6
/proc/11426/stat : 11426 (java) S 11423 11426 10765 0 -1 1077944320 9335 0 0 0 43 3 0 0 20 0 15 0 414010011 10915721216 10040 33554432000 4194304 4196468 140724357318672 140724357301216 140274127818487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
/proc/11426/statm: 2664971 10040 3016 1 0 2627468 0
[pid=11426/tid=11428] ppid=11423 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/11426/task/11428/stat : 11428 (java) R 11423 11426 10765 0 -1 4202560 6226 0 0 0 27 2 0 0 20 0 15 0 414010011 10915721216 10040 33554432000 4194304 4196468 140724357318672 140274132048656 140274127840413 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11429] ppid=11423 vsize=10659884 memory=10528 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11429/stat : 11429 (java) S 11423 11426 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414010012 10915721216 10040 33554432000 4194304 4196468 140724357318672 140274053893008 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11430] ppid=11423 vsize=10659884 memory=3979412712268609184 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11430/stat : 11430 (java) S 11423 11426 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414010012 10915721216 10040 33554432000 4194304 4196468 140724357318672 140274052840208 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11431] ppid=11423 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11431/stat : 11431 (java) S 11423 11426 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414010012 10915721216 10040 33554432000 4194304 4196468 140724357318672 140274051787920 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11432] ppid=11423 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11432/stat : 11432 (java) S 11423 11426 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414010012 10915721216 10040 33554432000 4194304 4196468 140724357318672 140274050735120 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11433] ppid=11423 vsize=10659884 memory=140286389761664 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11433/stat : 11433 (java) S 11423 11426 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414010013 10915721216 10040 33554432000 4194304 4196468 140724357318672 140273432135792 140274127829634 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11434] ppid=11423 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11434/stat : 11434 (java) S 11423 11426 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414010014 10915721216 10040 33554432000 4194304 4196468 140724357318672 140273363444512 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11435] ppid=11423 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11435/stat : 11435 (java) S 11423 11426 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414010014 10915721216 10040 33554432000 4194304 4196468 140724357318672 140273362392176 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11436] ppid=11423 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11436/stat : 11436 (java) S 11423 11426 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414010016 10915721216 10040 33554432000 4194304 4196468 140724357318672 140273361340496 140274127837083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11437] ppid=11423 vsize=10659884 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/11426/task/11437/stat : 11437 (java) S 11423 11426 10765 0 -1 1077944384 674 0 0 0 4 0 0 0 20 0 15 0 414010016 10915721216 10040 33554432000 4194304 4196468 140724357318672 140273360288368 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11438] ppid=11423 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/11426/task/11438/stat : 11438 (java) S 11423 11426 10765 0 -1 1077944384 366 0 0 0 3 0 0 0 20 0 15 0 414010016 10915721216 10040 33554432000 4194304 4196468 140724357318672 140273359235568 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11439] ppid=11423 vsize=10659884 memory=140286389761664 CPUtime=0.07 cores=0,2,4,6
/proc/11426/task/11439/stat : 11439 (java) S 11423 11426 10765 0 -1 1077944384 710 0 0 0 7 0 0 0 20 0 15 0 414010016 10915721216 10040 33554432000 4194304 4196468 140724357318672 140273358183280 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11440] ppid=11423 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11440/stat : 11440 (java) S 11423 11426 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414010017 10915721216 10040 33554432000 4194304 4196468 140724357318672 140273357130720 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11441] ppid=11423 vsize=10659884 memory=140286389761664 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11441/stat : 11441 (java) S 11423 11426 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414010017 10915721216 10040 33554432000 4194304 4196468 140724357318672 140273356077488 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40160 KiB

[startup+0.700709 s]
/proc/loadavg: 1.91 1.50 0.77 3/229 11441
/proc/meminfo: memFree=23627048/32770624 swapFree=66939832/67108860
[pid=11426] ppid=11423 vsize=10661932 memory=60560 CPUtime=1.1 cores=0,2,4,6
/proc/11426/stat : 11426 (java) S 11423 11426 10765 0 -1 1077944320 12706 0 0 0 105 5 0 0 20 0 15 0 414010011 10917818368 15140 33554432000 4194304 4196468 140724357318672 140724357301216 140274127818487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
/proc/11426/statm: 2665483 15140 3065 1 0 2627980 0
[pid=11426/tid=11428] ppid=11423 vsize=10661932 memory=14056 CPUtime=0.68 cores=0,2,4,6
/proc/11426/task/11428/stat : 11428 (java) R 11423 11426 10765 0 -1 4202560 8780 0 0 0 64 4 0 0 20 0 15 0 414010011 10917818368 15140 33554432000 4194304 4196468 140724357318672 140274132050512 140274111898974 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11429] ppid=11423 vsize=10661932 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11429/stat : 11429 (java) S 11423 11426 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414010012 10917818368 15140 33554432000 4194304 4196468 140724357318672 140274053893008 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11430] ppid=11423 vsize=10661932 memory=520 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11430/stat : 11430 (java) S 11423 11426 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414010012 10917818368 15140 33554432000 4194304 4196468 140724357318672 140274052840208 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11431] ppid=11423 vsize=10661932 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11431/stat : 11431 (java) S 11423 11426 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414010012 10917818368 15140 33554432000 4194304 4196468 140724357318672 140274051787920 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11432] ppid=11423 vsize=10661932 memory=924 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11432/stat : 11432 (java) S 11423 11426 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414010012 10917818368 15140 33554432000 4194304 4196468 140724357318672 140274050735120 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11433] ppid=11423 vsize=10661932 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11433/stat : 11433 (java) S 11423 11426 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414010013 10917818368 15140 33554432000 4194304 4196468 140724357318672 140273432135792 140274127829634 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11434] ppid=11423 vsize=10661932 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11434/stat : 11434 (java) S 11423 11426 10765 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414010014 10917818368 15140 33554432000 4194304 4196468 140724357318672 140273363444512 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11435] ppid=11423 vsize=10661932 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11435/stat : 11435 (java) S 11423 11426 10765 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414010014 10917818368 15140 33554432000 4194304 4196468 140724357318672 140273362392176 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11436] ppid=11423 vsize=10661932 memory=812 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11436/stat : 11436 (java) S 11423 11426 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414010016 10917818368 15140 33554432000 4194304 4196468 140724357318672 140273361340496 140274127837083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11437] ppid=11423 vsize=10661932 memory=7086240636179272035 CPUtime=0.11 cores=0,2,4,6
/proc/11426/task/11437/stat : 11437 (java) S 11423 11426 10765 0 -1 1077944384 903 0 0 0 11 0 0 0 20 0 15 0 414010016 10917818368 15140 33554432000 4194304 4196468 140724357318672 140273360288368 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11438] ppid=11423 vsize=10661932 memory=7453282923444726100 CPUtime=0.1 cores=0,2,4,6
/proc/11426/task/11438/stat : 11438 (java) S 11423 11426 10765 0 -1 1077944384 515 0 0 0 10 0 0 0 20 0 15 0 414010016 10917818368 15140 33554432000 4194304 4196468 140724357318672 140273359235568 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11439] ppid=11423 vsize=10661932 memory=7223879631928058176 CPUtime=0.19 cores=0,2,4,6
/proc/11426/task/11439/stat : 11439 (java) S 11423 11426 10765 0 -1 1077944384 1148 0 0 0 19 0 0 0 20 0 15 0 414010016 10917818368 15140 33554432000 4194304 4196468 140724357318672 140273358183280 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11440] ppid=11423 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11440/stat : 11440 (java) S 11423 11426 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414010017 10917818368 15140 33554432000 4194304 4196468 140724357318672 140273357130720 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11441] ppid=11423 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11441/stat : 11441 (java) S 11423 11426 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414010017 10917818368 15140 33554432000 4194304 4196468 140724357318672 140273356077488 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 60560 KiB

[startup+1.5007 s]
/proc/loadavg: 1.91 1.50 0.77 3/229 11441
/proc/meminfo: memFree=23611824/32770624 swapFree=66939832/67108860
[pid=11426] ppid=11423 vsize=10663980 memory=75236 CPUtime=2 cores=0,2,4,6
/proc/11426/stat : 11426 (java) S 11423 11426 10765 0 -1 1077944320 16448 0 0 0 195 5 0 0 20 0 15 0 414010011 10919915520 18809 33554432000 4194304 4196468 140724357318672 140724357301216 140274127818487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
/proc/11426/statm: 2665995 18809 3094 1 0 2628492 0
[pid=11426/tid=11428] ppid=11423 vsize=10663980 memory=6493990552776 CPUtime=1.47 cores=0,2,4,6
/proc/11426/task/11428/stat : 11428 (java) R 11423 11426 10765 0 -1 4202560 11412 0 0 0 143 4 0 0 20 0 15 0 414010011 10919915520 18809 33554432000 4194304 4196468 140724357318672 140274132049792 140274111898974 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11429] ppid=11423 vsize=10663980 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11429/stat : 11429 (java) S 11423 11426 10765 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414010012 10919915520 18809 33554432000 4194304 4196468 140724357318672 140274053893008 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11430] ppid=11423 vsize=10663980 memory=14699582244260401 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11430/stat : 11430 (java) S 11423 11426 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414010012 10919915520 18809 33554432000 4194304 4196468 140724357318672 140274052840208 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11431] ppid=11423 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11431/stat : 11431 (java) S 11423 11426 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414010012 10919915520 18809 33554432000 4194304 4196468 140724357318672 140274051787920 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11432] ppid=11423 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11432/stat : 11432 (java) S 11423 11426 10765 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414010012 10919915520 18809 33554432000 4194304 4196468 140724357318672 140274050735120 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11433] ppid=11423 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11433/stat : 11433 (java) S 11423 11426 10765 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 414010013 10919915520 18809 33554432000 4194304 4196468 140724357318672 140273432135792 140274127829634 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0

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

/proc/11426/task/11432/stat : 11432 (java) S 11423 11426 10765 0 -1 1077944384 3118 0 0 0 299 20 0 0 20 0 16 0 414010012 11004186624 117200 33554432000 4194304 4196468 140724357318672 140274050735120 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11433] ppid=11423 vsize=10746276 memory=1436 CPUtime=2.72 cores=0,2,4,6
/proc/11426/task/11433/stat : 11433 (java) S 11423 11426 10765 0 -1 1077944384 5286 0 0 0 257 15 0 0 20 0 16 0 414010013 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273432135792 140274127829634 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11434] ppid=11423 vsize=10746276 memory=468800 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11434/stat : 11434 (java) S 11423 11426 10765 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414010014 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273363444576 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11435] ppid=11423 vsize=10746276 memory=3504 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11435/stat : 11435 (java) S 11423 11426 10765 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414010014 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273362392192 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11436] ppid=11423 vsize=10746276 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11436/stat : 11436 (java) S 11423 11426 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414010016 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273361340496 140274127837083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11437] ppid=11423 vsize=10746276 memory=920 CPUtime=0.83 cores=0,2,4,6
/proc/11426/task/11437/stat : 11437 (java) S 11423 11426 10765 0 -1 1077944384 2993 0 0 0 82 1 0 0 20 0 16 0 414010016 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273360288368 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11438] ppid=11423 vsize=10746276 memory=468800 CPUtime=0.87 cores=0,2,4,6
/proc/11426/task/11438/stat : 11438 (java) S 11423 11426 10765 0 -1 1077944384 3805 0 0 0 86 1 0 0 20 0 16 0 414010016 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273359235568 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11439] ppid=11423 vsize=10746276 memory=468800 CPUtime=0.58 cores=0,2,4,6
/proc/11426/task/11439/stat : 11439 (java) S 11423 11426 10765 0 -1 1077944384 8599 0 0 0 57 1 0 0 20 0 16 0 414010016 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273358183280 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11440] ppid=11423 vsize=10746276 memory=468800 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11440/stat : 11440 (java) S 11423 11426 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414010017 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273357130720 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11441] ppid=11423 vsize=10746276 memory=468800 CPUtime=0.74 cores=0,2,4,6
/proc/11426/task/11441/stat : 11441 (java) S 11423 11426 10765 0 -1 1077944384 677 0 0 0 32 42 0 0 20 0 16 0 414010017 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273356077488 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11442] ppid=11423 vsize=10746276 memory=3504 CPUtime=2373.03 cores=0,2,4,6
/proc/11426/task/11442/stat : 11442 (java) R 11423 11426 10765 0 -1 4202560 20084 0 0 0 237288 15 0 0 20 0 16 0 414010201 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273339415952 140273721659677 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
Current children cumulated CPU time: 2393.56 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 468800 KiB

[startup+2442.3 s]
/proc/loadavg: 1.35 1.51 1.54 3/232 12078
/proc/meminfo: memFree=22008036/32770624 swapFree=66939832/67108860
[pid=11426] ppid=11423 vsize=10746276 memory=468800 CPUtime=2453.73 cores=0,2,4,6
/proc/11426/stat : 11426 (java) S 11423 11426 10765 0 -1 1077944320 71256 0 0 0 245239 134 0 0 20 0 16 0 414010011 11004186624 117200 33554432000 4194304 4196468 140724357318672 140724357301216 140274127818487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
/proc/11426/statm: 2686569 117200 3367 1 0 2646705 0
[pid=11426/tid=11428] ppid=11423 vsize=10746276 memory=468800 CPUtime=1.88 cores=0,2,4,6
/proc/11426/task/11428/stat : 11428 (java) S 11423 11426 10765 0 -1 1077944384 13132 0 0 0 182 6 0 0 20 0 16 0 414010011 11004186624 117200 33554432000 4194304 4196468 140724357318672 140274132061360 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11429] ppid=11423 vsize=10746276 memory=1620 CPUtime=3.26 cores=0,2,4,6
/proc/11426/task/11429/stat : 11429 (java) S 11423 11426 10765 0 -1 1077944384 4586 0 0 0 306 20 0 0 20 0 16 0 414010012 11004186624 117200 33554432000 4194304 4196468 140724357318672 140274053893008 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11430] ppid=11423 vsize=10746276 memory=468800 CPUtime=3.27 cores=0,2,4,6
/proc/11426/task/11430/stat : 11430 (java) S 11423 11426 10765 0 -1 1077944384 2772 0 0 0 305 22 0 0 20 0 16 0 414010012 11004186624 117200 33554432000 4194304 4196468 140724357318672 140274052840208 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11431] ppid=11423 vsize=10746276 memory=468800 CPUtime=3.25 cores=0,2,4,6
/proc/11426/task/11431/stat : 11431 (java) S 11423 11426 10765 0 -1 1077944384 4416 0 0 0 308 17 0 0 20 0 16 0 414010012 11004186624 117200 33554432000 4194304 4196468 140724357318672 140274051787920 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11432] ppid=11423 vsize=10746276 memory=468800 CPUtime=3.25 cores=0,2,4,6
/proc/11426/task/11432/stat : 11432 (java) S 11423 11426 10765 0 -1 1077944384 3146 0 0 0 305 20 0 0 20 0 16 0 414010012 11004186624 117200 33554432000 4194304 4196468 140724357318672 140274050735120 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11433] ppid=11423 vsize=10746276 memory=468800 CPUtime=2.78 cores=0,2,4,6
/proc/11426/task/11433/stat : 11433 (java) S 11423 11426 10765 0 -1 1077944384 5437 0 0 0 263 15 0 0 20 0 16 0 414010013 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273432135792 140274127829634 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 36 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11434] ppid=11423 vsize=10746276 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11434/stat : 11434 (java) S 11423 11426 10765 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414010014 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273363444576 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11435] ppid=11423 vsize=10746276 memory=468800 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11435/stat : 11435 (java) S 11423 11426 10765 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414010014 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273362392192 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11436] ppid=11423 vsize=10746276 memory=468800 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11436/stat : 11436 (java) S 11423 11426 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414010016 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273361340496 140274127837083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11437] ppid=11423 vsize=10746276 memory=468800 CPUtime=0.83 cores=0,2,4,6
/proc/11426/task/11437/stat : 11437 (java) S 11423 11426 10765 0 -1 1077944384 2993 0 0 0 82 1 0 0 20 0 16 0 414010016 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273360288368 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11438] ppid=11423 vsize=10746276 memory=1984 CPUtime=0.87 cores=0,2,4,6
/proc/11426/task/11438/stat : 11438 (java) S 11423 11426 10765 0 -1 1077944384 3805 0 0 0 86 1 0 0 20 0 16 0 414010016 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273359235568 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11439] ppid=11423 vsize=10746276 memory=468800 CPUtime=0.59 cores=0,2,4,6
/proc/11426/task/11439/stat : 11439 (java) S 11423 11426 10765 0 -1 1077944384 8599 0 0 0 58 1 0 0 20 0 16 0 414010016 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273358183280 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11440] ppid=11423 vsize=10746276 memory=468800 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11440/stat : 11440 (java) S 11423 11426 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414010017 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273357130720 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11441] ppid=11423 vsize=10746276 memory=468800 CPUtime=0.76 cores=0,2,4,6
/proc/11426/task/11441/stat : 11441 (java) S 11423 11426 10765 0 -1 1077944384 692 0 0 0 33 43 0 0 20 0 16 0 414010017 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273356077488 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11442] ppid=11423 vsize=10746276 memory=468800 CPUtime=2432.89 cores=0,2,4,6
/proc/11426/task/11442/stat : 11442 (java) R 11423 11426 10765 0 -1 4202560 20267 0 0 0 243274 15 0 0 20 0 16 0 414010201 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273339415840 140273721113064 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
Current children cumulated CPU time: 2453.73 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 468800 KiB

[startup+2502.3 s]
/proc/loadavg: 1.60 1.54 1.55 3/232 12082
/proc/meminfo: memFree=22008496/32770624 swapFree=66939832/67108860
[pid=11426] ppid=11423 vsize=10746276 memory=468800 CPUtime=2513.95 cores=0,2,4,6
/proc/11426/stat : 11426 (java) S 11423 11426 10765 0 -1 1077944320 71921 0 0 0 251258 137 0 0 20 0 16 0 414010011 11004186624 117200 33554432000 4194304 4196468 140724357318672 140724357301216 140274127818487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
/proc/11426/statm: 2686569 117200 3367 1 0 2646705 0
[pid=11426/tid=11428] ppid=11423 vsize=10746276 memory=468800 CPUtime=1.88 cores=0,2,4,6
/proc/11426/task/11428/stat : 11428 (java) S 11423 11426 10765 0 -1 1077944384 13132 0 0 0 182 6 0 0 20 0 16 0 414010011 11004186624 117200 33554432000 4194304 4196468 140724357318672 140274132061360 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11429] ppid=11423 vsize=10746276 memory=468800 CPUtime=3.34 cores=0,2,4,6
/proc/11426/task/11429/stat : 11429 (java) S 11423 11426 10765 0 -1 1077944384 4601 0 0 0 313 21 0 0 20 0 16 0 414010012 11004186624 117200 33554432000 4194304 4196468 140724357318672 140274053893008 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11430] ppid=11423 vsize=10746276 memory=468800 CPUtime=3.35 cores=0,2,4,6
/proc/11426/task/11430/stat : 11430 (java) S 11423 11426 10765 0 -1 1077944384 3037 0 0 0 313 22 0 0 20 0 16 0 414010012 11004186624 117200 33554432000 4194304 4196468 140724357318672 140274052840208 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11431] ppid=11423 vsize=10746276 memory=468800 CPUtime=3.32 cores=0,2,4,6
/proc/11426/task/11431/stat : 11431 (java) S 11423 11426 10765 0 -1 1077944384 4420 0 0 0 315 17 0 0 20 0 16 0 414010012 11004186624 117200 33554432000 4194304 4196468 140724357318672 140274051787920 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11432] ppid=11423 vsize=10746276 memory=468800 CPUtime=3.32 cores=0,2,4,6
/proc/11426/task/11432/stat : 11432 (java) S 11423 11426 10765 0 -1 1077944384 3157 0 0 0 312 20 0 0 20 0 16 0 414010012 11004186624 117200 33554432000 4194304 4196468 140724357318672 140274050735120 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11433] ppid=11423 vsize=10746276 memory=468800 CPUtime=2.86 cores=0,2,4,6
/proc/11426/task/11433/stat : 11433 (java) S 11423 11426 10765 0 -1 1077944384 5458 0 0 0 270 16 0 0 20 0 16 0 414010013 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273432135792 140274127829634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 36 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11434] ppid=11423 vsize=10746276 memory=468800 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11434/stat : 11434 (java) S 11423 11426 10765 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414010014 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273363444576 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11435] ppid=11423 vsize=10746276 memory=468800 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11435/stat : 11435 (java) S 11423 11426 10765 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414010014 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273362392192 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11436] ppid=11423 vsize=10746276 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11436/stat : 11436 (java) S 11423 11426 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414010016 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273361340496 140274127837083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11437] ppid=11423 vsize=10746276 memory=468800 CPUtime=0.83 cores=0,2,4,6
/proc/11426/task/11437/stat : 11437 (java) S 11423 11426 10765 0 -1 1077944384 2995 0 0 0 82 1 0 0 20 0 16 0 414010016 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273360288368 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11438] ppid=11423 vsize=10746276 memory=3504 CPUtime=0.87 cores=0,2,4,6
/proc/11426/task/11438/stat : 11438 (java) S 11423 11426 10765 0 -1 1077944384 3807 0 0 0 86 1 0 0 20 0 16 0 414010016 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273359235568 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11439] ppid=11423 vsize=10746276 memory=468800 CPUtime=0.59 cores=0,2,4,6
/proc/11426/task/11439/stat : 11439 (java) S 11423 11426 10765 0 -1 1077944384 8658 0 0 0 58 1 0 0 20 0 16 0 414010016 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273358183280 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11440] ppid=11423 vsize=10746276 memory=468800 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11440/stat : 11440 (java) S 11423 11426 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414010017 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273357130720 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11441] ppid=11423 vsize=10746276 memory=468800 CPUtime=0.77 cores=0,2,4,6
/proc/11426/task/11441/stat : 11441 (java) S 11423 11426 10765 0 -1 1077944384 698 0 0 0 33 44 0 0 20 0 16 0 414010017 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273356077488 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11442] ppid=11423 vsize=10746276 memory=468800 CPUtime=2492.7 cores=0,2,4,6
/proc/11426/task/11442/stat : 11442 (java) R 11423 11426 10765 0 -1 4202560 20547 0 0 0 249255 15 0 0 20 0 16 0 414010201 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273339415728 140273721769424 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
Current children cumulated CPU time: 2513.95 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 468800 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2508.4 s]
/proc/loadavg: 1.55 1.53 1.55 3/232 12084
/proc/meminfo: memFree=22008248/32770624 swapFree=66939832/67108860
[pid=11426] ppid=11423 vsize=10746276 memory=468800 CPUtime=2520.06 cores=0,2,4,6
/proc/11426/stat : 11426 (java) S 11423 11426 10765 0 -1 1077944320 71931 0 0 0 251869 137 0 0 20 0 16 0 414010011 11004186624 117200 33554432000 4194304 4196468 140724357318672 140724357301216 140274127818487 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
/proc/11426/statm: 2686569 117200 3367 1 0 2646705 0
[pid=11426/tid=11428] ppid=11423 vsize=10746276 memory=1076 CPUtime=1.88 cores=0,2,4,6
/proc/11426/task/11428/stat : 11428 (java) S 11423 11426 10765 0 -1 1077944384 13132 0 0 0 182 6 0 0 20 0 16 0 414010011 11004186624 117200 33554432000 4194304 4196468 140724357318672 140274132061360 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11429] ppid=11423 vsize=10746276 memory=6791534058613427641 CPUtime=3.35 cores=0,2,4,6
/proc/11426/task/11429/stat : 11429 (java) S 11423 11426 10765 0 -1 1077944384 4601 0 0 0 314 21 0 0 20 0 16 0 414010012 11004186624 117200 33554432000 4194304 4196468 140724357318672 140274053893008 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11430] ppid=11423 vsize=10746276 memory=-8486080722631693414 CPUtime=3.35 cores=0,2,4,6
/proc/11426/task/11430/stat : 11430 (java) S 11423 11426 10765 0 -1 1077944384 3037 0 0 0 313 22 0 0 20 0 16 0 414010012 11004186624 117200 33554432000 4194304 4196468 140724357318672 140274052840208 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11431] ppid=11423 vsize=10746276 memory=-7023579799431922829 CPUtime=3.33 cores=0,2,4,6
/proc/11426/task/11431/stat : 11431 (java) S 11423 11426 10765 0 -1 1077944384 4420 0 0 0 316 17 0 0 20 0 16 0 414010012 11004186624 117200 33554432000 4194304 4196468 140724357318672 140274051787920 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11432] ppid=11423 vsize=10746276 memory=4426639978525455914 CPUtime=3.33 cores=0,2,4,6
/proc/11426/task/11432/stat : 11432 (java) S 11423 11426 10765 0 -1 1077944384 3157 0 0 0 313 20 0 0 20 0 16 0 414010012 11004186624 117200 33554432000 4194304 4196468 140724357318672 140274050735120 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11433] ppid=11423 vsize=10746276 memory=3047711553219693942 CPUtime=2.86 cores=0,2,4,6
/proc/11426/task/11433/stat : 11433 (java) S 11423 11426 10765 0 -1 1077944384 5458 0 0 0 270 16 0 0 20 0 16 0 414010013 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273432135792 140274127829634 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 36 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11434] ppid=11423 vsize=10746276 memory=-7521736447810188379 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11434/stat : 11434 (java) S 11423 11426 10765 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414010014 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273363444576 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11435] ppid=11423 vsize=10746276 memory=-8412652160765825907 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11435/stat : 11435 (java) S 11423 11426 10765 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414010014 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273362392192 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11436] ppid=11423 vsize=10746276 memory=7897517683652307531 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11436/stat : 11436 (java) S 11423 11426 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414010016 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273361340496 140274127837083 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11437] ppid=11423 vsize=10746276 memory=7100839878645619564 CPUtime=0.83 cores=0,2,4,6
/proc/11426/task/11437/stat : 11437 (java) S 11423 11426 10765 0 -1 1077944384 2995 0 0 0 82 1 0 0 20 0 16 0 414010016 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273360288368 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11438] ppid=11423 vsize=10746276 memory=-8634980985311628903 CPUtime=0.87 cores=0,2,4,6
/proc/11426/task/11438/stat : 11438 (java) S 11423 11426 10765 0 -1 1077944384 3807 0 0 0 86 1 0 0 20 0 16 0 414010016 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273359235568 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11439] ppid=11423 vsize=10746276 memory=8514726395715349656 CPUtime=0.59 cores=0,2,4,6
/proc/11426/task/11439/stat : 11439 (java) S 11423 11426 10765 0 -1 1077944384 8658 0 0 0 58 1 0 0 20 0 16 0 414010016 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273358183280 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11440] ppid=11423 vsize=10746276 memory=7741519986975338087 CPUtime=0 cores=0,2,4,6
/proc/11426/task/11440/stat : 11440 (java) S 11423 11426 10765 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414010017 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273357130720 140274127828693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11441] ppid=11423 vsize=10746276 memory=7584172172082901604 CPUtime=0.78 cores=0,2,4,6
/proc/11426/task/11441/stat : 11441 (java) S 11423 11426 10765 0 -1 1077944384 698 0 0 0 34 44 0 0 20 0 16 0 414010017 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273356077488 140274127829634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
[pid=11426/tid=11442] ppid=11423 vsize=10746276 memory=6791534058613427641 CPUtime=2498.79 cores=0,2,4,6
/proc/11426/task/11442/stat : 11442 (java) R 11423 11426 10765 0 -1 4202560 20557 0 0 0 249864 15 0 0 20 0 16 0 414010201 11004186624 117200 33554432000 4194304 4196468 140724357318672 140273339415952 140273721035665 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39723008 140724357325835 140724357325938 140724357325938 140724357328847 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10746276 KiB
Current children cumulated memory: 468800 KiB

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

[startup+2508.41 s]
# the end of solver process 11426 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.71 s, system=1.3797 s

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

Child status: 143
Real time (s): 2508.41
CPU time (s): 2520.09
CPU user time (s): 2518.71
CPU system time (s): 1.3797
CPU usage (%): 100.465
Max. virtual memory (cumulated for all children) (KiB): 10746452
Max. memory (cumulated for all children) (KiB): 614672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.71
system time used= 1.3797
maximum resident set size= 615644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72171
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 124649
involuntary context switches= 5200


# summary of solver processes directly reported to runsolver:
#   pid: 11426
#   total CPU time (s): 2520.09
#   total CPU user time (s): 2518.71
#   total CPU system time (s): 1.3797

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.9965 second user time and 22.8728 second system time

The end

Launcher Data 

Begin job on node119 at 2019-09-13 15:21:51
IDJOB=4390750
IDBENCH=124376
IDSOLVER=2832
FILE ID=node119/4390750-1568380951
RUNJOBID= node119-1568380477-10796
PBS_JOBID= 21701844
Free space on /tmp= 57260 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/Langford/Langford-m2-s1/LangfordBin-25.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390750-1568380951/watcher-4390750-1568380951 -o /tmp/evaluation-result-4390750-1568380951/solver-4390750-1568380951 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568380477-10796 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390750-1568380951.xml -cm

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

MD5SUM BENCH= ff4f1513315dd8e08dcc4cf2bbbe3209
RANDOM SEED=323831601

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        23665592 kB
MemAvailable:   31566396 kB
Buffers:          179780 kB
Cached:          7928048 kB
SwapCached:        61084 kB
Active:          2140836 kB
Inactive:        6267736 kB
Active(anon):     238864 kB
Inactive(anon):   103120 kB
Active(file):    1901972 kB
Inactive(file):  6164616 kB
Unevictable:      107056 kB
Mlocked:          107056 kB
SwapTotal:      67108860 kB
SwapFree:       66939832 kB
Dirty:              8692 kB
Writeback:             0 kB
AnonPages:        327216 kB
Mapped:            56804 kB
Shmem:             32812 kB
Slab:             292392 kB
SReclaimable:     262676 kB
SUnreclaim:        29716 kB
KernelStack:        4048 kB
PageTables:         6308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1226060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    243712 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 57252 MiB
End job on node119 at 2019-09-13 16:03:40