Trace number 4391032

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 NameAnswerobjective functionCPU timeWall clock time
AbsCon 2019-07-23? (TO) 2520.05 2507.71

General information on the benchmark

NameScheduling/Scheduling-os-taillard/
Taillard-os-10-10-6.xml
MD5SUM0823366b416f0d4f591b1c2bb0d09de5
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark616
Best CPU time to get the best result obtained on this benchmark1735.1
Satisfiable
(Un)Satisfiability was proved
Number of variables410
Number of constraints330
Number of domains12
Minimum domain size8
Maximum domain size723
Distribution of domain sizes[{"size":8,"count":10},{"size":9,"count":30},{"size":10,"count":160},{"size":723,"count":210}]
Minimum variable degree2
Maximum variable degree11
Distribution of variable degrees[{"degree":2,"count":110},{"degree":3,"count":200},{"degree":11,"count":100}]
Minimum constraint arity1
Maximum constraint arity12
Distribution of constraint arities[{"arity":1,"count":10},{"arity":2,"count":100},{"arity":3,"count":100},{"arity":10,"count":20},{"arity":12,"count":100}]
Number of extensional constraints100
Number of intensional constraints110
Distribution of constraint types[{"type":"extension","count":100},{"type":"intension","count":110},{"type":"allDifferent","count":10},{"type":"noOverlap","count":10},{"type":"element","count":100}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

2.50/2.37	
2.50/2.37	AbsCon 2 
2.50/2.39	
2.92/2.59	  Instance
2.92/2.59	    name=instance-4391032-1568380515, framework=COP, bounds=-infty..+infty
2.92/2.59	
2.92/2.59	  Loading variables...
3.24/2.65	  Loading constraints...
4.18/2.91	
4.18/2.91	  Domains
4.18/2.91	    nTypes=12, nValues=153780, sizes=[8#10,9#30,10#160,723#210]
4.18/2.91	  Variables
4.18/2.91	    count=410, degrees=[2#110,3#200,19#100]
4.18/2.91	  Objectives
4.18/2.91	    way=min, type=ObjMaximumLE
4.18/2.91	  Constraints
4.18/2.91	    count=771, nSpecific=561, arities=[1#10,2#550,3#100,10#11,12#100]
4.18/2.91	    distribution=[AllDifferent#10,CtrExtensionSmart-TableSmart#450,CtrExtensionV-Bits#100,CtrIntension#110,ElementVariable#100,ObjMaximumLE#1]
4.18/2.91	    tables=[2#450], nTotalTuples=900
4.18/2.91	    nExtStructures=(460,shared:90), nIntStructures=(30,shared:80), nCftStructures=(10,shared:90,unbuilt:671)
4.18/2.91	    wck=0.564, cpu=2.374, mem=55M588
4.18/2.93	  Solver SolverBacktrack being built...
4.18/2.93	
4.18/2.96	
4.18/2.96	  Solver
4.18/2.96	    guaranteedGAC=false
4.18/2.96	    wck=0.616, cpu=2.424, mem=76M804
4.49/3.02	
4.49/3.02	  Preprocessing
4.49/3.02	    filters=10, revisions=(10,useless=0), ccks=7230, nACremovedValues=5161, nTotalRemovedValues=5161, inconcistency=false
4.49/3.02	    wck=0.06, cpu=2.486, mem=79M447
4.49/3.02	
5.09/3.29	    num=0, depth=88..88, filters=1749, revisions=(866,useless=229), ccks=134935, wck=0.327, mem=124M368
5.09/3.29	    decisions=108, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
5.09/3.29	    nFilterCalls=3392, avgTableProportion=0.4019752358490566, avgTableSize=0.8039504716981132
5.09/3.29	    
5.40/3.30	    num=1, depth=0..0, filters=1760, revisions=(877,useless=229), ccks=206512, wck=0.337, mem=124M368
5.40/3.30	    decisions=130, wrong=21, backtracks=0, failedAssignments=21, nogoods=10
5.40/3.30	    nFilterCalls=3392, avgTableProportion=0.4019752358490566, avgTableSize=0.8039504716981132
5.40/3.30	    
5.72/3.41	    num=2, depth=0..37, filters=2538, revisions=(1247,useless=293), ccks=310449, wck=0.447, mem=54M499
5.72/3.41	    decisions=191, wrong=33, backtracks=0, failedAssignments=33, nogoods=12
5.72/3.41	    nFilterCalls=4883, avgTableProportion=0.4182879377431907, avgTableSize=0.8365758754863813
5.72/3.41	    
5.72/3.47	    num=3, depth=0..3, filters=2642, revisions=(1319,useless=294), ccks=969978, wck=0.513, mem=57M115
5.72/3.47	    decisions=220, wrong=46, backtracks=0, failedAssignments=46, nogoods=22
5.72/3.47	    nFilterCalls=5135, avgTableProportion=0.4222979552093476, avgTableSize=0.8445959104186952
5.72/3.47	    
5.72/3.48	    num=4, depth=0..0, filters=2656, revisions=(1333,useless=294), ccks=1061076, wck=0.524, mem=57M115
5.72/3.48	    decisions=248, wrong=60, backtracks=0, failedAssignments=60, nogoods=22
5.72/3.48	    nFilterCalls=5135, avgTableProportion=0.4222979552093476, avgTableSize=0.8445959104186952
5.72/3.48	    
5.90/3.55	    num=5, depth=0..4, filters=2743, revisions=(1408,useless=307), ccks=1707281, wck=0.588, mem=59M731
5.90/3.55	    decisions=284, wrong=76, backtracks=0, failedAssignments=76, nogoods=31
5.90/3.55	    nFilterCalls=5243, avgTableProportion=0.42389853137516686, avgTableSize=0.8477970627503337
5.90/3.55	    
5.90/3.55	    num=6, depth=0..0, filters=2760, revisions=(1425,useless=307), ccks=1724723, wck=0.591, mem=59M731
5.90/3.55	    decisions=318, wrong=93, backtracks=0, failedAssignments=93, nogoods=31
5.90/3.55	    nFilterCalls=5243, avgTableProportion=0.42389853137516686, avgTableSize=0.8477970627503337
5.90/3.55	    
5.90/3.56	    num=7, depth=0..0, filters=2779, revisions=(1444,useless=307), ccks=1744217, wck=0.595, mem=59M731
5.90/3.56	    decisions=356, wrong=112, backtracks=0, failedAssignments=112, nogoods=31
5.90/3.56	    nFilterCalls=5243, avgTableProportion=0.42389853137516686, avgTableSize=0.8477970627503337
5.90/3.56	    
5.90/3.56	    num=8, depth=0..0, filters=2800, revisions=(1465,useless=307), ccks=1765763, wck=0.599, mem=59M731
5.90/3.56	    decisions=398, wrong=133, backtracks=0, failedAssignments=133, nogoods=31
5.90/3.56	    nFilterCalls=5243, avgTableProportion=0.42389853137516686, avgTableSize=0.8477970627503337
5.90/3.56	    
5.90/3.56	    num=9, depth=0..0, filters=2823, revisions=(1488,useless=307), ccks=1789361, wck=0.603, mem=59M731
5.90/3.56	    decisions=444, wrong=156, backtracks=0, failedAssignments=156, nogoods=31
5.90/3.56	    nFilterCalls=5243, avgTableProportion=0.42389853137516686, avgTableSize=0.8477970627503337
5.90/3.56	    
5.90/3.57	    num=10, depth=0..0, filters=2848, revisions=(1513,useless=307), ccks=1815011, wck=0.608, mem=59M731
5.90/3.57	    decisions=494, wrong=181, backtracks=0, failedAssignments=181, nogoods=31
5.90/3.57	    nFilterCalls=5243, avgTableProportion=0.42389853137516686, avgTableSize=0.8477970627503337
5.90/3.57	    
5.90/3.57	    num=11, depth=0..0, filters=2876, revisions=(1541,useless=307), ccks=1843739, wck=0.613, mem=59M731
5.90/3.57	    decisions=550, wrong=209, backtracks=0, failedAssignments=209, nogoods=31
5.90/3.57	    nFilterCalls=5243, avgTableProportion=0.42389853137516686, avgTableSize=0.8477970627503337
5.90/3.57	    
5.90/3.58	    num=12, depth=0..0, filters=2907, revisions=(1572,useless=307), ccks=1875545, wck=0.618, mem=62M347
5.90/3.58	    decisions=612, wrong=240, backtracks=0, failedAssignments=240, nogoods=31
5.90/3.58	    nFilterCalls=5243, avgTableProportion=0.42389853137516686, avgTableSize=0.8477970627503337
5.90/3.58	    
5.90/3.58	    num=13, depth=0..0, filters=2941, revisions=(1606,useless=307), ccks=1910429, wck=0.624, mem=63M668
5.90/3.58	    decisions=680, wrong=274, backtracks=0, failedAssignments=274, nogoods=31
5.90/3.58	    nFilterCalls=5243, avgTableProportion=0.42389853137516686, avgTableSize=0.8477970627503337
5.90/3.58	    
5.90/3.59	    num=14, depth=0..0, filters=2978, revisions=(1643,useless=307), ccks=1948391, wck=0.631, mem=63M668
5.90/3.59	    decisions=754, wrong=311, backtracks=0, failedAssignments=311, nogoods=31
5.90/3.59	    nFilterCalls=5243, avgTableProportion=0.42389853137516686, avgTableSize=0.8477970627503337
5.90/3.59	    
6.02/3.60	    num=15, depth=0..0, filters=3019, revisions=(1684,useless=307), ccks=1990457, wck=0.638, mem=63M668
6.02/3.60	    decisions=836, wrong=352, backtracks=0, failedAssignments=352, nogoods=31
6.02/3.60	    nFilterCalls=5243, avgTableProportion=0.42389853137516686, avgTableSize=0.8477970627503337
6.02/3.60	    
6.02/3.61	    num=16, depth=0..0, filters=3064, revisions=(1729,useless=307), ccks=2036627, wck=0.646, mem=66M284
6.02/3.61	    decisions=926, wrong=397, backtracks=0, failedAssignments=397, nogoods=31
6.02/3.61	    nFilterCalls=5243, avgTableProportion=0.42389853137516686, avgTableSize=0.8477970627503337
6.02/3.61	    
6.02/3.61	    num=17, depth=0..0, filters=3114, revisions=(1779,useless=307), ccks=2087927, wck=0.654, mem=66M284
6.02/3.61	    decisions=1026, wrong=447, backtracks=0, failedAssignments=447, nogoods=31
6.02/3.61	    nFilterCalls=5243, avgTableProportion=0.42389853137516686, avgTableSize=0.8477970627503337
6.02/3.61	    
6.02/3.62	    num=18, depth=0..0, filters=3169, revisions=(1834,useless=307), ccks=2144357, wck=0.664, mem=68M900
6.02/3.62	    decisions=1136, wrong=502, backtracks=0, failedAssignments=502, nogoods=31
6.02/3.62	    nFilterCalls=5243, avgTableProportion=0.42389853137516686, avgTableSize=0.8477970627503337
6.02/3.62	    
6.02/3.63	    num=19, depth=0..0, filters=3230, revisions=(1895,useless=307), ccks=2206943, wck=0.675, mem=71M516
6.02/3.63	    decisions=1258, wrong=563, backtracks=0, failedAssignments=563, nogoods=31
6.02/3.63	    nFilterCalls=5243, avgTableProportion=0.42389853137516686, avgTableSize=0.8477970627503337
6.02/3.63	    
6.17/3.75	    num=20, depth=0..7, filters=3599, revisions=(2110,useless=315), ccks=3079982, wck=0.788, mem=79M364
6.17/3.75	    decisions=1399, wrong=630, backtracks=0, failedAssignments=630, nogoods=75
6.17/3.75	    nFilterCalls=6503, avgTableProportion=0.4386437029063509, avgTableSize=0.8772874058127018
6.17/3.75	    
6.55/4.01	    num=21, depth=0..67, filters=5679, revisions=(3028,useless=498), ccks=4594860, wck=1.053, mem=129M66
6.55/4.01	    decisions=1614, wrong=704, backtracks=0, failedAssignments=704, nogoods=146
6.55/4.01	    nFilterCalls=11539, avgTableProportion=0.43959615217956494, avgTableSize=0.8791923043591299
6.55/4.01	    
6.76/4.25	    num=22, depth=0..8, filters=6481, revisions=(3529,useless=570), ccks=6573225, wck=1.291, mem=139M530
6.76/4.25	    decisions=1784, wrong=785, backtracks=0, failedAssignments=785, nogoods=214
6.76/4.25	    nFilterCalls=14797, avgTableProportion=0.452591741569237, avgTableSize=0.905183483138474
6.76/4.25	    
7.17/4.56	    num=23, depth=0..54, filters=7943, revisions=(3975,useless=620), ccks=9062490, wck=1.603, mem=173M537
7.17/4.56	    decisions=2015, wrong=874, backtracks=1, failedAssignments=874, nogoods=276
7.17/4.56	    nFilterCalls=17267, avgTableProportion=0.4477326692534893, avgTableSize=0.8954653385069786
7.17/4.56	    
7.63/4.80	    num=24, depth=0..9, filters=9134, revisions=(4691,useless=712), ccks=10937954, wck=1.84, mem=57M247
7.63/4.80	    decisions=2220, wrong=972, backtracks=1, failedAssignments=972, nogoods=364
7.63/4.80	    nFilterCalls=22262, avgTableProportion=0.45739376516036295, avgTableSize=0.9147875303207259
7.63/4.80	    
7.94/5.19	    num=25, depth=0..60, filters=10778, revisions=(5420,useless=813), ccks=14589836, wck=2.233, mem=91M254
7.94/5.19	    decisions=2494, wrong=1080, backtracks=9, failedAssignments=1080, nogoods=418
7.94/5.19	    nFilterCalls=24798, avgTableProportion=0.4531817082022744, avgTableSize=0.9063634164045488
7.94/5.19	    
8.53/5.55	    num=26, depth=0..14, filters=13151, revisions=(6359,useless=918), ccks=16977142, wck=2.59, mem=149M663
8.53/5.55	    decisions=2744, wrong=1199, backtracks=11, failedAssignments=1199, nogoods=512
8.53/5.55	    nFilterCalls=35777, avgTableProportion=0.4653688123654862, avgTableSize=0.9307376247309724
8.53/5.55	    
9.29/6.21	    num=27, depth=31..52, filters=14819, revisions=(6968,useless=1006), ccks=23447775, wck=3.25, mem=50M954
9.29/6.21	    decisions=3058, wrong=1330, backtracks=11, failedAssignments=1330, nogoods=643
9.29/6.21	    nFilterCalls=39920, avgTableProportion=0.4630135270541082, avgTableSize=0.9260270541082164
9.29/6.21	    
9.66/6.51	    num=28, depth=0..20, filters=15793, revisions=(7691,useless=1054), ccks=26429897, wck=3.551, mem=63M441
9.66/6.51	    decisions=3347, wrong=1474, backtracks=30, failedAssignments=1474, nogoods=648
9.66/6.51	    nFilterCalls=41528, avgTableProportion=0.46359083028318243, avgTableSize=0.9271816605663649
9.66/6.51	    
10.32/7.11	    num=29, depth=22..35, filters=17591, revisions=(8558,useless=1199), ccks=32146747, wck=4.155, mem=96M742
10.32/7.11	    decisions=3698, wrong=1632, backtracks=31, failedAssignments=1632, nogoods=787
10.32/7.11	    nFilterCalls=47937, avgTableProportion=0.46298266474748107, avgTableSize=0.9259653294949621
10.32/7.11	    
10.32/7.17	    num=30, depth=0..0, filters=17765, revisions=(8732,useless=1199), ccks=32628727, wck=4.211, mem=96M742
10.32/7.17	    decisions=4046, wrong=1806, backtracks=31, failedAssignments=1806, nogoods=787
10.32/7.17	    nFilterCalls=47937, avgTableProportion=0.46298266474748107, avgTableSize=0.9259653294949621
10.32/7.17	    
10.73/7.56	    num=31, depth=0..35, filters=18489, revisions=(9235,useless=1239), ccks=36583206, wck=4.602, mem=117M555
10.73/7.56	    decisions=4463, wrong=1997, backtracks=31, failedAssignments=1997, nogoods=804
10.73/7.56	    nFilterCalls=49502, avgTableProportion=0.46364793341683164, avgTableSize=0.9272958668336633
10.73/7.56	    
11.39/8.12	    num=32, depth=0..77, filters=20529, revisions=(10190,useless=1389), ccks=41858224, wck=5.159, mem=146M693
11.39/8.12	    decisions=4941, wrong=2208, backtracks=52, failedAssignments=2208, nogoods=903
11.39/8.12	    nFilterCalls=53253, avgTableProportion=0.46019003624208965, avgTableSize=0.9203800724841793
11.39/8.12	    
11.96/8.61	    num=33, depth=0..48, filters=21699, revisions=(10785,useless=1429), ccks=46768405, wck=5.649, mem=171M669
11.96/8.61	    decisions=5453, wrong=2440, backtracks=52, failedAssignments=2440, nogoods=1129
11.96/8.61	    nFilterCalls=57395, avgTableProportion=0.4601271887795104, avgTableSize=0.9202543775590208
11.96/8.61	    
12.68/9.39	    num=34, depth=0..35, filters=23818, revisions=(12282,useless=1533), ccks=54724203, wck=6.429, mem=204M970
12.68/9.39	    decisions=5993, wrong=2695, backtracks=88, failedAssignments=2695, nogoods=1151
12.68/9.39	    nFilterCalls=61043, avgTableProportion=0.46161722064774013, avgTableSize=0.9232344412954803
12.68/9.39	    
13.22/9.87	    num=35, depth=25..30, filters=24937, revisions=(13447,useless=1809), ccks=59650607, wck=6.91, mem=221M620
13.22/9.87	    decisions=6584, wrong=2976, backtracks=95, failedAssignments=2976, nogoods=1395
13.22/9.87	    nFilterCalls=62293, avgTableProportion=0.4623151879023325, avgTableSize=0.924630375804665
13.22/9.87	    
14.28/10.80	    num=36, depth=0..70, filters=27971, revisions=(15423,useless=2069), ccks=68723524, wck=7.839, mem=59M652
14.28/10.80	    decisions=7268, wrong=3285, backtracks=138, failedAssignments=3285, nogoods=1468
14.28/10.80	    nFilterCalls=67867, avgTableProportion=0.4624265106752914, avgTableSize=0.9248530213505828
14.28/10.80	    
14.82/11.33	    num=37, depth=0..32, filters=29539, revisions=(16968,useless=2294), ccks=74134741, wck=8.368, mem=76M472
14.82/11.33	    decisions=7980, wrong=3625, backtracks=154, failedAssignments=3625, nogoods=1650
14.82/11.33	    nFilterCalls=69211, avgTableProportion=0.46280938001184785, avgTableSize=0.9256187600236957
14.82/11.33	    
15.33/11.84	    num=38, depth=0..33, filters=30912, revisions=(18399,useless=2607), ccks=79343528, wck=8.875, mem=97M497
15.33/11.84	    decisions=8761, wrong=3999, backtracks=162, failedAssignments=3999, nogoods=1969
15.33/11.84	    nFilterCalls=70670, avgTableProportion=0.46329418423659263, avgTableSize=0.9265883684731853
15.33/11.84	    
16.24/12.75	    num=39, depth=0..21, filters=33277, revisions=(20466,useless=2723), ccks=88992747, wck=9.79, mem=126M932
16.24/12.75	    decisions=9586, wrong=4410, backtracks=231, failedAssignments=4410, nogoods=2016
16.24/12.75	    nFilterCalls=72686, avgTableProportion=0.4641540324133946, avgTableSize=0.9283080648267892
16.24/12.75	    
17.60/14.05	    num=40, depth=21..62, filters=36160, revisions=(21654,useless=2871), ccks=101862488, wck=11.09, mem=215M236
17.60/14.05	    decisions=10550, wrong=4862, backtracks=247, failedAssignments=4862, nogoods=2228
17.60/14.05	    nFilterCalls=84475, avgTableProportion=0.44307191476768276, avgTableSize=0.8861438295353655
17.60/14.05	    
18.87/15.23	    num=41, depth=0..25, filters=38845, revisions=(23951,useless=3022), ccks=114239277, wck=12.27, mem=253M81
18.87/15.23	    decisions=11554, wrong=5359, backtracks=322, failedAssignments=5359, nogoods=2382
18.87/15.23	    nFilterCalls=87254, avgTableProportion=0.4447647099273386, avgTableSize=0.8895294198546772
18.87/15.23	    
19.98/16.24	    num=42, depth=24..69, filters=45476, revisions=(26848,useless=3947), ccks=122758771, wck=13.281, mem=135M358
19.98/16.24	    decisions=12709, wrong=5906, backtracks=421, failedAssignments=5906, nogoods=2885
19.98/16.24	    nFilterCalls=101851, avgTableProportion=0.4447084466524629, avgTableSize=0.8894168933049258
19.98/16.24	    
20.96/17.19	    num=43, depth=0..55, filters=49723, revisions=(29375,useless=4195), ccks=131360635, wck=14.23, mem=191M988
20.96/17.19	    decisions=13968, wrong=6508, backtracks=440, failedAssignments=6508, nogoods=3347
20.96/17.19	    nFilterCalls=116274, avgTableProportion=0.44698728864578496, avgTableSize=0.8939745772915699
20.96/17.19	    
22.90/19.08	    num=44, depth=0..67, filters=55475, revisions=(32956,useless=4622), ccks=150555666, wck=16.122, mem=273M787
22.90/19.08	    decisions=15359, wrong=7170, backtracks=531, failedAssignments=7170, nogoods=3456
22.90/19.08	    nFilterCalls=127824, avgTableProportion=0.4484251783702591, avgTableSize=0.8968503567405182
22.90/19.08	    
23.59/19.70	    num=45, depth=33..49, filters=57274, revisions=(34203,useless=4703), ccks=156833124, wck=16.741, mem=305M249
23.59/19.70	    decisions=16863, wrong=7898, backtracks=536, failedAssignments=7898, nogoods=3514
23.59/19.70	    nFilterCalls=130934, avgTableProportion=0.449043029312478, avgTableSize=0.898086058624956
23.59/19.70	    
24.40/20.51	    num=46, depth=34..93, filters=60409, revisions=(36128,useless=4990), ccks=164637480, wck=17.549, mem=343M2
24.40/20.51	    decisions=18535, wrong=8699, backtracks=560, failedAssignments=8699, nogoods=3847
24.40/20.51	    nFilterCalls=138415, avgTableProportion=0.4488061265036304, avgTableSize=0.8976122530072608
24.40/20.51	    
26.25/22.38	    num=47, depth=0..59, filters=69043, revisions=(41251,useless=5904), ccks=181415811, wck=19.416, mem=173M646
26.25/22.38	    decisions=20331, wrong=9580, backtracks=648, failedAssignments=9580, nogoods=3872
26.25/22.38	    nFilterCalls=163739, avgTableProportion=0.44746211959276655, avgTableSize=0.8949242391855331
26.25/22.38	    
27.84/23.97	    num=48, depth=41..56, filters=75111, revisions=(45172,useless=6898), ccks=196068065, wck=21.013, mem=274M435
27.84/23.97	    decisions=22317, wrong=10550, backtracks=679, failedAssignments=10550, nogoods=4398
27.84/23.97	    nFilterCalls=180918, avgTableProportion=0.44795984921345583, avgTableSize=0.8959196984269117
27.84/23.97	    
28.74/24.83	    num=49, depth=0..41, filters=78502, revisions=(48865,useless=7671), ccks=204240350, wck=21.872, mem=324M829
28.74/24.83	    decisions=24457, wrong=11617, backtracks=716, failedAssignments=11617, nogoods=4403
28.74/24.83	    nFilterCalls=183333, avgTableProportion=0.44830990601801096, avgTableSize=0.8966198120360219
28.74/24.83	    
30.10/26.15	    num=50, depth=38..86, filters=85211, revisions=(52863,useless=9542), ccks=216193644, wck=23.185, mem=110M202
30.10/26.15	    decisions=26887, wrong=12790, backtracks=749, failedAssignments=12790, nogoods=4567
30.10/26.15	    nFilterCalls=206200, avgTableProportion=0.4395198836081474, avgTableSize=0.8790397672162948
30.10/26.15	    
31.30/27.34	    num=51, depth=0..62, filters=89619, revisions=(57565,useless=11028), ccks=228072629, wck=24.384, mem=163M670
31.30/27.34	    decisions=29529, wrong=14081, backtracks=768, failedAssignments=14081, nogoods=4683
31.30/27.34	    nFilterCalls=212260, avgTableProportion=0.4399510034862904, avgTableSize=0.8799020069725808
31.30/27.34	    
32.40/28.45	    num=52, depth=0..67, filters=95819, revisions=(61477,useless=12733), ccks=238563251, wck=25.494, mem=226M50
32.40/28.45	    decisions=32434, wrong=15501, backtracks=835, failedAssignments=15501, nogoods=4732
32.40/28.45	    nFilterCalls=236284, avgTableProportion=0.41760127643005873, avgTableSize=0.8352025528601175
32.40/28.45	    
39.76/35.75	    num=53, depth=0..62, filters=113816, revisions=(72262,useless=16800), ccks=310677955, wck=32.792, mem=210M328
39.76/35.75	    decisions=35620, wrong=17063, backtracks=1351, failedAssignments=17063, nogoods=5329
39.76/35.75	    nFilterCalls=292662, avgTableProportion=0.42509789449945673, avgTableSize=0.8501957889989135
39.76/35.75	    
41.17/37.15	    num=54, depth=43..46, filters=121690, revisions=(78056,useless=18673), ccks=321244657, wck=34.187, mem=372M693
41.17/37.15	    decisions=39100, wrong=18781, backtracks=1357, failedAssignments=18781, nogoods=5381
41.17/37.15	    nFilterCalls=321297, avgTableProportion=0.4216674914487219, avgTableSize=0.8433349828974438
41.17/37.15	    
42.91/38.80	    num=55, depth=0..64, filters=129770, revisions=(81804,useless=18911), ccks=335591759, wck=35.842, mem=91M764
42.91/38.80	    decisions=42939, wrong=20671, backtracks=1409, failedAssignments=20671, nogoods=5627
42.91/38.80	    nFilterCalls=352801, avgTableProportion=0.4139812528876052, avgTableSize=0.8279625057752104
42.91/38.80	    
44.41/40.39	    num=56, depth=0..62, filters=139143, revisions=(88903,useless=20968), ccks=349033012, wck=37.433, mem=244M496
44.41/40.39	    decisions=47155, wrong=22750, backtracks=1435, failedAssignments=22750, nogoods=6037
44.41/40.39	    nFilterCalls=384660, avgTableProportion=0.4106379659959445, avgTableSize=0.821275931991889
44.41/40.39	    
45.72/41.61	    num=57, depth=0..120, filters=149609, revisions=(95134,useless=23315), ccks=358412269, wck=38.647, mem=375M409
45.72/41.61	    decisions=51848, wrong=25037, backtracks=1462, failedAssignments=25037, nogoods=6725
45.72/41.61	    nFilterCalls=414322, avgTableProportion=0.40965239596256053, avgTableSize=0.8193047919251211
45.72/41.61	    
47.81/43.79	    num=58, depth=0..64, filters=162707, revisions=(103900,useless=25660), ccks=376916464, wck=40.834, mem=593M598
47.81/43.79	    decisions=56943, wrong=27553, backtracks=1512, failedAssignments=27553, nogoods=6848
47.81/43.79	    nFilterCalls=457326, avgTableProportion=0.4047736188189607, avgTableSize=0.8095472376379214
47.81/43.79	    
49.76/45.68	    num=59, depth=0..57, filters=174397, revisions=(112890,useless=28199), ccks=391326914, wck=42.721, mem=269M903
49.76/45.68	    decisions=62529, wrong=30321, backtracks=1562, failedAssignments=30321, nogoods=7116
49.76/45.68	    nFilterCalls=496366, avgTableProportion=0.4033767421620337, avgTableSize=0.8067534843240673
49.76/45.68	    
53.51/49.39	    num=60, depth=0..133, filters=218867, revisions=(135257,useless=39122), ccks=415943412, wck=46.434, mem=111M211
53.51/49.39	    decisions=68748, wrong=33365, backtracks=1652, failedAssignments=33365, nogoods=7482
53.51/49.39	    nFilterCalls=665434, avgTableProportion=0.4066496451939636, avgTableSize=0.8132992903879273
53.51/49.39	    
55.15/50.93	    num=61, depth=0..54, filters=228831, revisions=(141384,useless=40553), ccks=428416350, wck=47.965, mem=233M236
55.15/50.93	    decisions=75487, wrong=36714, backtracks=1668, failedAssignments=36714, nogoods=7754
55.15/50.93	    nFilterCalls=703884, avgTableProportion=0.40571528831455184, avgTableSize=0.8114305766291037
55.15/50.93	    
59.29/55.05	    num=62, depth=0..58, filters=293492, revisions=(168163,useless=56114), ccks=440953740, wck=52.092, mem=455M953
59.29/55.05	    decisions=82902, wrong=40398, backtracks=1679, failedAssignments=40398, nogoods=7933
59.29/55.05	    nFilterCalls=973529, avgTableProportion=0.4206397549533707, avgTableSize=0.8412795099067414
59.29/55.05	    
61.19/56.91	    num=63, depth=0..78, filters=310413, revisions=(180973,useless=60170), ccks=452893181, wck=53.947, mem=242M966
61.19/56.91	    decisions=91073, wrong=44450, backtracks=1700, failedAssignments=44450, nogoods=8197
61.19/56.91	    nFilterCalls=1034989, avgTableProportion=0.4147261468479375, avgTableSize=0.829452293695875
61.19/56.91	    
63.30/59.06	    num=64, depth=69..71, filters=329913, revisions=(195064,useless=65920), ccks=465701659, wck=56.099, mem=145M3
63.30/59.06	    decisions=100057, wrong=48907, backtracks=1712, failedAssignments=48907, nogoods=8605
63.30/59.06	    nFilterCalls=1110953, avgTableProportion=0.4103233890182573, avgTableSize=0.8206467780365146
63.30/59.06	    
65.10/60.86	    num=65, depth=0..82, filters=346705, revisions=(201288,useless=66156), ccks=478302183, wck=57.902, mem=411M61
65.10/60.86	    decisions=109932, wrong=53810, backtracks=1761, failedAssignments=53810, nogoods=9034
65.10/60.86	    nFilterCalls=1185238, avgTableProportion=0.4044061192773097, avgTableSize=0.8088122385546194
65.10/60.86	    
70.27/66.00	    num=66, depth=0..81, filters=366283, revisions=(220789,useless=71777), ccks=529923744, wck=63.044, mem=151M130
70.27/66.00	    decisions=120797, wrong=59204, backtracks=2007, failedAssignments=59204, nogoods=9625
70.27/66.00	    nFilterCalls=1211737, avgTableProportion=0.4041722750068703, avgTableSize=0.8083445500137406
70.27/66.00	    
73.17/68.80	    num=67, depth=46..127, filters=390209, revisions=(240353,useless=80529), ccks=547584254, wck=65.845, mem=199M594
73.17/68.80	    decisions=132788, wrong=65137, backtracks=2057, failedAssignments=65137, nogoods=9919
73.17/68.80	    nFilterCalls=1293818, avgTableProportion=0.40132692542536896, avgTableSize=0.8026538508507379
73.17/68.80	    
75.18/70.86	    num=68, depth=0..91, filters=411615, revisions=(249072,useless=80855), ccks=562392554, wck=67.896, mem=456M907
75.18/70.86	    decisions=145915, wrong=71663, backtracks=2099, failedAssignments=71663, nogoods=10349
75.18/70.86	    nFilterCalls=1386077, avgTableProportion=0.3945844999953105, avgTableSize=0.789168999990621
75.18/70.86	    
80.05/75.61	    num=69, depth=45..142, filters=449333, revisions=(270816,useless=88472), ccks=606939082, wck=72.652, mem=270M62
80.05/75.61	    decisions=160414, wrong=78842, backtracks=2172, failedAssignments=78842, nogoods=10836
80.05/75.61	    nFilterCalls=1479063, avgTableProportion=0.3892768597416067, avgTableSize=0.7785537194832134
80.05/75.61	    
84.06/79.64	    num=70, depth=0..146, filters=494022, revisions=(300958,useless=98969), ccks=630532907, wck=76.682, mem=93M352
84.06/79.64	    decisions=176339, wrong=86739, backtracks=2206, failedAssignments=86739, nogoods=11754
84.06/79.64	    nFilterCalls=1618009, avgTableProportion=0.3924774213246033, avgTableSize=0.7849548426492066
84.06/79.64	    
86.26/81.87	    num=71, depth=0..146, filters=516748, revisions=(316915,useless=102399), ccks=648531718, wck=78.906, mem=210M214
86.26/81.87	    decisions=193848, wrong=95426, backtracks=2247, failedAssignments=95426, nogoods=12189
86.26/81.87	    nFilterCalls=1691209, avgTableProportion=0.38703554675974405, avgTableSize=0.7740710935194881
86.26/81.87	    
90.01/85.50	    num=72, depth=49..98, filters=561591, revisions=(350577,useless=115783), ccks=671545572, wck=82.544, mem=356M992
90.01/85.50	    decisions=213022, wrong=104981, backtracks=2283, failedAssignments=104981, nogoods=12282
90.01/85.50	    nFilterCalls=1851754, avgTableProportion=0.3785967250509517, avgTableSize=0.7571934501019034
90.01/85.50	    
92.93/88.42	    num=73, depth=0..99, filters=596494, revisions=(364531,useless=117922), ccks=686651283, wck=85.459, mem=154M453
92.93/88.42	    decisions=234106, wrong=115492, backtracks=2339, failedAssignments=115492, nogoods=12470
92.93/88.42	    nFilterCalls=2012215, avgTableProportion=0.37460261453174737, avgTableSize=0.7492052290634947
92.93/88.42	    
95.54/91.08	    num=74, depth=0..102, filters=615909, revisions=(383293,useless=120847), ccks=709314085, wck=88.124, mem=346M121
95.54/91.08	    decisions=257312, wrong=127054, backtracks=2392, failedAssignments=127054, nogoods=13035
95.54/91.08	    nFilterCalls=2030513, avgTableProportion=0.3735750522158686, avgTableSize=0.7471501044317372
95.54/91.08	    
104.66/100.08	    num=75, depth=0..154, filters=665703, revisions=(425787,useless=133112), ccks=798998499, wck=97.117, mem=358M420
104.66/100.08	    decisions=282831, wrong=139773, backtracks=3032, failedAssignments=139772, nogoods=14208
104.66/100.08	    nFilterCalls=2120825, avgTableProportion=0.3706222814235026, avgTableSize=0.7412445628470052
104.66/100.08	    
120.69/116.08	    num=76, depth=0..100, filters=739524, revisions=(482042,useless=154338), ccks=954957376, wck=113.116, mem=380M258
120.69/116.08	    decisions=310885, wrong=153763, backtracks=3904, failedAssignments=153762, nogoods=14583
120.69/116.08	    nFilterCalls=2358192, avgTableProportion=0.36281502948021194, avgTableSize=0.7256300589604239
120.69/116.08	    
176.24/171.54	    num=77, depth=0..115, filters=894015, revisions=(587051,useless=187437), ccks=1554141221, wck=168.577, mem=146M6
176.24/171.54	    decisions=341749, wrong=169152, backtracks=6153, failedAssignments=169151, nogoods=15507
176.24/171.54	    nFilterCalls=2740036, avgTableProportion=0.3642138278475173, avgTableSize=0.7284276556950346
176.24/171.54	    
184.77/180.04	    num=78, depth=0..93, filters=944017, revisions=(641182,useless=204427), ccks=1632510324, wck=177.082, mem=72M383
184.77/180.04	    decisions=375690, wrong=186080, backtracks=6641, failedAssignments=186079, nogoods=16184
184.77/180.04	    nFilterCalls=2813393, avgTableProportion=0.363633342373426, avgTableSize=0.727266684746852
184.77/180.04	    
199.49/194.76	    num=79, depth=0..93, filters=1178761, revisions=(775428,useless=274367), ccks=1720862599, wck=191.804, mem=225M169
199.49/194.76	    decisions=413003, wrong=204702, backtracks=7049, failedAssignments=204700, nogoods=16576
199.49/194.76	    nFilterCalls=3687089, avgTableProportion=0.36893006922263066, avgTableSize=0.7378601384452613
199.49/194.76	    
206.12/201.38	    num=80, depth=0..87, filters=1249042, revisions=(838968,useless=294765), ccks=1757714637, wck=198.421, mem=235M540
206.12/201.38	    decisions=454016, wrong=225186, backtracks=7158, failedAssignments=225184, nogoods=16985
206.12/201.38	    nFilterCalls=3915227, avgTableProportion=0.3666231868548107, avgTableSize=0.7332463737096214
206.12/201.38	    
211.87/207.09	    num=81, depth=0..117, filters=1357546, revisions=(918273,useless=331827), ccks=1784317778, wck=204.129, mem=223M931
211.87/207.09	    decisions=499182, wrong=247724, backtracks=7330, failedAssignments=247716, nogoods=17248
211.87/207.09	    nFilterCalls=4336514, avgTableProportion=0.356273956454424, avgTableSize=0.712547912908848
211.87/207.09	    
222.80/217.96	    num=82, depth=0..76, filters=1462622, revisions=(1004354,useless=363339), ccks=1861791195, wck=215.003, mem=169M986
222.80/217.96	    decisions=548825, wrong=272509, backtracks=7397, failedAssignments=272501, nogoods=17400
222.80/217.96	    nFilterCalls=4661755, avgTableProportion=0.35275255778135056, avgTableSize=0.7055051155627011
222.80/217.96	    
251.62/246.65	    num=83, depth=0..89, filters=2002750, revisions=(1285881,useless=529947), ccks=2008958868, wck=243.694, mem=87M833
251.62/246.65	    decisions=603517, wrong=299819, backtracks=7846, failedAssignments=299765, nogoods=17819
251.62/246.65	    nFilterCalls=6702832, avgTableProportion=0.37462351734311705, avgTableSize=0.7492470346862341
251.62/246.65	    
332.91/327.87	    num=84, depth=0..82, filters=3108428, revisions=(1662346,useless=700459), ccks=2808491196, wck=324.913, mem=97M831
332.91/327.87	    decisions=663581, wrong=329812, backtracks=8199, failedAssignments=329755, nogoods=18025
332.91/327.87	    nFilterCalls=8765051, avgTableProportion=0.34902552192793856, avgTableSize=0.6980510438558771
332.91/327.87	    
343.96/338.62	    num=85, depth=0..104, filters=3223974, revisions=(1765889,useless=736034), ccks=2864794491, wck=335.664, mem=67M910
343.96/338.62	    decisions=729587, wrong=362801, backtracks=8335, failedAssignments=362744, nogoods=18640
343.96/338.62	    nFilterCalls=9117673, avgTableProportion=0.3493909575392756, avgTableSize=0.6987819150785513
343.96/338.62	    
359.05/353.66	    num=86, depth=0..108, filters=3360023, revisions=(1884463,useless=782884), ccks=2986394921, wck=350.7, mem=126M491
359.05/353.66	    decisions=802272, wrong=399105, backtracks=9249, failedAssignments=399032, nogoods=18776
359.05/353.66	    nFilterCalls=9504084, avgTableProportion=0.3487910039515644, avgTableSize=0.6975820079031289
359.05/353.66	    
381.87/376.31	    num=87, depth=71..112, filters=3567920, revisions=(2025387,useless=841428), ccks=3160295096, wck=373.348, mem=133M139
381.87/376.31	    decisions=882192, wrong=439023, backtracks=9906, failedAssignments=438949, nogoods=19045
381.87/376.31	    nFilterCalls=10232814, avgTableProportion=0.34585896899914337, avgTableSize=0.6917179379982867
381.87/376.31	    
415.51/409.71	    num=88, depth=67..73, filters=4567517, revisions=(2460325,useless=1130295), ccks=3304564777, wck=406.748, mem=58M803
415.51/409.71	    decisions=971904, wrong=483844, backtracks=10828, failedAssignments=482858, nogoods=19067
415.51/409.71	    nFilterCalls=12320620, avgTableProportion=0.3482368176276843, avgTableSize=0.6964736352553687
415.51/409.71	    
449.61/443.67	    num=89, depth=0..94, filters=5642284, revisions=(2757531,useless=1264696), ccks=3520495841, wck=440.712, mem=104M222
449.61/443.67	    decisions=1069573, wrong=532649, backtracks=11483, failedAssignments=531158, nogoods=19251
449.61/443.67	    nFilterCalls=14193887, avgTableProportion=0.35191751914045816, avgTableSize=0.7038350382809163
449.61/443.67	    
473.64/467.59	    num=90, depth=0..76, filters=6122163, revisions=(2950587,useless=1360534), ccks=3697471771, wck=464.627, mem=66M486
473.64/467.59	    decisions=1175908, wrong=585782, backtracks=12194, failedAssignments=584288, nogoods=19630
473.64/467.59	    nFilterCalls=15345873, avgTableProportion=0.34118085038237966, avgTableSize=0.6823617007647593
473.64/467.59	    
490.58/484.32	    num=91, depth=0..82, filters=6325284, revisions=(3130310,useless=1420987), ccks=3783831008, wck=481.357, mem=105M531
490.58/484.32	    decisions=1292857, wrong=644225, backtracks=12362, failedAssignments=642731, nogoods=19987
490.58/484.32	    nFilterCalls=16025711, avgTableProportion=0.3387745791746775, avgTableSize=0.677549158349355
490.58/484.32	    
502.58/496.26	    num=92, depth=58..84, filters=6473918, revisions=(3238555,useless=1444503), ccks=3865556680, wck=493.298, mem=79M692
502.58/496.26	    decisions=1421494, wrong=708512, backtracks=12771, failedAssignments=707018, nogoods=21070
502.58/496.26	    nFilterCalls=16345713, avgTableProportion=0.3398352522156727, avgTableSize=0.6796705044313454
502.58/496.26	    
519.39/512.99	    num=93, depth=0..100, filters=6755836, revisions=(3476970,useless=1527639), ccks=3963133624, wck=510.027, mem=71M127
519.39/512.99	    decisions=1562997, wrong=779228, backtracks=13117, failedAssignments=777734, nogoods=21710
519.39/512.99	    nFilterCalls=17160810, avgTableProportion=0.34128648356342156, avgTableSize=0.6825729671268431
519.39/512.99	    
532.81/526.25	    num=94, depth=0..111, filters=6963675, revisions=(3649368,useless=1580867), ccks=4045899631, wck=523.291, mem=76M700
532.81/526.25	    decisions=1718644, wrong=857015, backtracks=13714, failedAssignments=855521, nogoods=21723
532.81/526.25	    nFilterCalls=17748412, avgTableProportion=0.339655232254018, avgTableSize=0.679310464508036
532.81/526.25	    
808.56/801.64	    num=95, depth=0..110, filters=9050720, revisions=(4409939,useless=1850321), ccks=6907926479, wck=798.676, mem=69M523
808.56/801.64	    decisions=1890006, wrong=942658, backtracks=14938, failedAssignments=941087, nogoods=22413
808.56/801.64	    nFilterCalls=22271805, avgTableProportion=0.3262346720438689, avgTableSize=0.6524693440877378
808.56/801.64	    
832.10/825.03	    num=96, depth=63..117, filters=9305443, revisions=(4699278,useless=1948161), ccks=7082534950, wck=822.065, mem=86M51
832.10/825.03	    decisions=2078316, wrong=1036781, backtracks=15192, failedAssignments=1035210, nogoods=22710
832.10/825.03	    nFilterCalls=22631156, avgTableProportion=0.3267471621865008, avgTableSize=0.6534943243730016
832.10/825.03	    
866.54/859.23	    num=97, depth=0..95, filters=9734644, revisions=(5034416,useless=2073011), ccks=7248454584, wck=856.268, mem=79M694
866.54/859.23	    decisions=2285458, wrong=1140318, backtracks=15537, failedAssignments=1138745, nogoods=23032
866.54/859.23	    nFilterCalls=24119405, avgTableProportion=0.3249091136369243, avgTableSize=0.6498182272738486
866.54/859.23	    
915.17/907.58	    num=98, depth=57..102, filters=10345303, revisions=(5456851,useless=2249458), ccks=7492331601, wck=904.615, mem=112M234
915.17/907.58	    decisions=2513314, wrong=1254217, backtracks=16648, failedAssignments=1252634, nogoods=23470
915.17/907.58	    nFilterCalls=26255939, avgTableProportion=0.3291455887370853, avgTableSize=0.6582911774741707
915.17/907.58	    
1036.54/1028.30	    num=99, depth=62..106, filters=12677764, revisions=(6222303,useless=2605151), ccks=8287741250, wck=1025.338, mem=99M437
1036.54/1028.30	    decisions=2765699, wrong=1380377, backtracks=18483, failedAssignments=1377912, nogoods=24475
1036.54/1028.30	    nFilterCalls=31369286, avgTableProportion=0.33314739774440516, avgTableSize=0.6662947954888103
1036.54/1028.30	    
1075.81/1067.35	    num=100, depth=0..114, filters=13154089, revisions=(6626350,useless=2743890), ccks=8491869890, wck=1064.395, mem=108M446
1075.81/1067.35	    decisions=3041378, wrong=1518183, backtracks=18959, failedAssignments=1515718, nogoods=25315
1075.81/1067.35	    nFilterCalls=32847575, avgTableProportion=0.3308209814575353, avgTableSize=0.6616419629150706
1075.81/1067.35	    
1104.86/1096.24	    num=101, depth=0..167, filters=13793234, revisions=(7091207,useless=2939484), ccks=8665436223, wck=1093.278, mem=97M964
1104.86/1096.24	    decisions=3345295, wrong=1670087, backtracks=21975, failedAssignments=1667304, nogoods=26068
1104.86/1096.24	    nFilterCalls=34589676, avgTableProportion=0.32592430180612275, avgTableSize=0.6518486036122455
1104.86/1096.24	    
1213.03/1204.18	    num=102, depth=0..96, filters=14656572, revisions=(7791826,useless=3222649), ccks=9627021849, wck=1201.22, mem=82M43
1213.03/1204.18	    decisions=3678858, wrong=1836833, backtracks=22958, failedAssignments=1834049, nogoods=26773
1213.03/1204.18	    nFilterCalls=36252375, avgTableProportion=0.327479303080143, avgTableSize=0.654958606160286
1213.03/1204.18	    
1280.27/1270.91	    num=103, depth=0..132, filters=15559186, revisions=(8414804,useless=3439456), ccks=10007598694, wck=1267.95, mem=104M937
1280.27/1270.91	    decisions=4045836, wrong=2020287, backtracks=24015, failedAssignments=2017468, nogoods=27055
1280.27/1270.91	    nFilterCalls=38961619, avgTableProportion=0.3239895652180162, avgTableSize=0.6479791304360324
1280.27/1270.91	    
1383.87/1374.37	    num=104, depth=0..130, filters=16153235, revisions=(8918996,useless=3578547), ccks=11004984974, wck=1371.412, mem=114M747
1383.87/1374.37	    decisions=4449438, wrong=2222048, backtracks=26754, failedAssignments=2219229, nogoods=27836
1383.87/1374.37	    nFilterCalls=40006210, avgTableProportion=0.3208696474872276, avgTableSize=0.6417392949744553
1383.87/1374.37	    
1448.37/1438.65	    num=105, depth=0..136, filters=17073955, revisions=(9691483,useless=3888005), ccks=11565520181, wck=1435.687, mem=99M971
1448.37/1438.65	    decisions=4893432, wrong=2443993, backtracks=33790, failedAssignments=2441167, nogoods=28315
1448.37/1438.65	    nFilterCalls=42578046, avgTableProportion=0.3101485446279052, avgTableSize=0.6202970892558104
1448.37/1438.65	    
1560.06/1549.81	    num=106, depth=71..121, filters=18830252, revisions=(10737566,useless=4360334), ccks=12296950506, wck=1546.847, mem=100M250
1560.06/1549.81	    decisions=5382317, wrong=2688388, backtracks=37692, failedAssignments=2685298, nogoods=29271
1560.06/1549.81	    nFilterCalls=48250739, avgTableProportion=0.30538636931550417, avgTableSize=0.6107727386310083
1560.06/1549.81	    
2108.36/2097.27	    num=107, depth=83..123, filters=28593240, revisions=(15467186,useless=7305972), ccks=16963472215, wck=2094.312, mem=112M540
2108.36/2097.27	    decisions=5923098, wrong=2958735, backtracks=40909, failedAssignments=2953843, nogoods=30190
2108.36/2097.27	    nFilterCalls=75636056, avgTableProportion=0.29263359527895005, avgTableSize=0.5852671905579001
2108.36/2097.27	    
2164.51/2153.02	    num=108, depth=37..113, filters=29346748, revisions=(16373029,useless=7615977), ccks=17254763823, wck=2150.059, mem=95M677
2164.51/2153.02	    decisions=6513983, wrong=3254134, backtracks=41777, failedAssignments=3249242, nogoods=30347
2164.51/2153.02	    nFilterCalls=76472411, avgTableProportion=0.29397250859528934, avgTableSize=0.5879450171905787
2164.51/2153.02	    
2358.90/2347.09	    num=109, depth=0..119, filters=33283605, revisions=(18165787,useless=8488408), ccks=18896699420, wck=2344.126, mem=66M582
2358.90/2347.09	    decisions=7164088, wrong=3579142, backtracks=45178, failedAssignments=3574181, nogoods=31422
2358.90/2347.09	    nFilterCalls=86375283, avgTableProportion=0.28627486522967455, avgTableSize=0.5725497304593491
2358.90/2347.09	    
2520.02/2507.70	
2520.02/2507.70	s UNKNOWN

Verifier Data


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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391032-1568380515/watcher-4391032-1568380515 -o /tmp/evaluation-result-4391032-1568380515/solver-4391032-1568380515 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568380474-29470 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391032-1568380515.xml -cm 

running on 4 cores: 1,3,5,7

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

solver pid=29498, runsolver pid=29491

[startup+0.100156 s]*
/proc/loadavg: 0.00 0.01 0.05 2/200 29501
/proc/meminfo: memFree=24145036/32770624 swapFree=67108848/67108860
[pid=29498] ppid=29491 vsize=10648 memory=688 CPUtime=0 cores=1,3,5,7
/proc/29498/stat : 29498 (java) D 29491 29498 29438 0 -1 1077944320 321 0 0 0 0 0 0 0 20 0 1 0 413988924 10903552 172 33554432000 4194304 4196468 140735848649520 140735848632136 140484094711157 0 0 4096 0 18446744072101584420 0 0 17 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
/proc/29498/statm: 2662 172 139 1 0 84 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 10648 KiB
Current children cumulated memory: 688 KiB

[startup+0.209393 s]*
/proc/loadavg: 0.00 0.01 0.05 2/202 29503
/proc/meminfo: memFree=24142652/32770624 swapFree=67108848/67108860
[pid=29498] ppid=29491 vsize=111596 memory=5604 CPUtime=0 cores=1,3,5,7
/proc/29498/stat : 29498 (java) S 29491 29498 29438 0 -1 1077944320 1725 0 0 0 0 0 0 0 20 0 2 0 413988924 114274304 1401 33554432000 4194304 4196468 140735848649520 140735848632064 140484102033143 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
/proc/29498/statm: 27899 1401 1062 1 0 16810 0
[pid=29498/tid=29503] ppid=29491 vsize=111596 memory=7022364594140610616 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29503/stat : 29503 (java) D 29491 29498 29438 0 -1 1077944384 434 0 0 0 0 0 0 0 20 0 2 0 413988937 114274304 1401 33554432000 4194304 4196468 140735848649520 140484106273000 140484094711157 0 4 0 16784584 18446744072101584420 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 111596 KiB
Current children cumulated memory: 5604 KiB

[startup+0.309694 s]*
/proc/loadavg: 0.00 0.01 0.05 4/216 29517
/proc/meminfo: memFree=24122320/32770624 swapFree=67108848/67108860
[pid=29498] ppid=29491 vsize=10260324 memory=20316 CPUtime=0.04 cores=1,3,5,7
/proc/29498/stat : 29498 (java) S 29491 29498 29438 0 -1 1077944320 3987 0 0 0 3 1 0 0 20 0 9 0 413988924 10506571776 5079 33554432000 4194304 4196468 140735848649520 140735848632064 140484102033143 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
/proc/29498/statm: 2565081 5079 2156 1 0 2527622 0
[pid=29498/tid=29503] ppid=29491 vsize=10260324 memory=7022364594140610616 CPUtime=0.03 cores=1,3,5,7
/proc/29498/task/29503/stat : 29503 (java) D 29491 29498 29438 0 -1 1077944384 2635 0 0 0 2 1 0 0 20 0 9 0 413988937 10506571776 5079 33554432000 4194304 4196468 140735848649520 140484106268456 140484094711157 0 4 0 16800971 18446744072101584420 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29508] ppid=29491 vsize=10260324 memory=365 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29508/stat : 29508 (java) S 29491 29498 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 413988951 10506571776 5079 33554432000 4194304 4196468 140735848649520 140484028107664 140484102043349 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29509] ppid=29491 vsize=10260324 memory=3544527266057369248 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29509/stat : 29509 (java) S 29491 29498 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 413988951 10506571776 5079 33554432000 4194304 4196468 140735848649520 140484027054864 140484102043349 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29510] ppid=29491 vsize=10260324 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29510/stat : 29510 (java) S 29491 29498 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 413988951 10506571776 5079 33554432000 4194304 4196468 140735848649520 140484026002576 140484102043349 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29511] ppid=29491 vsize=10260324 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29511/stat : 29511 (java) S 29491 29498 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 413988951 10506571776 5079 33554432000 4194304 4196468 140735848649520 140484024949776 140484102043349 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29513] ppid=29491 vsize=10260324 memory=140246184703616 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29513/stat : 29513 (java) S 29491 29498 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 413988953 10506571776 5079 33554432000 4194304 4196468 140735848649520 140483137333360 140484102044290 0 0 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29514] ppid=29491 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29514/stat : 29514 (java) S 29491 29498 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 413988953 10506571776 5079 33554432000 4194304 4196468 140735848649520 140483136279328 140484102043349 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29516] ppid=29491 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29516/stat : 29516 (java) S 29491 29498 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 413988953 10506571776 5079 33554432000 4194304 4196468 140735848649520 140483135226992 140484102043349 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10260324 KiB
Current children cumulated memory: 20316 KiB

[startup+0.701609 s]
/proc/loadavg: 0.00 0.01 0.05 8/228 29529
/proc/meminfo: memFree=24108368/32770624 swapFree=67108848/67108860
[pid=29498] ppid=29491 vsize=10660908 memory=40216 CPUtime=0.45 cores=1,3,5,7
/proc/29498/stat : 29498 (java) S 29491 29498 29438 0 -1 1077944320 8954 0 0 0 42 3 0 0 20 0 15 0 413988924 10916769792 10054 33554432000 4194304 4196468 140735848649520 140735848632064 140484102033143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
/proc/29498/statm: 2665227 10054 3001 1 0 2627724 0
[pid=29498/tid=29503] ppid=29491 vsize=10660908 memory=253527624574609 CPUtime=0.28 cores=1,3,5,7
/proc/29498/task/29503/stat : 29503 (java) R 29491 29498 29438 0 -1 4202560 5880 0 0 0 26 2 0 0 20 0 15 0 413988937 10916769792 10119 33554432000 4194304 4196468 140735848649520 140484106254032 140484094712861 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29508] ppid=29491 vsize=10660908 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29508/stat : 29508 (java) S 29491 29498 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413988951 10916769792 10119 33554432000 4194304 4196468 140735848649520 140484028107664 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29509] ppid=29491 vsize=10660908 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29509/stat : 29509 (java) S 29491 29498 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413988951 10916769792 10185 33554432000 4194304 4196468 140735848649520 140484027054864 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29510] ppid=29491 vsize=10660908 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29510/stat : 29510 (java) S 29491 29498 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413988951 10916769792 10185 33554432000 4194304 4196468 140735848649520 140484026002576 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29511] ppid=29491 vsize=10660908 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29511/stat : 29511 (java) S 29491 29498 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413988951 10916769792 10185 33554432000 4194304 4196468 140735848649520 140484024949776 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29513] ppid=29491 vsize=10660908 memory=3924 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29513/stat : 29513 (java) S 29491 29498 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413988953 10916769792 10185 33554432000 4194304 4196468 140735848649520 140483137333360 140484102044290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29514] ppid=29491 vsize=10660908 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29514/stat : 29514 (java) S 29491 29498 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413988953 10916769792 10251 33554432000 4194304 4196468 140735848649520 140483136279328 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29516] ppid=29491 vsize=10660908 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29516/stat : 29516 (java) S 29491 29498 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413988953 10916769792 10251 33554432000 4194304 4196468 140735848649520 140483135226992 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29518] ppid=29491 vsize=10660908 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29518/stat : 29518 (java) S 29491 29498 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413988966 10916769792 10251 33554432000 4194304 4196468 140735848649520 140483134175312 140484102051739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29519] ppid=29491 vsize=10660908 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/29498/task/29519/stat : 29519 (java) S 29491 29498 29438 0 -1 1077944384 821 0 0 0 4 0 0 0 20 0 15 0 413988966 10916769792 10251 33554432000 4194304 4196468 140735848649520 140483133123184 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29520] ppid=29491 vsize=10660908 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/29498/task/29520/stat : 29520 (java) S 29491 29498 29438 0 -1 1077944384 287 0 0 0 3 0 0 0 20 0 15 0 413988966 10916769792 10251 33554432000 4194304 4196468 140735848649520 140483132070384 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29521] ppid=29491 vsize=10660908 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/29498/task/29521/stat : 29521 (java) S 29491 29498 29438 0 -1 1077944384 696 0 0 0 7 0 0 0 20 0 15 0 413988966 10916769792 10251 33554432000 4194304 4196468 140735848649520 140483131018096 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29526] ppid=29491 vsize=10660908 memory=280492100288752 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29526/stat : 29526 (java) S 29491 29498 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413988966 10916769792 10251 33554432000 4194304 4196468 140735848649520 140483129965536 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29529] ppid=29491 vsize=10660908 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29529/stat : 29529 (java) S 29491 29498 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413988970 10916769792 10251 33554432000 4194304 4196468 140735848649520 140483128912304 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 10660908 KiB
Current children cumulated memory: 40216 KiB

[startup+1.50079 s]
/proc/loadavg: 0.00 0.01 0.05 6/228 29529
/proc/meminfo: memFree=24060732/32770624 swapFree=67108848/67108860
[pid=29498] ppid=29491 vsize=10663980 memory=67792 CPUtime=1.52 cores=1,3,5,7
/proc/29498/stat : 29498 (java) S 29491 29498 29438 0 -1 1077944320 15148 0 0 0 146 6 0 0 20 0 15 0 413988924 10919915520 16948 33554432000 4194304 4196468 140735848649520 140735848632064 140484102033143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
/proc/29498/statm: 2665995 16948 3078 1 0 2628492 0
[pid=29498/tid=29503] ppid=29491 vsize=10663980 memory=280492100325088 CPUtime=1.07 cores=1,3,5,7
/proc/29498/task/29503/stat : 29503 (java) R 29491 29498 29438 0 -1 4202560 10711 0 0 0 102 5 0 0 20 0 15 0 413988937 10919915520 16948 33554432000 4194304 4196468 140735848649520 140484106261008 140484086113630 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29508] ppid=29491 vsize=10663980 memory=7649399397116361010 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29508/stat : 29508 (java) S 29491 29498 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413988951 10919915520 16948 33554432000 4194304 4196468 140735848649520 140484028107664 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29509] ppid=29491 vsize=10663980 memory=50176 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29509/stat : 29509 (java) S 29491 29498 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413988951 10919915520 16948 33554432000 4194304 4196468 140735848649520 140484027054864 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29510] ppid=29491 vsize=10663980 memory=6944656592385698452 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29510/stat : 29510 (java) S 29491 29498 29438 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 413988951 10919915520 16948 33554432000 4194304 4196468 140735848649520 140484026002576 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29511] ppid=29491 vsize=10663980 memory=3924 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29511/stat : 29511 (java) S 29491 29498 29438 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 413988951 10919915520 16948 33554432000 4194304 4196468 140735848649520 140484024949776 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29513] ppid=29491 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29513/stat : 29513 (java) S 29491 29498 29438 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 413988953 10919915520 16948 33554432000 4194304 4196468 140735848649520 140483137333360 140484102044290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29514] ppid=29491 vsize=10663980 memory=140246050390128 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29514/stat : 29514 (java) S 29491 29498 29438 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 413988953 10919915520 16948 33554432000 4194304 4196468 140735848649520 140483136279328 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29516] ppid=29491 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29516/stat : 29516 (java) S 29491 29498 29438 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 413988953 10919915520 16948 33554432000 4194304 4196468 140735848649520 140483135226992 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29518] ppid=29491 vsize=10663980 memory=56 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29518/stat : 29518 (java) S 29491 29498 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413988966 10919915520 16948 33554432000 4194304 4196468 140735848649520 140483134175312 140484102051739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29519] ppid=29491 vsize=10663980 memory=10829 CPUtime=0.14 cores=1,3,5,7
/proc/29498/task/29519/stat : 29519 (java) S 29491 29498 29438 0 -1 1077944384 1491 0 0 0 14 0 0 0 20 0 15 0 413988966 10919915520 16948 33554432000 4194304 4196468 140735848649520 140483133123184 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29520] ppid=29491 vsize=10663980 memory=12305 CPUtime=0.1 cores=1,3,5,7
/proc/29498/task/29520/stat : 29520 (java) S 29491 29498 29438 0 -1 1077944384 526 0 0 0 10 0 0 0 20 0 15 0 413988966 10919915520 16948 33554432000 4194304 4196468 140735848649520 140483132070384 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29521] ppid=29491 vsize=10663980 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/29498/task/29521/stat : 29521 (java) S 29491 29498 29438 0 -1 1077944384 1057 0 0 0 18 0 0 0 20 0 15 0 413988966 10919915520 16948 33554432000 4194304 4196468 140735848649520 140483131018096 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29526] ppid=29491 vsize=10663980 memory=-3253322038155611931 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29526/stat : 29526 (java) S 29491 29498 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413988966 10919915520 16948 33554432000 4194304 4196468 140735848649520 140483129965536 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29529] ppid=29491 vsize=10663980 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29529/stat : 29529 (java) S 29491 29498 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 413988970 10919915520 16948 33554432000 4194304 4196468 140735848649520 140483128912304 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 67792 KiB

[startup+3.11036 s]
/proc/loadavg: 0.00 0.01 0.05 5/230 29531
/proc/meminfo: memFree=23851268/32770624 swapFree=67108848/67108860
[pid=29498] ppid=29491 vsize=10748324 memory=182740 CPUtime=4.8 cores=1,3,5,7
/proc/29498/stat : 29498 (java) S 29491 29498 29438 0 -1 1077944320 24875 0 0 0 467 13 0 0 20 0 16 0 413988924 11006283776 45685 33554432000 4194304 4196468 140735848649520 140735848632064 140484102033143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
/proc/29498/statm: 2687081 45685 3349 1 0 2647217 0
[pid=29498/tid=29503] ppid=29491 vsize=10748324 memory=158804 CPUtime=1.85 cores=1,3,5,7
/proc/29498/task/29503/stat : 29503 (java) S 29491 29498 29438 0 -1 1077944384 13799 0 0 0 179 6 0 0 20 0 16 0 413988937 11006283776 45685 33554432000 4194304 4196468 140735848649520 140484106276016 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29508] ppid=29491 vsize=10748324 memory=3924 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29508/stat : 29508 (java) S 29491 29498 29438 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 413988951 11006283776 45685 33554432000 4194304 4196468 140735848649520 140484028107664 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29509] ppid=29491 vsize=10748324 memory=39768 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29509/stat : 29509 (java) S 29491 29498 29438 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 16 0 413988951 11006283776 45685 33554432000 4194304 4196468 140735848649520 140484027054864 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29510] ppid=29491 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29510/stat : 29510 (java) S 29491 29498 29438 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 16 0 413988951 11006283776 45685 33554432000 4194304 4196468 140735848649520 140484026002576 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29511] ppid=29491 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29511/stat : 29511 (java) S 29491 29498 29438 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 16 0 413988951 11006283776 45685 33554432000 4194304 4196468 140735848649520 140484024949776 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29513] ppid=29491 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/29498/task/29513/stat : 29513 (java) S 29491 29498 29438 0 -1 1077944384 699 0 0 0 1 0 0 0 20 0 16 0 413988953 11006283776 45685 33554432000 4194304 4196468 140735848649520 140483137333360 140484102044290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29514] ppid=29491 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29514/stat : 29514 (java) S 29491 29498 29438 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 413988953 11006283776 45685 33554432000 4194304 4196468 140735848649520 140483136279392 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29516] ppid=29491 vsize=10748324 memory=56 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29516/stat : 29516 (java) S 29491 29498 29438 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 413988953 11006283776 45685 33554432000 4194304 4196468 140735848649520 140483135227008 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29518] ppid=29491 vsize=10748324 memory=10829 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29518/stat : 29518 (java) S 29491 29498 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413988966 11006283776 45685 33554432000 4194304 4196468 140735848649520 140483134175312 140484102051739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29519] ppid=29491 vsize=10748324 memory=12305 CPUtime=0.76 cores=1,3,5,7
/proc/29498/task/29519/stat : 29519 (java) R 29491 29498 29438 0 -1 4202560 2322 0 0 0 75 1 0 0 20 0 16 0 413988966 11006283776 45685 33554432000 4194304 4196468 140735848649520 140483133107536 140484085529578 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29520] ppid=29491 vsize=10748324 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/29498/task/29520/stat : 29520 (java) R 29491 29498 29438 0 -1 4202560 1920 0 0 0 67 0 0 0 20 0 16 0 413988966 11006283776 45685 33554432000 4194304 4196468 140735848649520 140483132058256 140484083554012 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29521] ppid=29491 vsize=10748324 memory=-3253322038155611931 CPUtime=0.7 cores=1,3,5,7
/proc/29498/task/29521/stat : 29521 (java) S 29491 29498 29438 0 -1 1077944384 2601 0 0 0 70 0 0 0 20 0 16 0 413988966 11006283776 45685 33554432000 4194304 4196468 140735848649520 140483131018096 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29526] ppid=29491 vsize=10748324 memory=151832 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29526/stat : 29526 (java) S 29491 29498 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413988966 11006283776 45685 33554432000 4194304 4196468 140735848649520 140483129965536 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29529] ppid=29491 vsize=10748324 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29529/stat : 29529 (java) S 29491 29498 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413988970 11006283776 45685 33554432000 4194304 4196468 140735848649520 140483128912304 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29531] ppid=29491 vsize=10748324 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/29498/task/29531/stat : 29531 (java) R 29491 29498 29438 0 -1 4202560 1931 0 0 0 68 1 0 0 20 0 16 0 413989162 11006283776 45685 33554432000 4194304 4196468 140735848649520 140483112245440 140483706881808 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
Current children cumulated CPU time: 4.8 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 182740 KiB

[startup+6.30079 s]
/proc/loadavg: 0.24 0.06 0.06 4/231 29533
/proc/meminfo: memFree=23716896/32770624 swapFree=67108848/67108860
[pid=29498] ppid=29491 vsize=10748324 memory=303856 CPUtime=9.46 cores=1,3,5,7
/proc/29498/stat : 29498 (java) S 29491 29498 29438 0 -1 1077944320 36500 0 0 0 925 21 0 0 20 0 16 0 413988924 11006283776 75964 33554432000 4194304 4196468 140735848649520 140735848632064 140484102033143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
/proc/29498/statm: 2687081 75964 3370 1 0 2647217 0

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

/proc/29498/task/29511/stat : 29511 (java) S 29491 29498 29438 0 -1 1077944384 6781 0 0 0 244 19 0 0 20 0 16 0 413988951 11006283776 66219 33554432000 4194304 4196468 140735848649520 140484024949776 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29513] ppid=29491 vsize=10748324 memory=5787477641288517003 CPUtime=1.63 cores=1,3,5,7
/proc/29498/task/29513/stat : 29513 (java) S 29491 29498 29438 0 -1 1077944384 8312 0 0 0 149 14 0 0 20 0 16 0 413988953 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483137333360 140484102044290 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29514] ppid=29491 vsize=10748324 memory=264876 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29514/stat : 29514 (java) S 29491 29498 29438 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 413988953 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483136279392 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29516] ppid=29491 vsize=10748324 memory=264876 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29516/stat : 29516 (java) S 29491 29498 29438 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 413988953 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483135227008 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29518] ppid=29491 vsize=10748324 memory=264876 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29518/stat : 29518 (java) S 29491 29498 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413988966 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483134175312 140484102051739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29519] ppid=29491 vsize=10748324 memory=264876 CPUtime=1.81 cores=1,3,5,7
/proc/29498/task/29519/stat : 29519 (java) S 29491 29498 29438 0 -1 1077944384 11359 0 0 0 179 2 0 0 20 0 16 0 413988966 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483133123184 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29520] ppid=29491 vsize=10748324 memory=6791534058613427641 CPUtime=1.98 cores=1,3,5,7
/proc/29498/task/29520/stat : 29520 (java) S 29491 29498 29438 0 -1 1077944384 13810 0 0 0 197 1 0 0 20 0 16 0 413988966 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483132070384 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29521] ppid=29491 vsize=10748324 memory=8612 CPUtime=0.87 cores=1,3,5,7
/proc/29498/task/29521/stat : 29521 (java) S 29491 29498 29438 0 -1 1077944384 11986 0 0 0 86 1 0 0 20 0 16 0 413988966 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483131018096 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29526] ppid=29491 vsize=10748324 memory=264876 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29526/stat : 29526 (java) S 29491 29498 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413988966 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483129965536 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29529] ppid=29491 vsize=10748324 memory=264876 CPUtime=0.76 cores=1,3,5,7
/proc/29498/task/29529/stat : 29529 (java) S 29491 29498 29438 0 -1 1077944384 1165 0 0 0 33 43 0 0 20 0 16 0 413988970 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483128912304 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29531] ppid=29491 vsize=10748324 memory=932 CPUtime=2434.95 cores=1,3,5,7
/proc/29498/task/29531/stat : 29531 (java) R 29491 29498 29438 0 -1 4202560 30695 0 0 0 243483 12 0 0 20 0 16 0 413989162 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483112250624 140483707029528 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
Current children cumulated CPU time: 2454.5 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 264876 KiB

[startup+2502.3 s]
/proc/loadavg: 1.85 1.86 1.62 3/229 29843
/proc/meminfo: memFree=23704616/32770624 swapFree=67108848/67108860
[pid=29498] ppid=29491 vsize=10748324 memory=264876 CPUtime=2514.61 cores=1,3,5,7
/proc/29498/stat : 29498 (java) S 29491 29498 29438 0 -1 1077944320 123438 0 0 0 251324 137 0 0 20 0 16 0 413988924 11006283776 66219 33554432000 4194304 4196468 140735848649520 140735848632064 140484102033143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
/proc/29498/statm: 2687081 66219 3377 1 0 2647217 0
[pid=29498/tid=29503] ppid=29491 vsize=10748324 memory=264876 CPUtime=1.85 cores=1,3,5,7
/proc/29498/task/29503/stat : 29503 (java) S 29491 29498 29438 0 -1 1077944384 13799 0 0 0 179 6 0 0 20 0 16 0 413988937 11006283776 66219 33554432000 4194304 4196468 140735848649520 140484106276016 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29508] ppid=29491 vsize=10748324 memory=264876 CPUtime=2.66 cores=1,3,5,7
/proc/29498/task/29508/stat : 29508 (java) S 29491 29498 29438 0 -1 1077944384 9459 0 0 0 248 18 0 0 20 0 16 0 413988951 11006283776 66219 33554432000 4194304 4196468 140735848649520 140484028107664 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29509] ppid=29491 vsize=10748324 memory=264876 CPUtime=2.67 cores=1,3,5,7
/proc/29498/task/29509/stat : 29509 (java) S 29491 29498 29438 0 -1 1077944384 5669 0 0 0 250 17 0 0 20 0 16 0 413988951 11006283776 66219 33554432000 4194304 4196468 140735848649520 140484027054864 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29510] ppid=29491 vsize=10748324 memory=264876 CPUtime=2.66 cores=1,3,5,7
/proc/29498/task/29510/stat : 29510 (java) S 29491 29498 29438 0 -1 1077944384 8590 0 0 0 249 17 0 0 20 0 16 0 413988951 11006283776 66219 33554432000 4194304 4196468 140735848649520 140484026002576 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29511] ppid=29491 vsize=10748324 memory=264876 CPUtime=2.67 cores=1,3,5,7
/proc/29498/task/29511/stat : 29511 (java) S 29491 29498 29438 0 -1 1077944384 6788 0 0 0 248 19 0 0 20 0 16 0 413988951 11006283776 66219 33554432000 4194304 4196468 140735848649520 140484024949776 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29513] ppid=29491 vsize=10748324 memory=264876 CPUtime=1.66 cores=1,3,5,7
/proc/29498/task/29513/stat : 29513 (java) S 29491 29498 29438 0 -1 1077944384 8498 0 0 0 152 14 0 0 20 0 16 0 413988953 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483137333360 140484102044290 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29514] ppid=29491 vsize=10748324 memory=264876 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29514/stat : 29514 (java) S 29491 29498 29438 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 413988953 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483136279392 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29516] ppid=29491 vsize=10748324 memory=752 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29516/stat : 29516 (java) S 29491 29498 29438 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 413988953 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483135227008 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29518] ppid=29491 vsize=10748324 memory=1636 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29518/stat : 29518 (java) S 29491 29498 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413988966 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483134175312 140484102051739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29519] ppid=29491 vsize=10748324 memory=3924 CPUtime=1.81 cores=1,3,5,7
/proc/29498/task/29519/stat : 29519 (java) S 29491 29498 29438 0 -1 1077944384 11361 0 0 0 179 2 0 0 20 0 16 0 413988966 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483133123184 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29520] ppid=29491 vsize=10748324 memory=39800 CPUtime=1.98 cores=1,3,5,7
/proc/29498/task/29520/stat : 29520 (java) S 29491 29498 29438 0 -1 1077944384 13812 0 0 0 197 1 0 0 20 0 16 0 413988966 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483132070384 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29521] ppid=29491 vsize=10748324 memory=3924 CPUtime=0.87 cores=1,3,5,7
/proc/29498/task/29521/stat : 29521 (java) S 29491 29498 29438 0 -1 1077944384 11988 0 0 0 86 1 0 0 20 0 16 0 413988966 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483131018096 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29526] ppid=29491 vsize=10748324 memory=39800 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29526/stat : 29526 (java) S 29491 29498 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413988966 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483129965536 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29529] ppid=29491 vsize=10748324 memory=264876 CPUtime=0.77 cores=1,3,5,7
/proc/29498/task/29529/stat : 29529 (java) S 29491 29498 29438 0 -1 1077944384 1193 0 0 0 33 44 0 0 20 0 16 0 413988970 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483128912304 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29531] ppid=29491 vsize=10748324 memory=39800 CPUtime=2494.86 cores=1,3,5,7
/proc/29498/task/29531/stat : 29531 (java) R 29491 29498 29438 0 -1 4202560 30879 0 0 0 249473 13 0 0 20 0 16 0 413989162 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483112250496 140483708658925 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
Current children cumulated CPU time: 2514.61 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 264876 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.7 s]
/proc/loadavg: 1.78 1.85 1.62 3/229 29843
/proc/meminfo: memFree=23702444/32770624 swapFree=67108848/67108860
[pid=29498] ppid=29491 vsize=10748324 memory=264876 CPUtime=2520.02 cores=1,3,5,7
/proc/29498/stat : 29498 (java) S 29491 29498 29438 0 -1 1077944320 123445 0 0 0 251865 137 0 0 20 0 16 0 413988924 11006283776 66219 33554432000 4194304 4196468 140735848649520 140735848632064 140484102033143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
/proc/29498/statm: 2687081 66219 3377 1 0 2647217 0
[pid=29498/tid=29503] ppid=29491 vsize=10748324 memory=264876 CPUtime=1.85 cores=1,3,5,7
/proc/29498/task/29503/stat : 29503 (java) S 29491 29498 29438 0 -1 1077944384 13799 0 0 0 179 6 0 0 20 0 16 0 413988937 11006283776 66219 33554432000 4194304 4196468 140735848649520 140484106276016 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29508] ppid=29491 vsize=10748324 memory=264876 CPUtime=2.67 cores=1,3,5,7
/proc/29498/task/29508/stat : 29508 (java) S 29491 29498 29438 0 -1 1077944384 9459 0 0 0 249 18 0 0 20 0 16 0 413988951 11006283776 66219 33554432000 4194304 4196468 140735848649520 140484028107664 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29509] ppid=29491 vsize=10748324 memory=264876 CPUtime=2.68 cores=1,3,5,7
/proc/29498/task/29509/stat : 29509 (java) S 29491 29498 29438 0 -1 1077944384 5669 0 0 0 251 17 0 0 20 0 16 0 413988951 11006283776 66219 33554432000 4194304 4196468 140735848649520 140484027054864 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29510] ppid=29491 vsize=10748324 memory=264876 CPUtime=2.66 cores=1,3,5,7
/proc/29498/task/29510/stat : 29510 (java) S 29491 29498 29438 0 -1 1077944384 8590 0 0 0 249 17 0 0 20 0 16 0 413988951 11006283776 66219 33554432000 4194304 4196468 140735848649520 140484026002576 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29511] ppid=29491 vsize=10748324 memory=264876 CPUtime=2.67 cores=1,3,5,7
/proc/29498/task/29511/stat : 29511 (java) S 29491 29498 29438 0 -1 1077944384 6788 0 0 0 248 19 0 0 20 0 16 0 413988951 11006283776 66219 33554432000 4194304 4196468 140735848649520 140484024949776 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29513] ppid=29491 vsize=10748324 memory=264876 CPUtime=1.67 cores=1,3,5,7
/proc/29498/task/29513/stat : 29513 (java) S 29491 29498 29438 0 -1 1077944384 8498 0 0 0 153 14 0 0 20 0 16 0 413988953 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483137333360 140484102044290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29514] ppid=29491 vsize=10748324 memory=264876 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29514/stat : 29514 (java) S 29491 29498 29438 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 413988953 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483136279392 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29516] ppid=29491 vsize=10748324 memory=752 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29516/stat : 29516 (java) S 29491 29498 29438 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 413988953 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483135227008 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29518] ppid=29491 vsize=10748324 memory=1636 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29518/stat : 29518 (java) S 29491 29498 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413988966 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483134175312 140484102051739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29519] ppid=29491 vsize=10748324 memory=264876 CPUtime=1.81 cores=1,3,5,7
/proc/29498/task/29519/stat : 29519 (java) S 29491 29498 29438 0 -1 1077944384 11361 0 0 0 179 2 0 0 20 0 16 0 413988966 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483133123184 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29520] ppid=29491 vsize=10748324 memory=39800 CPUtime=1.98 cores=1,3,5,7
/proc/29498/task/29520/stat : 29520 (java) S 29491 29498 29438 0 -1 1077944384 13812 0 0 0 197 1 0 0 20 0 16 0 413988966 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483132070384 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29521] ppid=29491 vsize=10748324 memory=264876 CPUtime=0.87 cores=1,3,5,7
/proc/29498/task/29521/stat : 29521 (java) S 29491 29498 29438 0 -1 1077944384 11988 0 0 0 86 1 0 0 20 0 16 0 413988966 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483131018096 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29526] ppid=29491 vsize=10748324 memory=264876 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29526/stat : 29526 (java) S 29491 29498 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413988966 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483129965536 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29529] ppid=29491 vsize=10748324 memory=264876 CPUtime=0.77 cores=1,3,5,7
/proc/29498/task/29529/stat : 29529 (java) S 29491 29498 29438 0 -1 1077944384 1193 0 0 0 33 44 0 0 20 0 16 0 413988970 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483128912304 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29531] ppid=29491 vsize=10748324 memory=39800 CPUtime=2500.25 cores=1,3,5,7
/proc/29498/task/29531/stat : 29531 (java) R 29491 29498 29438 0 -1 4202560 30886 0 0 0 250012 13 0 0 20 0 16 0 413989162 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483112250496 140483707069791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 264876 KiB

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

[startup+2507.71 s]
# the end of solver process 29498 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.67 s, system=1.38292 s

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

[startup+2507.7 s]
/proc/loadavg: 1.78 1.85 1.62 3/229 29843
/proc/meminfo: memFree=23702444/32770624 swapFree=67108848/67108860
[pid=29498] ppid=29491 vsize=10748324 memory=264876 CPUtime=2520.02 cores=1,3,5,7
/proc/29498/stat : 29498 (java) S 29491 29498 29438 0 -1 1077944320 123445 0 0 0 251865 137 0 0 20 0 16 0 413988924 11006283776 66219 33554432000 4194304 4196468 140735848649520 140735848632064 140484102033143 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
/proc/29498/statm: 2687081 66219 3377 1 0 2647217 0
[pid=29498/tid=29503] ppid=29491 vsize=10748324 memory=264876 CPUtime=1.85 cores=1,3,5,7
/proc/29498/task/29503/stat : 29503 (java) S 29491 29498 29438 0 -1 1077944384 13799 0 0 0 179 6 0 0 20 0 16 0 413988937 11006283776 66219 33554432000 4194304 4196468 140735848649520 140484106276016 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29508] ppid=29491 vsize=10748324 memory=264876 CPUtime=2.67 cores=1,3,5,7
/proc/29498/task/29508/stat : 29508 (java) S 29491 29498 29438 0 -1 1077944384 9459 0 0 0 249 18 0 0 20 0 16 0 413988951 11006283776 66219 33554432000 4194304 4196468 140735848649520 140484028107664 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29509] ppid=29491 vsize=10748324 memory=264876 CPUtime=2.68 cores=1,3,5,7
/proc/29498/task/29509/stat : 29509 (java) S 29491 29498 29438 0 -1 1077944384 5669 0 0 0 251 17 0 0 20 0 16 0 413988951 11006283776 66219 33554432000 4194304 4196468 140735848649520 140484027054864 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29510] ppid=29491 vsize=10748324 memory=264876 CPUtime=2.66 cores=1,3,5,7
/proc/29498/task/29510/stat : 29510 (java) S 29491 29498 29438 0 -1 1077944384 8590 0 0 0 249 17 0 0 20 0 16 0 413988951 11006283776 66219 33554432000 4194304 4196468 140735848649520 140484026002576 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29511] ppid=29491 vsize=10748324 memory=264876 CPUtime=2.67 cores=1,3,5,7
/proc/29498/task/29511/stat : 29511 (java) S 29491 29498 29438 0 -1 1077944384 6788 0 0 0 248 19 0 0 20 0 16 0 413988951 11006283776 66219 33554432000 4194304 4196468 140735848649520 140484024949776 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29513] ppid=29491 vsize=10748324 memory=264876 CPUtime=1.67 cores=1,3,5,7
/proc/29498/task/29513/stat : 29513 (java) S 29491 29498 29438 0 -1 1077944384 8498 0 0 0 153 14 0 0 20 0 16 0 413988953 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483137333360 140484102044290 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29514] ppid=29491 vsize=10748324 memory=264876 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29514/stat : 29514 (java) S 29491 29498 29438 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 413988953 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483136279392 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29516] ppid=29491 vsize=10748324 memory=752 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29516/stat : 29516 (java) S 29491 29498 29438 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 16 0 413988953 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483135227008 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29518] ppid=29491 vsize=10748324 memory=1636 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29518/stat : 29518 (java) S 29491 29498 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413988966 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483134175312 140484102051739 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29519] ppid=29491 vsize=10748324 memory=264876 CPUtime=1.81 cores=1,3,5,7
/proc/29498/task/29519/stat : 29519 (java) S 29491 29498 29438 0 -1 1077944384 11361 0 0 0 179 2 0 0 20 0 16 0 413988966 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483133123184 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29520] ppid=29491 vsize=10748324 memory=39800 CPUtime=1.98 cores=1,3,5,7
/proc/29498/task/29520/stat : 29520 (java) S 29491 29498 29438 0 -1 1077944384 13812 0 0 0 197 1 0 0 20 0 16 0 413988966 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483132070384 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29521] ppid=29491 vsize=10748324 memory=264876 CPUtime=0.87 cores=1,3,5,7
/proc/29498/task/29521/stat : 29521 (java) S 29491 29498 29438 0 -1 1077944384 11988 0 0 0 86 1 0 0 20 0 16 0 413988966 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483131018096 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29526] ppid=29491 vsize=10748324 memory=264876 CPUtime=0 cores=1,3,5,7
/proc/29498/task/29526/stat : 29526 (java) S 29491 29498 29438 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 413988966 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483129965536 140484102043349 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29529] ppid=29491 vsize=10748324 memory=264876 CPUtime=0.77 cores=1,3,5,7
/proc/29498/task/29529/stat : 29529 (java) S 29491 29498 29438 0 -1 1077944384 1193 0 0 0 33 44 0 0 20 0 16 0 413988970 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483128912304 140484102044290 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
[pid=29498/tid=29531] ppid=29491 vsize=10748324 memory=39800 CPUtime=2500.25 cores=1,3,5,7
/proc/29498/task/29531/stat : 29531 (java) R 29491 29498 29438 0 -1 4202560 30886 0 0 0 250012 13 0 0 20 0 16 0 413989162 11006283776 66219 33554432000 4194304 4196468 140735848649520 140483112250496 140483707069791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39264256 140735848653835 140735848653938 140735848653938 140735848656847 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 264876 KiB

Child status: 143
Real time (s): 2507.71
CPU time (s): 2520.05
CPU user time (s): 2518.67
CPU system time (s): 1.38292
CPU usage (%): 100.492
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 697680

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.67
system time used= 1.38292
maximum resident set size= 708968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 123880
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 95246
involuntary context switches= 3659


# summary of solver processes directly reported to runsolver:
#   pid: 29498
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2518.67
#   total CPU system time (s): 1.38292

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5032 second user time and 22.2259 second system time

The end

Launcher Data 

Begin job on node143 at 2019-09-13 15:14:34
IDJOB=4391032
IDBENCH=115840
IDSOLVER=2832
FILE ID=node143/4391032-1568380515
RUNJOBID= node143-1568380474-29470
PBS_JOBID= 21701827
Free space on /tmp= 58856 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/Scheduling/Scheduling-os-taillard/Taillard-os-10-10-6.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391032-1568380515/watcher-4391032-1568380515 -o /tmp/evaluation-result-4391032-1568380515/solver-4391032-1568380515 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node143-1568380474-29470 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391032-1568380515.xml -cm

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

MD5SUM BENCH= 0823366b416f0d4f591b1c2bb0d09de5
RANDOM SEED=139609832

node143.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.73
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.73
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.73
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.73
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:        24145620 kB
MemAvailable:   31759640 kB
Buffers:          178840 kB
Cached:          7720756 kB
SwapCached:            8 kB
Active:          2218204 kB
Inactive:        5731080 kB
Active(anon):       4408 kB
Inactive(anon):   144756 kB
Active(file):    2213796 kB
Inactive(file):  5586324 kB
Unevictable:      107544 kB
Mlocked:          107544 kB
SwapTotal:      67108860 kB
SwapFree:       67108848 kB
Dirty:             17232 kB
Writeback:             0 kB
AnonPages:        157360 kB
Mapped:            48064 kB
Shmem:             90756 kB
Slab:             270676 kB
SReclaimable:     242360 kB
SUnreclaim:        28316 kB
KernelStack:        3408 kB
PageTables:         5516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     502748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 58836 MiB
End job on node143 at 2019-09-13 15:56:22