Trace number 4390683

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
AbsCon 2019-07-23? (TO) 2520.08 2510.41

General information on the benchmark

NameStripPacking/StripPacking-m1-series1/
StripPacking-C3P2.xml
MD5SUMec554133dcdc77f0ded322158f487a65
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark226.379
Satisfiable
(Un)Satisfiability was proved
Number of variables145
Number of constraints88
Number of domains30
Minimum domain size1
Maximum domain size60
Distribution of domain sizes[{"size":1,"count":4},{"size":2,"count":83},{"size":30,"count":29},{"size":60,"count":29}]
Minimum variable degree1
Maximum variable degree3
Distribution of variable degrees[{"degree":1,"count":29},{"degree":2,"count":58},{"degree":3,"count":58}]
Minimum constraint arity2
Maximum constraint arity116
Distribution of constraint arities[{"arity":2,"count":58},{"arity":3,"count":29},{"arity":116,"count":1}]
Number of extensional constraints29
Number of intensional constraints58
Distribution of constraint types[{"type":"extension","count":29},{"type":"intension","count":58},{"type":"noOverlap","count":1}]
Optimization problemNO
Type of objective

Solver Data 

2.54/2.43	
2.54/2.43	AbsCon 2 
2.54/2.46	
2.99/2.68	  Instance
2.99/2.68	    name=instance-4390683-1568380516, framework=CSP
2.99/2.68	
2.99/2.68	  Loading variables...
3.08/2.72	  Loading constraints...
4.02/3.05	
4.02/3.05	  Domains
4.02/3.05	    nTypes=30, nValues=2780, sizes=[1#4,2#83,30#29,60#29]
4.02/3.05	  Variables
4.02/3.05	    count=145, degrees=[1#29,29#58,30#58]
4.02/3.05	  Constraints
4.02/3.05	    count=493, nSpecific=29, arities=[2#58,3#29,8#406]
4.02/3.05	    distribution=[CtrExtensionCT-Table#29,CtrIntension#464]
4.02/3.05	    tables=[2#29], nTotalTuples=58
4.02/3.05	    nExtStructures=(28,shared:1), nIntStructures=(422,shared:42), nCftStructures=(54,shared:4,unbuilt:435)
4.02/3.05	    wck=0.646, cpu=2.365, mem=66M149
4.02/3.06	  Solver SolverBacktrack being built...
4.02/3.06	
4.02/3.08	
4.02/3.08	  Solver
4.02/3.08	    guaranteedGAC=false
4.02/3.08	    wck=0.679, cpu=2.397, mem=79M434
4.02/3.09	
4.02/3.09	  Preprocessing
4.02/3.09	    filters=52, revisions=(53,useless=1), ccks=5101, nACremovedValues=224, nTotalRemovedValues=224, inconcistency=false
4.02/3.09	    wck=0.005, cpu=2.403, mem=79M434
4.02/3.09	
4.02/3.10	    num=0, depth=53..58, filters=72, revisions=(122,useless=60), ccks=5247, wck=0.014, mem=79M434
4.02/3.10	    decisions=73, wrong=10, backtracks=5, failedAssignments=10, nogoods=1
4.02/3.10	    nFilterCalls=44, avgTableProportion=0.5, avgTableSize=1.0
4.02/3.10	    
4.02/3.10	    num=1, depth=32..32, filters=88, revisions=(180,useless=104), ccks=5393, wck=0.017, mem=79M434
4.02/3.10	    decisions=127, wrong=21, backtracks=5, failedAssignments=21, nogoods=12
4.02/3.10	    nFilterCalls=46, avgTableProportion=0.5, avgTableSize=1.0
4.02/3.10	    
4.02/3.11	    num=2, depth=35..35, filters=117, revisions=(314,useless=213), ccks=5606, wck=0.021, mem=79M434
4.02/3.11	    decisions=186, wrong=33, backtracks=5, failedAssignments=33, nogoods=24
4.02/3.11	    nFilterCalls=50, avgTableProportion=0.5, avgTableSize=1.0
4.02/3.11	    
4.37/3.11	    num=3, depth=37..37, filters=147, revisions=(461,useless=334), ccks=5909, wck=0.027, mem=82M77
4.37/3.11	    decisions=249, wrong=46, backtracks=5, failedAssignments=46, nogoods=37
4.37/3.11	    nFilterCalls=54, avgTableProportion=0.5, avgTableSize=1.0
4.37/3.11	    
4.37/3.12	    num=4, depth=35..35, filters=202, revisions=(637,useless=460), ccks=6761, wck=0.03, mem=82M77
4.37/3.12	    decisions=312, wrong=60, backtracks=5, failedAssignments=60, nogoods=51
4.37/3.12	    nFilterCalls=59, avgTableProportion=0.5, avgTableSize=1.0
4.37/3.12	    
4.37/3.12	    num=5, depth=39..39, filters=235, revisions=(833,useless=628), ccks=7152, wck=0.033, mem=82M77
4.37/3.12	    decisions=383, wrong=76, backtracks=5, failedAssignments=76, nogoods=67
4.37/3.12	    nFilterCalls=64, avgTableProportion=0.5, avgTableSize=1.0
4.37/3.12	    
4.37/3.12	    num=6, depth=12..12, filters=266, revisions=(893,useless=662), ccks=7329, wck=0.034, mem=82M77
4.37/3.12	    decisions=429, wrong=93, backtracks=5, failedAssignments=93, nogoods=84
4.37/3.12	    nFilterCalls=69, avgTableProportion=0.5, avgTableSize=1.0
4.37/3.12	    
4.37/3.12	    num=7, depth=33..35, filters=318, revisions=(1088,useless=810), ccks=8207, wck=0.037, mem=82M77
4.37/3.12	    decisions=500, wrong=112, backtracks=7, failedAssignments=112, nogoods=86
4.37/3.12	    nFilterCalls=74, avgTableProportion=0.5, avgTableSize=1.0
4.37/3.12	    
4.37/3.13	    num=8, depth=39..40, filters=355, revisions=(1317,useless=1007), ccks=8608, wck=0.04, mem=82M77
4.37/3.13	    decisions=582, wrong=133, backtracks=7, failedAssignments=133, nogoods=107
4.37/3.13	    nFilterCalls=79, avgTableProportion=0.5, avgTableSize=1.0
4.37/3.13	    
4.37/3.13	    num=9, depth=35..38, filters=395, revisions=(1586,useless=1242), ccks=9275, wck=0.043, mem=82M77
4.37/3.13	    decisions=663, wrong=156, backtracks=10, failedAssignments=156, nogoods=113
4.37/3.13	    nFilterCalls=85, avgTableProportion=0.5, avgTableSize=1.0
4.37/3.13	    
4.37/3.13	    num=10, depth=11..12, filters=439, revisions=(1894,useless=1512), ccks=9831, wck=0.045, mem=82M77
4.37/3.13	    decisions=725, wrong=181, backtracks=11, failedAssignments=181, nogoods=118
4.37/3.13	    nFilterCalls=91, avgTableProportion=0.5, avgTableSize=1.0
4.37/3.13	    
4.37/3.14	    num=11, depth=9..41, filters=488, revisions=(2288,useless=1863), ccks=10383, wck=0.059, mem=82M77
4.37/3.14	    decisions=822, wrong=209, backtracks=12, failedAssignments=209, nogoods=145
4.37/3.14	    nFilterCalls=97, avgTableProportion=0.5, avgTableSize=1.0
4.37/3.14	    
4.37/3.15	    num=12, depth=39..40, filters=540, revisions=(2661,useless=2190), ccks=11018, wck=0.062, mem=82M77
4.37/3.15	    decisions=923, wrong=240, backtracks=13, failedAssignments=240, nogoods=153
4.37/3.15	    nFilterCalls=103, avgTableProportion=0.5, avgTableSize=1.0
4.37/3.15	    
4.37/3.15	    num=13, depth=15..15, filters=591, revisions=(2889,useless=2373), ccks=11434, wck=0.064, mem=82M77
4.37/3.15	    decisions=1006, wrong=274, backtracks=13, failedAssignments=274, nogoods=187
4.37/3.15	    nFilterCalls=109, avgTableProportion=0.5, avgTableSize=1.0
4.37/3.15	    
4.37/3.15	    num=14, depth=39..41, filters=650, revisions=(3237,useless=2668), ccks=11975, wck=0.066, mem=82M77
4.37/3.15	    decisions=1121, wrong=311, backtracks=15, failedAssignments=311, nogoods=198
4.37/3.15	    nFilterCalls=115, avgTableProportion=0.5, avgTableSize=1.0
4.37/3.15	    
4.37/3.15	    num=15, depth=15..42, filters=712, revisions=(3616,useless=2991), ccks=12375, wck=0.069, mem=82M77
4.37/3.15	    decisions=1245, wrong=352, backtracks=15, failedAssignments=352, nogoods=239
4.37/3.15	    nFilterCalls=121, avgTableProportion=0.5, avgTableSize=1.0
4.37/3.15	    
4.37/3.16	    num=16, depth=18..40, filters=825, revisions=(4379,useless=3648), ccks=13577, wck=0.072, mem=82M77
4.37/3.16	    decisions=1353, wrong=397, backtracks=37, failedAssignments=397, nogoods=241
4.37/3.16	    nFilterCalls=128, avgTableProportion=0.5, avgTableSize=1.0
4.37/3.16	    
4.37/3.16	    num=17, depth=41..42, filters=902, revisions=(4848,useless=4047), ccks=14390, wck=0.075, mem=82M77
4.37/3.16	    decisions=1494, wrong=447, backtracks=38, failedAssignments=447, nogoods=268
4.37/3.16	    nFilterCalls=135, avgTableProportion=0.5, avgTableSize=1.0
4.37/3.16	    
4.37/3.16	    num=18, depth=17..41, filters=981, revisions=(5532,useless=4659), ccks=15111, wck=0.077, mem=82M77
4.37/3.16	    decisions=1629, wrong=502, backtracks=54, failedAssignments=502, nogoods=292
4.37/3.16	    nFilterCalls=142, avgTableProportion=0.5, avgTableSize=1.0
4.37/3.16	    
4.37/3.16	    num=19, depth=41..43, filters=1073, revisions=(6292,useless=5334), ccks=16125, wck=0.08, mem=82M77
4.37/3.16	    decisions=1793, wrong=563, backtracks=57, failedAssignments=563, nogoods=306
4.37/3.16	    nFilterCalls=149, avgTableProportion=0.5, avgTableSize=1.0
4.37/3.16	    
4.37/3.17	    num=20, depth=18..46, filters=1171, revisions=(7074,useless=6026), ccks=17428, wck=0.084, mem=82M77
4.37/3.17	    decisions=1973, wrong=630, backtracks=57, failedAssignments=630, nogoods=373
4.37/3.17	    nFilterCalls=157, avgTableProportion=0.5, avgTableSize=1.0
4.37/3.17	    
4.37/3.17	    num=21, depth=43..46, filters=1298, revisions=(8757,useless=7591), ccks=19502, wck=0.089, mem=82M77
4.37/3.17	    decisions=2164, wrong=704, backtracks=68, failedAssignments=704, nogoods=392
4.37/3.17	    nFilterCalls=166, avgTableProportion=0.5, avgTableSize=1.0
4.37/3.17	    
4.37/3.18	    num=22, depth=18..20, filters=1476, revisions=(10060,useless=8725), ccks=22061, wck=0.093, mem=82M77
4.37/3.18	    decisions=2346, wrong=785, backtracks=80, failedAssignments=785, nogoods=404
4.37/3.18	    nFilterCalls=175, avgTableProportion=0.5, avgTableSize=1.0
4.37/3.18	    
4.37/3.18	    num=23, depth=38..46, filters=1601, revisions=(12394,useless=10943), ccks=23886, wck=0.098, mem=82M77
4.37/3.18	    decisions=2562, wrong=874, backtracks=88, failedAssignments=874, nogoods=405
4.37/3.18	    nFilterCalls=184, avgTableProportion=0.5, avgTableSize=1.0
4.37/3.18	    
4.37/3.19	    num=24, depth=45..48, filters=1753, revisions=(13175,useless=11585), ccks=25947, wck=0.103, mem=82M77
4.37/3.19	    decisions=2803, wrong=972, backtracks=91, failedAssignments=972, nogoods=419
4.37/3.19	    nFilterCalls=197, avgTableProportion=0.5, avgTableSize=1.0
4.37/3.19	    
4.37/3.20	    num=25, depth=25..29, filters=1985, revisions=(17568,useless=15756), ccks=30923, wck=0.112, mem=82M77
4.37/3.20	    decisions=3045, wrong=1080, backtracks=109, failedAssignments=1080, nogoods=428
4.37/3.20	    nFilterCalls=207, avgTableProportion=0.5, avgTableSize=1.0
4.37/3.20	    
4.67/3.21	    num=26, depth=48..54, filters=2240, revisions=(22223,useless=20190), ccks=36988, wck=0.122, mem=84M719
4.67/3.21	    decisions=3333, wrong=1199, backtracks=132, failedAssignments=1199, nogoods=442
4.67/3.21	    nFilterCalls=253, avgTableProportion=0.5, avgTableSize=1.0
4.67/3.21	    
4.67/3.22	    num=27, depth=23..29, filters=2786, revisions=(25934,useless=23368), ccks=44533, wck=0.134, mem=84M719
4.67/3.22	    decisions=3619, wrong=1330, backtracks=152, failedAssignments=1330, nogoods=461
4.67/3.22	    nFilterCalls=266, avgTableProportion=0.5, avgTableSize=1.0
4.67/3.22	    
4.67/3.23	    num=28, depth=23..53, filters=3048, revisions=(30157,useless=27342), ccks=49658, wck=0.143, mem=84M719
4.67/3.23	    decisions=3955, wrong=1474, backtracks=158, failedAssignments=1474, nogoods=481
4.67/3.23	    nFilterCalls=279, avgTableProportion=0.5, avgTableSize=1.0
4.67/3.23	    
4.67/3.24	    num=29, depth=26..30, filters=3645, revisions=(35053,useless=31654), ccks=58999, wck=0.156, mem=84M719
4.67/3.24	    decisions=4298, wrong=1632, backtracks=184, failedAssignments=1632, nogoods=495
4.67/3.24	    nFilterCalls=292, avgTableProportion=0.5, avgTableSize=1.0
4.67/3.24	    
4.67/3.25	    num=30, depth=19..52, filters=3941, revisions=(38335,useless=34653), ccks=64436, wck=0.165, mem=84M719
4.67/3.25	    decisions=4693, wrong=1806, backtracks=195, failedAssignments=1806, nogoods=535
4.67/3.25	    nFilterCalls=305, avgTableProportion=0.5, avgTableSize=1.0
4.67/3.25	    
4.67/3.26	    num=31, depth=35..38, filters=4227, revisions=(40465,useless=36510), ccks=68295, wck=0.172, mem=84M719
4.67/3.26	    decisions=5110, wrong=1997, backtracks=198, failedAssignments=1997, nogoods=559
4.67/3.26	    nFilterCalls=318, avgTableProportion=0.5, avgTableSize=1.0
4.67/3.26	    
4.67/3.26	    num=32, depth=46..54, filters=4509, revisions=(44530,useless=40306), ccks=71674, wck=0.18, mem=84M719
4.67/3.26	    decisions=5578, wrong=2208, backtracks=206, failedAssignments=2208, nogoods=579
4.67/3.26	    nFilterCalls=331, avgTableProportion=0.5, avgTableSize=1.0
4.67/3.26	    
4.67/3.27	    num=33, depth=34..38, filters=4813, revisions=(47409,useless=42894), ccks=74311, wck=0.187, mem=84M719
4.67/3.27	    decisions=6076, wrong=2440, backtracks=210, failedAssignments=2440, nogoods=596
4.67/3.27	    nFilterCalls=344, avgTableProportion=0.5, avgTableSize=1.0
4.67/3.27	    
4.67/3.28	    num=34, depth=30..60, filters=5254, revisions=(55818,useless=50897), ccks=84117, wck=0.201, mem=84M719
4.67/3.28	    decisions=6640, wrong=2695, backtracks=234, failedAssignments=2695, nogoods=657
4.67/3.28	    nFilterCalls=387, avgTableProportion=0.5, avgTableSize=1.0
4.67/3.28	    
4.98/3.30	    num=35, depth=31..63, filters=5763, revisions=(66587,useless=61174), ccks=97978, wck=0.217, mem=84M719
4.98/3.30	    decisions=7260, wrong=2976, backtracks=252, failedAssignments=2976, nogoods=721
4.98/3.30	    nFilterCalls=404, avgTableProportion=0.5, avgTableSize=1.0
4.98/3.30	    
4.98/3.32	    num=36, depth=30..49, filters=6392, revisions=(72006,useless=65981), ccks=112450, wck=0.233, mem=84M719
4.98/3.32	    decisions=7922, wrong=3285, backtracks=264, failedAssignments=3285, nogoods=783
4.98/3.32	    nFilterCalls=421, avgTableProportion=0.5, avgTableSize=1.0
4.98/3.32	    
4.98/3.33	    num=37, depth=36..61, filters=6952, revisions=(78671,useless=72103), ccks=122826, wck=0.247, mem=84M719
4.98/3.33	    decisions=8650, wrong=3625, backtracks=277, failedAssignments=3625, nogoods=812
4.98/3.33	    nFilterCalls=438, avgTableProportion=0.5, avgTableSize=1.0
4.98/3.33	    
4.98/3.34	    num=38, depth=36..50, filters=7523, revisions=(85448,useless=78326), ccks=131307, wck=0.26, mem=84M719
4.98/3.34	    decisions=9442, wrong=3999, backtracks=283, failedAssignments=3999, nogoods=858
4.98/3.34	    nFilterCalls=455, avgTableProportion=0.5, avgTableSize=1.0
4.98/3.34	    
4.98/3.36	    num=39, depth=43..60, filters=8115, revisions=(93482,useless=85785), ccks=140039, wck=0.273, mem=84M719
4.98/3.36	    decisions=10308, wrong=4410, backtracks=299, failedAssignments=4410, nogoods=873
4.98/3.36	    nFilterCalls=472, avgTableProportion=0.5, avgTableSize=1.0
4.98/3.36	    
4.98/3.37	    num=40, depth=35..50, filters=8849, revisions=(99729,useless=91315), ccks=152688, wck=0.289, mem=87M362
4.98/3.37	    decisions=11255, wrong=4862, backtracks=306, failedAssignments=4862, nogoods=933
4.98/3.37	    nFilterCalls=489, avgTableProportion=0.5, avgTableSize=1.0
4.98/3.37	    
4.98/3.39	    num=41, depth=36..62, filters=9491, revisions=(108552,useless=99513), ccks=164026, wck=0.305, mem=87M362
4.98/3.39	    decisions=12293, wrong=5359, backtracks=324, failedAssignments=5359, nogoods=981
4.98/3.39	    nFilterCalls=506, avgTableProportion=0.5, avgTableSize=1.0
4.98/3.39	    
5.28/3.41	    num=42, depth=38..50, filters=10514, revisions=(117953,useless=107908), ccks=185876, wck=0.328, mem=87M362
5.28/3.41	    decisions=13428, wrong=5906, backtracks=333, failedAssignments=5906, nogoods=1012
5.28/3.41	    nFilterCalls=523, avgTableProportion=0.5, avgTableSize=1.0
5.28/3.41	    
5.28/3.44	    num=43, depth=38..63, filters=11532, revisions=(129853,useless=118814), ccks=206946, wck=0.353, mem=87M362
5.28/3.44	    decisions=14690, wrong=6508, backtracks=360, failedAssignments=6508, nogoods=1094
5.28/3.44	    nFilterCalls=547, avgTableProportion=0.5, avgTableSize=1.0
5.28/3.44	    
5.28/3.46	    num=44, depth=37..65, filters=12498, revisions=(144251,useless=132265), ccks=223576, wck=0.376, mem=87M362
5.28/3.46	    decisions=16067, wrong=7170, backtracks=380, failedAssignments=7170, nogoods=1153
5.28/3.46	    nFilterCalls=566, avgTableProportion=0.5, avgTableSize=1.0
5.28/3.46	    
5.28/3.49	    num=45, depth=41..54, filters=13601, revisions=(155229,useless=142159), ccks=246183, wck=0.402, mem=87M362
5.28/3.49	    decisions=17565, wrong=7898, backtracks=393, failedAssignments=7898, nogoods=1166
5.28/3.49	    nFilterCalls=585, avgTableProportion=0.5, avgTableSize=1.0
5.28/3.49	    
5.59/3.51	    num=46, depth=37..67, filters=14731, revisions=(166139,useless=151958), ccks=266178, wck=0.428, mem=87M362
5.59/3.51	    decisions=19205, wrong=8699, backtracks=423, failedAssignments=8699, nogoods=1180
5.59/3.51	    nFilterCalls=604, avgTableProportion=0.5, avgTableSize=1.0
5.59/3.51	    
5.59/3.55	    num=47, depth=33..36, filters=16877, revisions=(195277,useless=178969), ccks=296774, wck=0.467, mem=87M362
5.59/3.55	    decisions=21001, wrong=9580, backtracks=653, failedAssignments=9580, nogoods=1219
5.59/3.55	    nFilterCalls=623, avgTableProportion=0.5, avgTableSize=1.0
5.59/3.55	    
5.88/3.60	    num=48, depth=24..66, filters=18891, revisions=(220566,useless=202308), ccks=341670, wck=0.515, mem=90M4
5.88/3.60	    decisions=22998, wrong=10550, backtracks=865, failedAssignments=10550, nogoods=1352
5.88/3.60	    nFilterCalls=698, avgTableProportion=0.5, avgTableSize=1.0
5.88/3.60	    
5.88/3.65	    num=49, depth=31..70, filters=20706, revisions=(248363,useless=228312), ccks=398422, wck=0.571, mem=90M4
5.88/3.65	    decisions=25194, wrong=11617, backtracks=906, failedAssignments=11617, nogoods=1513
5.88/3.65	    nFilterCalls=720, avgTableProportion=0.5, avgTableSize=1.0
5.88/3.65	    
6.18/3.71	    num=50, depth=37..64, filters=22562, revisions=(270625,useless=248740), ccks=441579, wck=0.621, mem=90M4
6.18/3.71	    decisions=27583, wrong=12790, backtracks=930, failedAssignments=12790, nogoods=1547
6.18/3.71	    nFilterCalls=742, avgTableProportion=0.5, avgTableSize=1.0
6.18/3.71	    
6.18/3.78	    num=51, depth=35..67, filters=25057, revisions=(307941,useless=283583), ccks=517779, wck=0.699, mem=92M647
6.18/3.78	    decisions=30206, wrong=14081, backtracks=1018, failedAssignments=14081, nogoods=1561
6.18/3.78	    nFilterCalls=764, avgTableProportion=0.5, avgTableSize=1.0
6.18/3.78	    
6.48/3.84	    num=52, depth=29..63, filters=27213, revisions=(336815,useless=310323), ccks=567242, wck=0.754, mem=92M647
6.48/3.84	    decisions=33086, wrong=15501, backtracks=1048, failedAssignments=15501, nogoods=1623
6.48/3.84	    nFilterCalls=786, avgTableProportion=0.5, avgTableSize=1.0
6.48/3.84	    
6.79/3.91	    num=53, depth=31..69, filters=30216, revisions=(372035,useless=342562), ccks=636565, wck=0.831, mem=95M289
6.79/3.91	    decisions=36276, wrong=17063, backtracks=1263, failedAssignments=17063, nogoods=1979
6.79/3.91	    nFilterCalls=808, avgTableProportion=0.5, avgTableSize=1.0
6.79/3.91	    
6.79/3.99	    num=54, depth=27..66, filters=32897, revisions=(414053,useless=381921), ccks=706100, wck=0.906, mem=97M932
6.79/3.99	    decisions=39765, wrong=18781, backtracks=1319, failedAssignments=18781, nogoods=2155
6.79/3.99	    nFilterCalls=830, avgTableProportion=0.5, avgTableSize=1.0
6.79/3.99	    
7.12/4.05	    num=55, depth=27..73, filters=35375, revisions=(452152,useless=417564), ccks=755509, wck=0.963, mem=97M932
7.12/4.05	    decisions=43611, wrong=20671, backtracks=1362, failedAssignments=20671, nogoods=2349
7.12/4.05	    nFilterCalls=852, avgTableProportion=0.5, avgTableSize=1.0
7.12/4.05	    
7.42/4.14	    num=56, depth=28..73, filters=38969, revisions=(503913,useless=465753), ccks=862979, wck=1.061, mem=100M575
7.42/4.14	    decisions=47833, wrong=22750, backtracks=1488, failedAssignments=22750, nogoods=2627
7.42/4.14	    nFilterCalls=874, avgTableProportion=0.5, avgTableSize=1.0
7.42/4.14	    
7.65/4.22	    num=57, depth=29..72, filters=42540, revisions=(552974,useless=511265), ccks=962266, wck=1.133, mem=103M217
7.65/4.22	    decisions=52469, wrong=25037, backtracks=1555, failedAssignments=25037, nogoods=2938
7.65/4.22	    nFilterCalls=896, avgTableProportion=0.5, avgTableSize=1.0
7.65/4.22	    
7.78/4.30	    num=58, depth=35..78, filters=46799, revisions=(624600,useless=578676), ccks=1105513, wck=1.221, mem=105M860
7.78/4.30	    decisions=57567, wrong=27553, backtracks=1621, failedAssignments=27553, nogoods=3422
7.78/4.30	    nFilterCalls=944, avgTableProportion=0.5, avgTableSize=1.0
7.78/4.30	    
7.78/4.37	    num=59, depth=35..78, filters=50811, revisions=(692614,useless=642703), ccks=1210311, wck=1.289, mem=108M502
7.78/4.37	    decisions=63176, wrong=30321, backtracks=1709, failedAssignments=30321, nogoods=3725
7.78/4.37	    nFilterCalls=969, avgTableProportion=0.5, avgTableSize=1.0
7.78/4.37	    
7.88/4.47	    num=60, depth=37..84, filters=55826, revisions=(791277,useless=736392), ccks=1358029, wck=1.383, mem=113M787
7.88/4.47	    decisions=69333, wrong=33365, backtracks=1886, failedAssignments=33365, nogoods=4075
7.88/4.47	    nFilterCalls=1014, avgTableProportion=0.5, avgTableSize=1.0
7.88/4.47	    
7.99/4.58	    num=61, depth=36..71, filters=62138, revisions=(908760,useless=847590), ccks=1545936, wck=1.499, mem=116M430
7.99/4.58	    decisions=76087, wrong=36714, backtracks=2210, failedAssignments=36714, nogoods=4312
7.99/4.58	    nFilterCalls=1041, avgTableProportion=0.5, avgTableSize=1.0
7.99/4.58	    
8.31/4.81	    num=62, depth=31..76, filters=70501, revisions=(1018503,useless=948997), ccks=1953763, wck=1.724, mem=126M999
8.31/4.81	    decisions=83512, wrong=40398, backtracks=2774, failedAssignments=40398, nogoods=4683
8.31/4.81	    nFilterCalls=1068, avgTableProportion=0.5, avgTableSize=1.0
8.31/4.81	    
8.41/4.99	    num=63, depth=42..75, filters=79191, revisions=(1173786,useless=1095617), ccks=2275786, wck=1.911, mem=132M284
8.41/4.99	    decisions=91689, wrong=44450, backtracks=3095, failedAssignments=44450, nogoods=5147
8.41/4.99	    nFilterCalls=1095, avgTableProportion=0.5, avgTableSize=1.0
8.41/4.99	    
8.62/5.15	    num=64, depth=41..76, filters=87459, revisions=(1331478,useless=1245068), ccks=2514136, wck=2.065, mem=140M211
8.62/5.15	    decisions=100664, wrong=48907, backtracks=3687, failedAssignments=48907, nogoods=5507
8.62/5.15	    nFilterCalls=1122, avgTableProportion=0.5, avgTableSize=1.0
8.62/5.15	    
8.88/5.33	    num=65, depth=38..75, filters=96154, revisions=(1476892,useless=1381814), ccks=2770574, wck=2.242, mem=30M692
8.88/5.33	    decisions=110532, wrong=53810, backtracks=4132, failedAssignments=53810, nogoods=5923
8.88/5.33	    nFilterCalls=1149, avgTableProportion=0.5, avgTableSize=1.0
8.88/5.33	    
8.97/5.49	    num=66, depth=42..80, filters=108203, revisions=(1685904,useless=1578804), ccks=3015106, wck=2.406, mem=38M461
8.97/5.49	    decisions=121393, wrong=59204, backtracks=5411, failedAssignments=59204, nogoods=6329
8.97/5.49	    nFilterCalls=1176, avgTableProportion=0.5, avgTableSize=1.0
8.97/5.49	    
9.17/5.67	    num=67, depth=32..79, filters=119474, revisions=(1784464,useless=1666120), ccks=3320955, wck=2.583, mem=46M230
9.17/5.67	    decisions=133310, wrong=65137, backtracks=5863, failedAssignments=65137, nogoods=6536
9.17/5.67	    nFilterCalls=1203, avgTableProportion=0.5, avgTableSize=1.0
9.17/5.67	    
9.47/5.95	    num=68, depth=31..82, filters=132419, revisions=(2009495,useless=1878233), ccks=3818793, wck=2.866, mem=59M177
9.47/5.95	    decisions=146424, wrong=71663, backtracks=6566, failedAssignments=71663, nogoods=6942
9.47/5.95	    nFilterCalls=1238, avgTableProportion=0.5, avgTableSize=1.0
9.47/5.95	    
9.79/6.25	    num=69, depth=33..60, filters=147661, revisions=(2222873,useless=2076396), ccks=4359984, wck=3.168, mem=69M536
9.79/6.25	    decisions=160834, wrong=78842, backtracks=7316, failedAssignments=78842, nogoods=7171
9.79/6.25	    nFilterCalls=1265, avgTableProportion=0.5, avgTableSize=1.0
9.79/6.25	    
10.09/6.55	    num=70, depth=36..84, filters=159281, revisions=(2689542,useless=2531472), ccks=4841166, wck=3.469, mem=79M894
10.09/6.55	    decisions=176697, wrong=86739, backtracks=8332, failedAssignments=86739, nogoods=7528
10.09/6.55	    nFilterCalls=1308, avgTableProportion=0.5, avgTableSize=1.0
10.09/6.55	    
10.41/6.82	    num=71, depth=38..53, filters=181434, revisions=(2930465,useless=2750269), ccks=5272065, wck=3.737, mem=92M842
10.41/6.82	    decisions=194112, wrong=95426, backtracks=9977, failedAssignments=95426, nogoods=7594
10.41/6.82	    nFilterCalls=1335, avgTableProportion=0.5, avgTableSize=1.0
10.41/6.82	    
10.66/7.04	    num=72, depth=41..84, filters=193954, revisions=(3222508,useless=3029819), ccks=5618744, wck=3.957, mem=100M610
10.66/7.04	    decisions=213300, wrong=104981, backtracks=10574, failedAssignments=104981, nogoods=7966
10.66/7.04	    nFilterCalls=1382, avgTableProportion=0.5, avgTableSize=1.0
10.66/7.04	    
11.05/7.45	    num=73, depth=38..83, filters=210783, revisions=(3584255,useless=3374764), ccks=6325977, wck=4.364, mem=116M148
11.05/7.45	    decisions=234376, wrong=115492, backtracks=11891, failedAssignments=115492, nogoods=8269
11.05/7.45	    nFilterCalls=1417, avgTableProportion=0.5, avgTableSize=1.0
11.05/7.45	    
11.76/8.14	    num=74, depth=41..58, filters=240927, revisions=(3980729,useless=3741121), ccks=7595345, wck=5.055, mem=142M43
11.76/8.14	    decisions=257555, wrong=127054, backtracks=12963, failedAssignments=127054, nogoods=8401
11.76/8.14	    nFilterCalls=1444, avgTableProportion=0.5, avgTableSize=1.0
11.76/8.14	    
11.85/8.28	    num=75, depth=41..78, filters=254715, revisions=(4277208,useless=4023839), ccks=7762943, wck=5.196, mem=147M222
11.85/8.28	    decisions=283055, wrong=139772, backtracks=13222, failedAssignments=139772, nogoods=8653
11.85/8.28	    nFilterCalls=1471, avgTableProportion=0.5, avgTableSize=1.0
11.85/8.28	    
12.39/8.78	    num=76, depth=39..46, filters=300670, revisions=(4823855,useless=4524558), ccks=8512235, wck=5.693, mem=39M452
12.39/8.78	    decisions=311080, wrong=153762, backtracks=16381, failedAssignments=153762, nogoods=8718
12.39/8.78	    nFilterCalls=1498, avgTableProportion=0.5, avgTableSize=1.0
12.39/8.78	    
12.59/8.93	    num=77, depth=38..77, filters=317241, revisions=(5110024,useless=4794183), ccks=8698360, wck=5.849, mem=44M669
12.59/8.93	    decisions=341920, wrong=169151, backtracks=16833, failedAssignments=169151, nogoods=9003
12.59/8.93	    nFilterCalls=1525, avgTableProportion=0.5, avgTableSize=1.0
12.59/8.93	    
13.29/9.67	    num=78, depth=44..83, filters=348126, revisions=(5872328,useless=5525629), ccks=9972165, wck=6.587, mem=70M749
13.29/9.67	    decisions=375840, wrong=186079, backtracks=18704, failedAssignments=186079, nogoods=9532
13.29/9.67	    nFilterCalls=1576, avgTableProportion=0.5, avgTableSize=1.0
13.29/9.67	    
13.80/10.14	    num=79, depth=38..82, filters=387808, revisions=(6369050,useless=5982696), ccks=10692679, wck=7.057, mem=91M613
13.80/10.14	    decisions=413124, wrong=204700, backtracks=22134, failedAssignments=204700, nogoods=9548
13.80/10.14	    nFilterCalls=1611, avgTableProportion=0.5, avgTableSize=1.0
13.80/10.14	    
13.99/10.36	    num=80, depth=45..76, filters=409880, revisions=(6778845,useless=6370446), ccks=10963044, wck=7.28, mem=96M830
13.99/10.36	    decisions=454150, wrong=225184, backtracks=22761, failedAssignments=225184, nogoods=9827
13.99/10.36	    nFilterCalls=1638, avgTableProportion=0.5, avgTableSize=1.0
13.99/10.36	    
14.80/11.11	    num=81, depth=42..82, filters=446784, revisions=(7522048,useless=7076772), ccks=12211352, wck=8.024, mem=125M518
14.80/11.11	    decisions=499280, wrong=247716, backtracks=25884, failedAssignments=247716, nogoods=10274
14.80/11.11	    nFilterCalls=1693, avgTableProportion=0.5, avgTableSize=1.0
14.80/11.11	    
15.20/11.53	    num=82, depth=44..82, filters=478624, revisions=(8137850,useless=7660761), ccks=12825933, wck=8.445, mem=138M558
15.20/11.53	    decisions=548922, wrong=272501, backtracks=27370, failedAssignments=272501, nogoods=10588
15.20/11.53	    nFilterCalls=1740, avgTableProportion=0.5, avgTableSize=1.0
15.20/11.53	    
16.65/12.98	    num=83, depth=35..41, filters=580515, revisions=(8674742,useless=8095789), ccks=15453947, wck=9.893, mem=100M934
16.65/12.98	    decisions=603487, wrong=299765, backtracks=31594, failedAssignments=299765, nogoods=10636
16.65/12.98	    nFilterCalls=1767, avgTableProportion=0.5, avgTableSize=1.0
16.65/12.98	    
17.05/13.33	    num=84, depth=43..83, filters=614201, revisions=(9253125,useless=8640513), ccks=15904518, wck=10.245, mem=111M633
17.05/13.33	    decisions=663542, wrong=329755, backtracks=32440, failedAssignments=329755, nogoods=11134
17.05/13.33	    nFilterCalls=1798, avgTableProportion=0.5, avgTableSize=1.0
17.05/13.33	    
18.15/14.49	    num=85, depth=38..85, filters=679300, revisions=(10132433,useless=9454749), ccks=17929843, wck=11.401, mem=154M428
18.15/14.49	    decisions=729579, wrong=362744, backtracks=35077, failedAssignments=362744, nogoods=11319
18.15/14.49	    nFilterCalls=1833, avgTableProportion=0.5, avgTableSize=1.0
18.15/14.49	    
18.65/14.93	    num=86, depth=39..81, filters=720779, revisions=(10860960,useless=10141824), ccks=18507672, wck=11.845, mem=168M692
18.65/14.93	    decisions=802222, wrong=399032, backtracks=36073, failedAssignments=399032, nogoods=11776
18.65/14.93	    nFilterCalls=1860, avgTableProportion=0.5, avgTableSize=1.0
18.65/14.93	    
20.50/16.72	    num=87, depth=39..82, filters=782102, revisions=(12814172,useless=12033740), ccks=21551272, wck=13.633, mem=47M855
20.50/16.72	    decisions=882118, wrong=438949, backtracks=39626, failedAssignments=438949, nogoods=12239
20.50/16.72	    nFilterCalls=1919, avgTableProportion=0.5, avgTableSize=1.0
20.50/16.72	    
21.20/17.46	    num=88, depth=45..85, filters=836705, revisions=(13867998,useless=13032990), ccks=22657138, wck=14.381, mem=72M893
21.20/17.46	    decisions=970008, wrong=482858, backtracks=42404, failedAssignments=482858, nogoods=12744
21.20/17.46	    nFilterCalls=2022, avgTableProportion=0.5, avgTableSize=1.0
21.20/17.46	    
22.60/18.84	    num=89, depth=39..83, filters=914142, revisions=(15318759,useless=14406341), ccks=24905034, wck=15.76, mem=122M969
22.60/18.84	    decisions=1066665, wrong=531158, backtracks=47698, failedAssignments=531158, nogoods=13115
22.60/18.84	    nFilterCalls=2081, avgTableProportion=0.5, avgTableSize=1.0
22.60/18.84	    
24.20/20.41	    num=90, depth=34..83, filters=1014094, revisions=(16696788,useless=15684445), ccks=27534237, wck=17.331, mem=198M83
24.20/20.41	    decisions=1172976, wrong=584288, backtracks=55070, failedAssignments=584288, nogoods=13300
24.20/20.41	    nFilterCalls=2168, avgTableProportion=0.5, avgTableSize=1.0
24.20/20.41	    
25.15/21.35	    num=91, depth=42..83, filters=1082924, revisions=(18273401,useless=17192255), ccks=28799221, wck=18.266, mem=44M943
25.15/21.35	    decisions=1289938, wrong=642731, backtracks=58011, failedAssignments=642731, nogoods=13789
25.15/21.35	    nFilterCalls=2291, avgTableProportion=0.5, avgTableSize=1.0
25.15/21.35	    
28.45/24.61	    num=92, depth=41..84, filters=1210776, revisions=(21250434,useless=20041463), ccks=34501446, wck=21.525, mem=165M621
28.45/24.61	    decisions=1418582, wrong=707018, backtracks=65106, failedAssignments=707018, nogoods=14361
28.45/24.61	    nFilterCalls=2614, avgTableProportion=0.5, avgTableSize=1.0
28.45/24.61	    
30.06/26.24	    num=93, depth=45..84, filters=1309109, revisions=(23714209,useless=22406932), ccks=37016348, wck=23.155, mem=213M892
30.06/26.24	    decisions=1560087, wrong=777734, backtracks=70831, failedAssignments=777734, nogoods=14685
30.06/26.24	    nFilterCalls=2725, avgTableProportion=0.5, avgTableSize=1.0
30.06/26.24	    
33.21/29.34	    num=94, depth=38..78, filters=1467735, revisions=(26688251,useless=25222375), ccks=42327188, wck=26.253, mem=88M919
33.21/29.34	    decisions=1715718, wrong=855521, backtracks=82180, failedAssignments=855521, nogoods=15012
33.21/29.34	    nFilterCalls=2752, avgTableProportion=0.5, avgTableSize=1.0
33.21/29.34	    
34.61/30.72	    num=95, depth=40..85, filters=1598458, revisions=(28852327,useless=27255755), ccks=44179217, wck=27.635, mem=142M84
34.61/30.72	    decisions=1886892, wrong=941087, backtracks=92164, failedAssignments=941087, nogoods=15027
34.61/30.72	    nFilterCalls=2815, avgTableProportion=0.5, avgTableSize=1.0
34.61/30.72	    
35.81/31.96	    num=96, depth=38..81, filters=1708904, revisions=(30543546,useless=28836555), ccks=45880296, wck=28.872, mem=180M749
35.81/31.96	    decisions=2075197, wrong=1035210, backtracks=94690, failedAssignments=1035210, nogoods=15340
35.81/31.96	    nFilterCalls=2842, avgTableProportion=0.5, avgTableSize=1.0
35.81/31.96	    
37.61/33.78	    num=97, depth=40..83, filters=1841425, revisions=(32819196,useless=30979711), ccks=48602171, wck=30.692, mem=238M747
37.61/33.78	    decisions=2282330, wrong=1138745, backtracks=101108, failedAssignments=1138745, nogoods=15726
37.61/33.78	    nFilterCalls=2909, avgTableProportion=0.5, avgTableSize=1.0
37.61/33.78	    
40.98/37.07	    num=98, depth=40..83, filters=2088102, revisions=(36554778,useless=34468643), ccks=53796041, wck=33.989, mem=135M131
40.98/37.07	    decisions=2510170, wrong=1252634, backtracks=121198, failedAssignments=1252634, nogoods=15915
40.98/37.07	    nFilterCalls=2956, avgTableProportion=0.5, avgTableSize=1.0
40.98/37.07	    
43.47/39.60	    num=99, depth=38..84, filters=2250527, revisions=(39506869,useless=37258336), ccks=57781946, wck=36.512, mem=220M126
43.47/39.60	    decisions=2760784, wrong=1377912, backtracks=126555, failedAssignments=1377912, nogoods=16283
43.47/39.60	    nFilterCalls=3007, avgTableProportion=0.5, avgTableSize=1.0
43.47/39.60	    
45.62/41.67	    num=100, depth=47..84, filters=2416407, revisions=(42654260,useless=40239874), ccks=60663601, wck=38.585, mem=45M207
45.62/41.67	    decisions=3036458, wrong=1515718, backtracks=132255, failedAssignments=1515718, nogoods=16572
45.62/41.67	    nFilterCalls=3062, avgTableProportion=0.5, avgTableSize=1.0
45.62/41.67	    
50.93/46.96	    num=101, depth=46..84, filters=2652876, revisions=(49162762,useless=46511934), ccks=69496189, wck=43.88, mem=224M966
50.93/46.96	    decisions=3339683, wrong=1667304, backtracks=150524, failedAssignments=1667304, nogoods=17086
50.93/46.96	    nFilterCalls=3197, avgTableProportion=0.5, avgTableSize=1.0
50.93/46.96	    
53.19/49.15	    num=102, depth=40..83, filters=2842638, revisions=(52981437,useless=50140874), ccks=72305124, wck=46.07, mem=54M111
53.19/49.15	    decisions=3673235, wrong=1834049, backtracks=156453, failedAssignments=1834049, nogoods=17338
53.19/49.15	    nFilterCalls=3312, avgTableProportion=0.5, avgTableSize=1.0
53.19/49.15	    
58.00/53.93	    num=103, depth=38..85, filters=3272531, revisions=(58334213,useless=55063784), ccks=79640429, wck=50.846, mem=49M372
58.00/53.93	    decisions=4040114, wrong=2017468, backtracks=192915, failedAssignments=2017468, nogoods=17389
58.00/53.93	    nFilterCalls=3351, avgTableProportion=0.5, avgTableSize=1.0
58.00/53.93	    
60.70/56.65	    num=104, depth=29..79, filters=3508402, revisions=(62375635,useless=58869362), ccks=83341180, wck=53.569, mem=132M815
60.70/56.65	    decisions=4443700, wrong=2219229, backtracks=200401, failedAssignments=2219229, nogoods=17605
60.70/56.65	    nFilterCalls=3382, avgTableProportion=0.5, avgTableSize=1.0
60.70/56.65	    
67.02/62.90	    num=105, depth=35..83, filters=3828651, revisions=(72902926,useless=69076431), ccks=92878145, wck=59.814, mem=104M759
67.02/62.90	    decisions=4887639, wrong=2441167, backtracks=243304, failedAssignments=2441167, nogoods=18098
67.02/62.90	    nFilterCalls=3417, avgTableProportion=0.5, avgTableSize=1.0
67.02/62.90	    
70.63/66.50	    num=106, depth=33..85, filters=4121405, revisions=(77906030,useless=73786808), ccks=98020308, wck=63.417, mem=216M234
70.63/66.50	    decisions=5375970, wrong=2685298, backtracks=251090, failedAssignments=2685298, nogoods=18637
70.63/66.50	    nFilterCalls=3820, avgTableProportion=0.5, avgTableSize=1.0
70.63/66.50	    
74.80/70.66	    num=107, depth=35..85, filters=4449421, revisions=(83423852,useless=78976641), ccks=103932917, wck=67.578, mem=132M852
74.80/70.66	    decisions=5913132, wrong=2953843, backtracks=262839, failedAssignments=2953843, nogoods=19209
74.80/70.66	    nFilterCalls=3991, avgTableProportion=0.5, avgTableSize=1.0
74.80/70.66	    
83.26/79.01	    num=108, depth=34..85, filters=4894396, revisions=(95485881,useless=90593722), ccks=117085619, wck=75.931, mem=196M382
83.26/79.01	    decisions=6503986, wrong=3249242, backtracks=298871, failedAssignments=3249242, nogoods=19626
83.26/79.01	    nFilterCalls=4282, avgTableProportion=0.5, avgTableSize=1.0
83.26/79.01	    
88.57/84.33	    num=109, depth=40..83, filters=5303582, revisions=(102016397,useless=96715079), ccks=125018670, wck=81.242, mem=164M675
88.57/84.33	    decisions=7153930, wrong=3574181, backtracks=310227, failedAssignments=3574181, nogoods=20033
88.57/84.33	    nFilterCalls=4417, avgTableProportion=0.5, avgTableSize=1.0
88.57/84.33	    
92.98/88.77	    num=110, depth=35..79, filters=5695247, revisions=(109122906,useless=103429950), ccks=130800002, wck=85.686, mem=91M455
92.98/88.77	    decisions=7868863, wrong=3931614, backtracks=319090, failedAssignments=3931614, nogoods=20442
92.98/88.77	    nFilterCalls=4524, avgTableProportion=0.5, avgTableSize=1.0
92.98/88.77	    
110.34/106.04	    num=111, depth=31..85, filters=6465316, revisions=(127903548,useless=121440632), ccks=159985835, wck=102.956, mem=124M601
110.34/106.04	    decisions=8655275, wrong=4324790, backtracks=365108, failedAssignments=4324790, nogoods=21002
110.34/106.04	    nFilterCalls=5021, avgTableProportion=0.5, avgTableSize=1.0
110.34/106.04	    
116.35/112.06	    num=112, depth=45..85, filters=6961076, revisions=(137593491,useless=130634842), ccks=168160764, wck=108.978, mem=115M819
116.35/112.06	    decisions=9520333, wrong=4757284, backtracks=380619, failedAssignments=4757284, nogoods=21393
116.35/112.06	    nFilterCalls=5224, avgTableProportion=0.5, avgTableSize=1.0
116.35/112.06	    
125.06/120.75	    num=113, depth=40..84, filters=7548657, revisions=(148300549,useless=140754346), ccks=181322130, wck=117.666, mem=209M372
125.06/120.75	    decisions=10471888, wrong=5233028, backtracks=398529, failedAssignments=5233028, nogoods=22023
125.06/120.75	    nFilterCalls=5507, avgTableProportion=0.5, avgTableSize=1.0
125.06/120.75	    
144.40/140.05	    num=114, depth=34..85, filters=8373444, revisions=(176137896,useless=167766933), ccks=212664189, wck=136.962, mem=163M474
144.40/140.05	    decisions=11518585, wrong=5756346, backtracks=452473, failedAssignments=5756346, nogoods=22468
144.40/140.05	    nFilterCalls=5830, avgTableProportion=0.5, avgTableSize=1.0
144.40/140.05	    
150.20/145.89	    num=115, depth=34..84, filters=8986972, revisions=(186838709,useless=177854245), ccks=219354744, wck=142.802, mem=151M550
150.20/145.89	    decisions=12669960, wrong=6331996, backtracks=465857, failedAssignments=6331996, nogoods=22981
150.20/145.89	    nFilterCalls=5961, avgTableProportion=0.5, avgTableSize=1.0
150.20/145.89	    
162.98/158.56	    num=116, depth=35..85, filters=9814778, revisions=(202574887,useless=192762644), ccks=238780158, wck=155.479, mem=93M943
162.98/158.56	    decisions=13936459, wrong=6965211, backtracks=495084, failedAssignments=6965211, nogoods=23552
162.98/158.56	    nFilterCalls=6156, avgTableProportion=0.5, avgTableSize=1.0
162.98/158.56	    
189.93/185.44	    num=117, depth=34..85, filters=11021998, revisions=(234764336,useless=223744900), ccks=283639194, wck=182.356, mem=147M659
189.93/185.44	    decisions=15329589, wrong=7661747, backtracks=573125, failedAssignments=7661747, nogoods=24094
189.93/185.44	    nFilterCalls=6915, avgTableProportion=0.5, avgTableSize=1.0
189.93/185.44	    
203.96/199.49	    num=118, depth=35..84, filters=11978576, revisions=(253367625,useless=241391638), ccks=304611275, wck=196.404, mem=54M537
203.96/199.49	    decisions=16862031, wrong=8427937, backtracks=609518, failedAssignments=8427937, nogoods=24524
203.96/199.49	    nFilterCalls=8142, avgTableProportion=0.5, avgTableSize=1.0
203.96/199.49	    
224.31/219.74	    num=119, depth=41..84, filters=13121290, revisions=(275722428,useless=262603754), ccks=337204860, wck=216.659, mem=99M833
224.31/219.74	    decisions=18547723, wrong=9270746, backtracks=652217, failedAssignments=9270746, nogoods=25204
224.31/219.74	    nFilterCalls=9485, avgTableProportion=0.5, avgTableSize=1.0
224.31/219.74	    
250.88/246.29	    num=120, depth=35..85, filters=14706763, revisions=(299705664,useless=285001544), ccks=380582363, wck=243.203, mem=83M274
250.88/246.29	    decisions=20401941, wrong=10197836, backtracks=788962, failedAssignments=10197836, nogoods=25250
250.88/246.29	    nFilterCalls=10300, avgTableProportion=0.5, avgTableSize=1.0
250.88/246.29	    
282.07/277.33	    num=121, depth=33..85, filters=16264129, revisions=(335604709,useless=319343250), ccks=431674543, wck=274.245, mem=61M632
282.07/277.33	    decisions=22441600, wrong=11217635, backtracks=876610, failedAssignments=11217635, nogoods=25755
282.07/277.33	    nFilterCalls=12467, avgTableProportion=0.5, avgTableSize=1.0
282.07/277.33	    
299.92/295.15	    num=122, depth=45..85, filters=17615512, revisions=(360863932,useless=343251117), ccks=457131386, wck=292.065, mem=79M940
299.92/295.15	    decisions=24685228, wrong=12339414, backtracks=920205, failedAssignments=12339414, nogoods=26181
299.92/295.15	    nFilterCalls=13834, avgTableProportion=0.5, avgTableSize=1.0
299.92/295.15	    
367.98/363.02	    num=123, depth=39..84, filters=20216701, revisions=(426674274,useless=406460297), ccks=575831806, wck=359.932, mem=79M789
367.98/363.02	    decisions=27153212, wrong=13573371, backtracks=1148616, failedAssignments=13573371, nogoods=26652
367.98/363.02	    nFilterCalls=17769, avgTableProportion=0.5, avgTableSize=1.0
367.98/363.02	    
391.16/386.19	    num=124, depth=41..85, filters=22077188, revisions=(462434068,useless=440359631), ccks=608179571, wck=383.111, mem=74M137
391.16/386.19	    decisions=29867988, wrong=14930724, backtracks=1231099, failedAssignments=14930724, nogoods=27076
391.16/386.19	    nFilterCalls=18272, avgTableProportion=0.5, avgTableSize=1.0
391.16/386.19	    
420.96/415.80	    num=125, depth=38..83, filters=24018683, revisions=(498495280,useless=474479375), ccks=653176441, wck=412.721, mem=83M936
420.96/415.80	    decisions=32854226, wrong=16423812, backtracks=1296603, failedAssignments=16423812, nogoods=27497
420.96/415.80	    nFilterCalls=18611, avgTableProportion=0.5, avgTableSize=1.0
420.96/415.80	    
517.02/511.68	    num=126, depth=41..48, filters=32367756, revisions=(566374305,useless=534009354), ccks=818892264, wck=508.595, mem=50M603
517.02/511.68	    decisions=36139066, wrong=18066209, backtracks=1660359, failedAssignments=18066209, nogoods=27564
517.02/511.68	    nFilterCalls=18638, avgTableProportion=0.5, avgTableSize=1.0
517.02/511.68	    
581.39/575.84	    num=127, depth=33..85, filters=35382881, revisions=(632379018,useless=596998969), ccks=927520736, wck=572.76, mem=88M436
581.39/575.84	    decisions=39752403, wrong=19872846, backtracks=1862903, failedAssignments=19872846, nogoods=28032
581.39/575.84	    nFilterCalls=21457, avgTableProportion=0.5, avgTableSize=1.0
581.39/575.84	    
633.75/628.09	    num=128, depth=36..80, filters=38969915, revisions=(707733732,useless=668766676), ccks=1005669695, wck=625.002, mem=61M607
633.75/628.09	    decisions=43727072, wrong=21860147, backtracks=2199328, failedAssignments=21860147, nogoods=28320
633.75/628.09	    nFilterCalls=21688, avgTableProportion=0.5, avgTableSize=1.0
633.75/628.09	    
713.92/708.05	    num=129, depth=34..83, filters=42289457, revisions=(833191847,useless=790905276), ccks=1132489796, wck=704.966, mem=86M546
713.92/708.05	    decisions=48099191, wrong=24046178, backtracks=2476034, failedAssignments=24046178, nogoods=28716
713.92/708.05	    nFilterCalls=27323, avgTableProportion=0.5, avgTableSize=1.0
713.92/708.05	    
786.00/779.98	    num=130, depth=38..85, filters=45794850, revisions=(907919279,useless=862127342), ccks=1253039559, wck=776.901, mem=39M156
786.00/779.98	    decisions=52908530, wrong=26450812, backtracks=2620959, failedAssignments=26450812, nogoods=29283
786.00/779.98	    nFilterCalls=30122, avgTableProportion=0.5, avgTableSize=1.0
786.00/779.98	    
858.30/852.07	    num=131, depth=34..85, filters=49603160, revisions=(986967753,useless=937367533), ccks=1369557270, wck=848.986, mem=39M369
858.30/852.07	    decisions=58198776, wrong=29095909, backtracks=2807099, failedAssignments=29095909, nogoods=29633
858.30/852.07	    nFilterCalls=32245, avgTableProportion=0.5, avgTableSize=1.0
858.30/852.07	    
960.63/954.13	    num=132, depth=35..85, filters=54569073, revisions=(1097146909,useless=1042580803), ccks=1539064971, wck=951.042, mem=72M957
960.63/954.13	    decisions=64018047, wrong=32005516, backtracks=3158716, failedAssignments=32005516, nogoods=29887
960.63/954.13	    nFilterCalls=32828, avgTableProportion=0.5, avgTableSize=1.0
960.63/954.13	    
1005.25/998.61	    num=133, depth=42..85, filters=58319210, revisions=(1164567201,useless=1106250985), ccks=1599204223, wck=995.525, mem=68M718
1005.25/998.61	    decisions=70419253, wrong=35206084, backtracks=3273161, failedAssignments=35206084, nogoods=30297
1005.25/998.61	    nFilterCalls=35247, avgTableProportion=0.5, avgTableSize=1.0
1005.25/998.61	    
1142.54/1135.69	    num=134, depth=36..85, filters=64277984, revisions=(1305938877,useless=1241663914), ccks=1831824975, wck=1132.605, mem=58M74
1142.54/1135.69	    decisions=77460551, wrong=38726709, backtracks=3657099, failedAssignments=38726709, nogoods=30424
1142.54/1135.69	    nFilterCalls=40506, avgTableProportion=0.5, avgTableSize=1.0
1142.54/1135.69	    
1194.78/1187.77	    num=135, depth=36..84, filters=68826974, revisions=(1387280432,useless=1318456506), ccks=1898212750, wck=1184.688, mem=80M804
1194.78/1187.77	    decisions=85205983, wrong=42599396, backtracks=3827237, failedAssignments=42599396, nogoods=30837
1194.78/1187.77	    nFilterCalls=42317, avgTableProportion=0.5, avgTableSize=1.0
1194.78/1187.77	    
1338.16/1330.87	    num=136, depth=34..86, filters=75125640, revisions=(1593117700,useless=1517995135), ccks=2124546503, wck=1327.79, mem=44M238
1338.16/1330.87	    decisions=93725964, wrong=46859352, backtracks=4266257, failedAssignments=46859352, nogoods=31274
1338.16/1330.87	    nFilterCalls=46156, avgTableProportion=0.5, avgTableSize=1.0
1338.16/1330.87	    
1402.72/1395.21	    num=137, depth=41..85, filters=80547904, revisions=(1692179049,useless=1611634247), ccks=2204514775, wck=1392.122, mem=37M914
1402.72/1395.21	    decisions=103097935, wrong=51545304, backtracks=4428880, failedAssignments=51545304, nogoods=31605
1402.72/1395.21	    nFilterCalls=47771, avgTableProportion=0.5, avgTableSize=1.0
1402.72/1395.21	    
1549.08/1541.36	    num=138, depth=33..84, filters=87422893, revisions=(1913854329,useless=1826434565), ccks=2427057075, wck=1538.278, mem=83M406
1549.08/1541.36	    decisions=113407094, wrong=56699851, backtracks=4862649, failedAssignments=56699851, nogoods=32326
1549.08/1541.36	    nFilterCalls=49894, avgTableProportion=0.5, avgTableSize=1.0
1549.08/1541.36	    
1657.84/1649.86	    num=139, depth=35..85, filters=96238871, revisions=(2035010498,useless=1938774783), ccks=2584765317, wck=1646.774, mem=59M891
1657.84/1649.86	    decisions=124747168, wrong=62369853, backtracks=5225251, failedAssignments=62369853, nogoods=32635
1657.84/1649.86	    nFilterCalls=52129, avgTableProportion=0.5, avgTableSize=1.0
1657.84/1649.86	    
1910.54/1902.05	    num=140, depth=33..86, filters=107851981, revisions=(2342720342,useless=2234871544), ccks=2995891675, wck=1898.967, mem=65M406
1910.54/1902.05	    decisions=137221239, wrong=68606855, backtracks=6058023, failedAssignments=68606855, nogoods=33310
1910.54/1902.05	    nFilterCalls=60308, avgTableProportion=0.5, avgTableSize=1.0
1910.54/1902.05	    
1994.29/1985.67	    num=141, depth=44..85, filters=115469019, revisions=(2478797020,useless=2363331211), ccks=3095729340, wck=1982.589, mem=61M307
1994.29/1985.67	    decisions=150942714, wrong=75467557, backtracks=6243334, failedAssignments=75467557, nogoods=33730
1994.29/1985.67	    nFilterCalls=62651, avgTableProportion=0.5, avgTableSize=1.0
1994.29/1985.67	    
2112.91/2104.09	    num=142, depth=40..84, filters=123871489, revisions=(2670364006,useless=2546495754), ccks=3251819726, wck=2101.003, mem=53M902
2112.91/2104.09	    decisions=166036332, wrong=83014330, backtracks=6528836, failedAssignments=83014330, nogoods=34300
2112.91/2104.09	    nFilterCalls=74854, avgTableProportion=0.5, avgTableSize=1.0
2112.91/2104.09	    
2230.23/2221.12	    num=143, depth=38..85, filters=133588398, revisions=(2840431617,useless=2706846483), ccks=3398452589, wck=2218.034, mem=59M507
2230.23/2221.12	    decisions=182639303, wrong=91315780, backtracks=6987992, failedAssignments=91315780, nogoods=34925
2230.23/2221.12	    nFilterCalls=79777, avgTableProportion=0.5, avgTableSize=1.0
2230.23/2221.12

Verifier Data 

One s line expected

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (12553 MiB free)
  memory of node 1: 16384 MiB (15765 MiB free)
  node distances:
     10  21
     21  10

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


[startup+0.100104 s]*
/proc/loadavg: 0.00 0.01 0.05 1/202 25705
/proc/meminfo: memFree=28996004/32770624 swapFree=66999916/67108860
[pid=25692] ppid=25689 vsize=100808 memory=4744 CPUtime=0 cores=1,3,5,7
/proc/25692/stat : 25692 (java) S 25689 25692 25641 0 -1 1077944320 1394 0 0 0 0 0 0 0 20 0 2 0 414316532 103227392 1186 33554432000 4194304 4196468 140724977105344 140724977087888 139677004828407 0 0 4096 0 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
/proc/25692/statm: 25202 1186 884 1 0 16800 0
[pid=25692/tid=25704] ppid=25689 vsize=100808 memory=720575944405811505 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25704/stat : 25704 (java) D 25689 25692 25641 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 2 0 414316542 103227392 1186 33554432000 4194304 4196468 140724977105344 139677009065312 139676997507629 0 0 4096 0 18446744072101613092 0 0 -1 3 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 100808 KiB
Current children cumulated memory: 4744 KiB

[startup+0.209769 s]*
/proc/loadavg: 0.00 0.01 0.05 3/214 25717
/proc/meminfo: memFree=28979156/32770624 swapFree=66999916/67108860
[pid=25692] ppid=25689 vsize=10260324 memory=19028 CPUtime=0.03 cores=1,3,5,7
/proc/25692/stat : 25692 (java) S 25689 25692 25641 0 -1 1077944320 4171 0 0 0 2 1 0 0 20 0 9 0 414316532 10506571776 4757 33554432000 4194304 4196468 140724977105344 140724977087888 139677004828407 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
/proc/25692/statm: 2565081 4757 2129 1 0 2527622 0
[pid=25692/tid=25704] ppid=25689 vsize=10260324 memory=7022364594140610616 CPUtime=0.02 cores=1,3,5,7
/proc/25692/task/25704/stat : 25704 (java) R 25689 25692 25641 0 -1 4202560 2826 0 0 0 1 1 0 0 20 0 9 0 414316542 10506571776 4757 33554432000 4194304 4196468 140724977105344 139677009063792 139676988965128 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25706] ppid=25689 vsize=10260324 memory=345 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25706/stat : 25706 (java) S 25689 25692 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414316551 10506571776 4757 33554432000 4194304 4196468 140724977105344 139676611173008 139677004838613 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25707] ppid=25689 vsize=10260324 memory=139659292867864 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25707/stat : 25707 (java) S 25689 25692 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414316551 10506571776 4757 33554432000 4194304 4196468 140724977105344 139676610120208 139677004838613 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25708] ppid=25689 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25708/stat : 25708 (java) S 25689 25692 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414316551 10506571776 4757 33554432000 4194304 4196468 140724977105344 139676609067408 139677004838613 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25709] ppid=25689 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25709/stat : 25709 (java) S 25689 25692 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 414316551 10506571776 4757 33554432000 4194304 4196468 140724977105344 139676608014608 139677004838613 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25714] ppid=25689 vsize=10260324 memory=139659289855616 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25714/stat : 25714 (java) S 25689 25692 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 414316553 10506571776 4757 33554432000 4194304 4196468 140724977105344 139676309117808 139677004839554 0 0 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25716] ppid=25689 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25716/stat : 25716 (java) S 25689 25692 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 414316553 10506571776 4757 33554432000 4194304 4196468 140724977105344 139676308063776 139677004838613 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25718] ppid=25689 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25718/stat : 25718 (java) S 25689 25692 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 414316553 10506571776 4757 33554432000 4194304 4196468 140724977105344 139676307010992 139677004838613 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 10260324 KiB
Current children cumulated memory: 19028 KiB

[startup+0.310143 s]*
/proc/loadavg: 0.00 0.01 0.05 2/216 25719
/proc/meminfo: memFree=28972896/32770624 swapFree=66999916/67108860
[pid=25692] ppid=25689 vsize=10593144 memory=24120 CPUtime=0.05 cores=1,3,5,7
/proc/25692/stat : 25692 (java) S 25689 25692 25641 0 -1 1077944320 5004 0 0 0 4 1 0 0 20 0 14 0 414316532 10847379456 6030 33554432000 4194304 4196468 140724977105344 140724977087888 139677004828407 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
/proc/25692/statm: 2648286 6030 2605 1 0 2610827 0
[pid=25692/tid=25704] ppid=25689 vsize=10593144 memory=1398722017469774279 CPUtime=0.04 cores=1,3,5,7
/proc/25692/task/25704/stat : 25704 (java) D 25689 25692 25641 0 -1 1077944384 3132 0 0 0 3 1 0 0 20 0 14 0 414316542 10847379456 6030 33554432000 4194304 4196468 140724977105344 139677009066008 139676997506421 0 4 0 16800975 18446744072101613092 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25706] ppid=25689 vsize=10593144 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25706/stat : 25706 (java) S 25689 25692 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 414316551 10847379456 6030 33554432000 4194304 4196468 140724977105344 139676611173008 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25707] ppid=25689 vsize=10593144 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25707/stat : 25707 (java) S 25689 25692 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 414316551 10847379456 6030 33554432000 4194304 4196468 140724977105344 139676610120208 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25708] ppid=25689 vsize=10593144 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25708/stat : 25708 (java) S 25689 25692 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 414316551 10847379456 6030 33554432000 4194304 4196468 140724977105344 139676609067408 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25709] ppid=25689 vsize=10593144 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25709/stat : 25709 (java) S 25689 25692 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 414316551 10847379456 6030 33554432000 4194304 4196468 140724977105344 139676608014608 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25714] ppid=25689 vsize=10593144 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25714/stat : 25714 (java) S 25689 25692 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 414316553 10847379456 6030 33554432000 4194304 4196468 140724977105344 139676309117808 139677004839554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25716] ppid=25689 vsize=10593144 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25716/stat : 25716 (java) S 25689 25692 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 414316553 10847379456 6030 33554432000 4194304 4196468 140724977105344 139676308063776 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25718] ppid=25689 vsize=10593144 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25718/stat : 25718 (java) S 25689 25692 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 414316553 10847379456 6030 33554432000 4194304 4196468 140724977105344 139676307010928 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25720] ppid=25689 vsize=10593144 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25720/stat : 25720 (java) S 25689 25692 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 414316563 10847379456 6030 33554432000 4194304 4196468 140724977105344 139676305959248 139677004847003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25721] ppid=25689 vsize=10593144 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25721/stat : 25721 (java) S 25689 25692 25641 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 14 0 414316563 10847379456 6030 33554432000 4194304 4196468 140724977105344 139676304906608 139677004839554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25722] ppid=25689 vsize=10593144 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25722/stat : 25722 (java) S 25689 25692 25641 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 14 0 414316563 10847379456 6030 33554432000 4194304 4196468 140724977105344 139676303853808 139677004839554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25723] ppid=25689 vsize=10593144 memory=139659289855616 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25723/stat : 25723 (java) S 25689 25692 25641 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 14 0 414316563 10847379456 6030 33554432000 4194304 4196468 140724977105344 139676302801008 139677004839554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25724] ppid=25689 vsize=10593144 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25724/stat : 25724 (java) S 25689 25692 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 414316564 10847379456 6030 33554432000 4194304 4196468 140724977105344 139676301748448 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10593144 KiB
Current children cumulated memory: 24120 KiB

[startup+0.705823 s]
/proc/loadavg: 0.00 0.01 0.05 6/228 25731
/proc/meminfo: memFree=28951892/32770624 swapFree=66999916/67108860
[pid=25692] ppid=25689 vsize=10659884 memory=46392 CPUtime=0.64 cores=1,3,5,7
/proc/25692/stat : 25692 (java) S 25689 25692 25641 0 -1 1077944320 11299 0 0 0 59 5 0 0 20 0 15 0 414316532 10915721216 11598 33554432000 4194304 4196468 140724977105344 140724977087888 139677004828407 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
/proc/25692/statm: 2664971 11598 3057 1 0 2627468 0
[pid=25692/tid=25704] ppid=25689 vsize=10659884 memory=-1 CPUtime=0.37 cores=1,3,5,7
/proc/25692/task/25704/stat : 25704 (java) D 25689 25692 25641 0 -1 4202560 7430 0 0 0 34 3 0 0 20 0 15 0 414316542 10915721216 11598 33554432000 4194304 4196468 140724977105344 139677009054176 139676988908894 0 4 0 16800975 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25706] ppid=25689 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25706/stat : 25706 (java) S 25689 25692 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414316551 10915721216 11598 33554432000 4194304 4196468 140724977105344 139676611173008 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25707] ppid=25689 vsize=10659884 memory=3580 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25707/stat : 25707 (java) S 25689 25692 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414316551 10915721216 11598 33554432000 4194304 4196468 140724977105344 139676610120208 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25708] ppid=25689 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25708/stat : 25708 (java) S 25689 25692 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414316551 10915721216 11598 33554432000 4194304 4196468 140724977105344 139676609067408 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25709] ppid=25689 vsize=10659884 memory=139659183140256 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25709/stat : 25709 (java) S 25689 25692 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414316551 10915721216 11598 33554432000 4194304 4196468 140724977105344 139676608014608 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25714] ppid=25689 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25714/stat : 25714 (java) S 25689 25692 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414316553 10915721216 11598 33554432000 4194304 4196468 140724977105344 139676309117808 139677004839554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25716] ppid=25689 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25716/stat : 25716 (java) S 25689 25692 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414316553 10915721216 11598 33554432000 4194304 4196468 140724977105344 139676308063776 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25718] ppid=25689 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25718/stat : 25718 (java) S 25689 25692 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414316553 10915721216 11598 33554432000 4194304 4196468 140724977105344 139676307010928 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25720] ppid=25689 vsize=10659884 memory=7809523229951467570 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25720/stat : 25720 (java) S 25689 25692 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414316563 10915721216 11598 33554432000 4194304 4196468 140724977105344 139676305959248 139677004847003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25721] ppid=25689 vsize=10659884 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/25692/task/25721/stat : 25721 (java) R 25689 25692 25641 0 -1 4202560 844 0 0 0 6 0 0 0 20 0 15 0 414316563 10915721216 11598 33554432000 4194304 4196468 140724977105344 139676304892632 139676997545559 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25722] ppid=25689 vsize=10659884 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/25692/task/25722/stat : 25722 (java) D 25689 25692 25641 0 -1 4202560 722 0 0 0 6 0 0 0 20 0 15 0 414316563 10915721216 11598 33554432000 4194304 4196468 140724977105344 139676303839832 139676986372130 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25723] ppid=25689 vsize=10659884 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/25692/task/25723/stat : 25723 (java) R 25689 25692 25641 0 -1 4202560 944 0 0 0 11 0 0 0 20 0 15 0 414316563 10915721216 11598 33554432000 4194304 4196468 140724977105344 139676302795944 139676983757747 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25724] ppid=25689 vsize=10659884 memory=279318366299872 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25724/stat : 25724 (java) S 25689 25692 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414316564 10915721216 11598 33554432000 4194304 4196468 140724977105344 139676301748448 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25730] ppid=25689 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25730/stat : 25730 (java) S 25689 25692 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414316567 10915721216 11598 33554432000 4194304 4196468 140724977105344 139676300696752 139677004839554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 46392 KiB

[startup+1.50075 s]
/proc/loadavg: 0.00 0.01 0.05 3/228 25731
/proc/meminfo: memFree=28900172/32770624 swapFree=66999916/67108860
[pid=25692] ppid=25689 vsize=10663980 memory=71492 CPUtime=1.61 cores=1,3,5,7
/proc/25692/stat : 25692 (java) S 25689 25692 25641 0 -1 1077944320 15458 0 0 0 155 6 0 0 20 0 15 0 414316532 10919915520 17873 33554432000 4194304 4196468 140724977105344 140724977087888 139677004828407 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
/proc/25692/statm: 2665995 17873 3076 1 0 2628492 0
[pid=25692/tid=25704] ppid=25689 vsize=10663980 memory=6791534058613427641 CPUtime=1.17 cores=1,3,5,7
/proc/25692/task/25704/stat : 25704 (java) R 25689 25692 25641 0 -1 4202560 10883 0 0 0 112 5 0 0 20 0 15 0 414316542 10919915520 17873 33554432000 4194304 4196468 140724977105344 139677009054288 139676988021158 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25706] ppid=25689 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25706/stat : 25706 (java) S 25689 25692 25641 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414316551 10919915520 17873 33554432000 4194304 4196468 140724977105344 139676611173008 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25707] ppid=25689 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25707/stat : 25707 (java) S 25689 25692 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414316551 10919915520 17873 33554432000 4194304 4196468 140724977105344 139676610120208 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25708] ppid=25689 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25708/stat : 25708 (java) S 25689 25692 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414316551 10919915520 17873 33554432000 4194304 4196468 140724977105344 139676609067408 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25709] ppid=25689 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25709/stat : 25709 (java) S 25689 25692 25641 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414316551 10919915520 17873 33554432000 4194304 4196468 140724977105344 139676608014608 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25714] ppid=25689 vsize=10663980 memory=279318366267200 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25714/stat : 25714 (java) S 25689 25692 25641 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 414316553 10919915520 17873 33554432000 4194304 4196468 140724977105344 139676309117808 139677004839554 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25716] ppid=25689 vsize=10663980 memory=4049639005392994336 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25716/stat : 25716 (java) S 25689 25692 25641 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414316553 10919915520 17873 33554432000 4194304 4196468 140724977105344 139676308063776 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25718] ppid=25689 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25718/stat : 25718 (java) S 25689 25692 25641 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414316553 10919915520 17873 33554432000 4194304 4196468 140724977105344 139676307010928 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25720] ppid=25689 vsize=10663980 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25720/stat : 25720 (java) S 25689 25692 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414316563 10919915520 17873 33554432000 4194304 4196468 140724977105344 139676305959248 139677004847003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25721] ppid=25689 vsize=10663980 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25692/task/25721/stat : 25721 (java) S 25689 25692 25641 0 -1 1077944384 1337 0 0 0 12 0 0 0 20 0 15 0 414316563 10919915520 17873 33554432000 4194304 4196468 140724977105344 139676304906608 139677004839554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25722] ppid=25689 vsize=10663980 memory=7649399367051719986 CPUtime=0.11 cores=1,3,5,7
/proc/25692/task/25722/stat : 25722 (java) S 25689 25692 25641 0 -1 1077944384 765 0 0 0 11 0 0 0 20 0 15 0 414316563 10919915520 17873 33554432000 4194304 4196468 140724977105344 139676303853808 139677004839554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25723] ppid=25689 vsize=10663980 memory=2020 CPUtime=0.18 cores=1,3,5,7
/proc/25692/task/25723/stat : 25723 (java) S 25689 25692 25641 0 -1 1077944384 1110 0 0 0 18 0 0 0 20 0 15 0 414316563 10919915520 17873 33554432000 4194304 4196468 140724977105344 139676302801008 139677004839554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25724] ppid=25689 vsize=10663980 memory=7306316766074331728 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25724/stat : 25724 (java) S 25689 25692 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414316564 10919915520 17873 33554432000 4194304 4196468 140724977105344 139676301748448 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25730] ppid=25689 vsize=10663980 memory=7013346446985685613 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25730/stat : 25730 (java) S 25689 25692 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414316567 10919915520 17873 33554432000 4194304 4196468 140724977105344 139676300696752 139677004839554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 71492 KiB

[startup+3.11424 s]
/proc/loadavg: 0.00 0.01 0.05 8/230 25733
/proc/meminfo: memFree=28660628/32770624 swapFree=66999916/67108860
[pid=25692] ppid=25689 vsize=10748324 memory=167304 CPUtime=4.37 cores=1,3,5,7
/proc/25692/stat : 25692 (java) S 25689 25692 25641 0 -1 1077944320 24221 0 7 0 424 13 0 0 20 0 16 0 414316532 11006283776 41826 33554432000 4194304 4196468 140724977105344 140724977087888 139677004828407 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
/proc/25692/statm: 2687081 41826 3346 1 0 2647217 0
[pid=25692/tid=25704] ppid=25689 vsize=10748324 memory=39060 CPUtime=1.86 cores=1,3,5,7
/proc/25692/task/25704/stat : 25704 (java) S 25689 25692 25641 0 -1 1077944384 13800 0 7 0 179 7 0 0 20 0 16 0 414316542 11006283776 41826 33554432000 4194304 4196468 140724977105344 139677009071280 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25706] ppid=25689 vsize=10748324 memory=988 CPUtime=0.01 cores=1,3,5,7
/proc/25692/task/25706/stat : 25706 (java) S 25689 25692 25641 0 -1 1077944384 43 0 0 0 1 0 0 0 20 0 16 0 414316551 11006283776 41826 33554432000 4194304 4196468 140724977105344 139676611173008 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25707] ppid=25689 vsize=10748324 memory=1 CPUtime=0.01 cores=1,3,5,7
/proc/25692/task/25707/stat : 25707 (java) S 25689 25692 25641 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 16 0 414316551 11006283776 41826 33554432000 4194304 4196468 140724977105344 139676610120208 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25708] ppid=25689 vsize=10748324 memory=139659183303188 CPUtime=0.01 cores=1,3,5,7
/proc/25692/task/25708/stat : 25708 (java) S 25689 25692 25641 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 16 0 414316551 11006283776 41826 33554432000 4194304 4196468 140724977105344 139676609067408 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25709] ppid=25689 vsize=10748324 memory=139659183270384 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25709/stat : 25709 (java) S 25689 25692 25641 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 16 0 414316551 11006283776 41826 33554432000 4194304 4196468 140724977105344 139676608014608 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25714] ppid=25689 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/25692/task/25714/stat : 25714 (java) S 25689 25692 25641 0 -1 1077944384 669 0 0 0 1 0 0 0 20 0 16 0 414316553 11006283776 41826 33554432000 4194304 4196468 140724977105344 139676309117808 139677004839554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25716] ppid=25689 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25716/stat : 25716 (java) S 25689 25692 25641 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 16 0 414316553 11006283776 41826 33554432000 4194304 4196468 140724977105344 139676308063840 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0

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

/proc/25692/task/25709/stat : 25709 (java) S 25689 25692 25641 0 -1 1077944384 4348 0 0 0 168 11 0 0 20 0 16 0 414316551 11006283776 66215 33554432000 4194304 4196468 140724977105344 139676608014608 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25714] ppid=25689 vsize=10748324 memory=3580 CPUtime=0.94 cores=1,3,5,7
/proc/25692/task/25714/stat : 25714 (java) S 25689 25692 25641 0 -1 1077944384 5729 0 0 0 86 8 0 0 20 0 16 0 414316553 11006283776 66215 33554432000 4194304 4196468 140724977105344 139676309117808 139677004839554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25716] ppid=25689 vsize=10748324 memory=39100 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25716/stat : 25716 (java) S 25689 25692 25641 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414316553 11006283776 66215 33554432000 4194304 4196468 140724977105344 139676308063840 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25718] ppid=25689 vsize=10748324 memory=264860 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25718/stat : 25718 (java) S 25689 25692 25641 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414316553 11006283776 66215 33554432000 4194304 4196468 140724977105344 139676307010944 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25720] ppid=25689 vsize=10748324 memory=264860 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25720/stat : 25720 (java) S 25689 25692 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414316563 11006283776 66215 33554432000 4194304 4196468 140724977105344 139676305959248 139677004847003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25721] ppid=25689 vsize=10748324 memory=264860 CPUtime=1.88 cores=1,3,5,7
/proc/25692/task/25721/stat : 25721 (java) S 25689 25692 25641 0 -1 1077944384 15862 0 0 0 187 1 0 0 20 0 16 0 414316563 11006283776 66215 33554432000 4194304 4196468 140724977105344 139676304906608 139677004839554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25722] ppid=25689 vsize=10748324 memory=3580 CPUtime=1.79 cores=1,3,5,7
/proc/25692/task/25722/stat : 25722 (java) S 25689 25692 25641 0 -1 1077944384 10473 0 0 0 177 2 0 0 20 0 16 0 414316563 11006283776 66215 33554432000 4194304 4196468 140724977105344 139676303853808 139677004839554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25723] ppid=25689 vsize=10748324 memory=14012 CPUtime=0.77 cores=1,3,5,7
/proc/25692/task/25723/stat : 25723 (java) S 25689 25692 25641 0 -1 1077944384 12723 0 0 0 76 1 0 0 20 0 16 0 414316563 11006283776 66215 33554432000 4194304 4196468 140724977105344 139676302801008 139677004839554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25724] ppid=25689 vsize=10748324 memory=20612 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25724/stat : 25724 (java) S 25689 25692 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414316564 11006283776 66215 33554432000 4194304 4196468 140724977105344 139676301748448 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25730] ppid=25689 vsize=10748324 memory=264860 CPUtime=0.52 cores=1,3,5,7
/proc/25692/task/25730/stat : 25730 (java) S 25689 25692 25641 0 -1 1077944384 782 0 0 0 21 31 0 0 20 0 16 0 414316567 11006283776 66215 33554432000 4194304 4196468 140724977105344 139676300696752 139677004839554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25733] ppid=25689 vsize=10748324 memory=3580 CPUtime=2376.75 cores=1,3,5,7
/proc/25692/task/25733/stat : 25733 (java) R 25689 25692 25641 0 -1 4202560 18750 0 0 0 237668 7 0 0 20 0 16 0 414316776 11006283776 66215 33554432000 4194304 4196468 140724977105344 139676297138160 139676643032763 0 4 0 16800975 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
Current children cumulated CPU time: 2391.76 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 264860 KiB

[startup+2442.3 s]
/proc/loadavg: 1.64 1.77 1.68 3/229 25958
/proc/meminfo: memFree=27737792/32770624 swapFree=66999916/67108860
[pid=25692] ppid=25689 vsize=10748324 memory=264872 CPUtime=2451.85 cores=1,3,5,7
/proc/25692/stat : 25692 (java) S 25689 25692 25641 0 -1 1077944320 99794 0 7 0 245095 90 0 0 20 0 16 0 414316532 11006283776 66218 33554432000 4194304 4196468 140724977105344 140724977087888 139677004828407 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
/proc/25692/statm: 2687081 66218 3376 1 0 2647217 0
[pid=25692/tid=25704] ppid=25689 vsize=10748324 memory=264872 CPUtime=1.86 cores=1,3,5,7
/proc/25692/task/25704/stat : 25704 (java) S 25689 25692 25641 0 -1 1077944384 13800 0 7 0 179 7 0 0 20 0 16 0 414316542 11006283776 66218 33554432000 4194304 4196468 140724977105344 139677009071280 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25706] ppid=25689 vsize=10748324 memory=264872 CPUtime=1.81 cores=1,3,5,7
/proc/25692/task/25706/stat : 25706 (java) S 25689 25692 25641 0 -1 1077944384 6350 0 0 0 170 11 0 0 20 0 16 0 414316551 11006283776 66218 33554432000 4194304 4196468 140724977105344 139676611173008 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25707] ppid=25689 vsize=10748324 memory=264872 CPUtime=1.81 cores=1,3,5,7
/proc/25692/task/25707/stat : 25707 (java) S 25689 25692 25641 0 -1 1077944384 3190 0 0 0 170 11 0 0 20 0 16 0 414316551 11006283776 66218 33554432000 4194304 4196468 140724977105344 139676610120208 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25708] ppid=25689 vsize=10748324 memory=264872 CPUtime=1.81 cores=1,3,5,7
/proc/25692/task/25708/stat : 25708 (java) S 25689 25692 25641 0 -1 1077944384 5994 0 0 0 171 10 0 0 20 0 16 0 414316551 11006283776 66218 33554432000 4194304 4196468 140724977105344 139676609067408 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25709] ppid=25689 vsize=10748324 memory=264872 CPUtime=1.82 cores=1,3,5,7
/proc/25692/task/25709/stat : 25709 (java) S 25689 25692 25641 0 -1 1077944384 4372 0 0 0 171 11 0 0 20 0 16 0 414316551 11006283776 66218 33554432000 4194304 4196468 140724977105344 139676608014608 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25714] ppid=25689 vsize=10748324 memory=2428 CPUtime=0.97 cores=1,3,5,7
/proc/25692/task/25714/stat : 25714 (java) S 25689 25692 25641 0 -1 1077944384 5901 0 0 0 88 9 0 0 20 0 16 0 414316553 11006283776 66218 33554432000 4194304 4196468 140724977105344 139676309117808 139677004839554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25716] ppid=25689 vsize=10748324 memory=264872 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25716/stat : 25716 (java) S 25689 25692 25641 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414316553 11006283776 66218 33554432000 4194304 4196468 140724977105344 139676308063840 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25718] ppid=25689 vsize=10748324 memory=264872 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25718/stat : 25718 (java) S 25689 25692 25641 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414316553 11006283776 66218 33554432000 4194304 4196468 140724977105344 139676307010944 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25720] ppid=25689 vsize=10748324 memory=264872 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25720/stat : 25720 (java) S 25689 25692 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414316563 11006283776 66218 33554432000 4194304 4196468 140724977105344 139676305959248 139677004847003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25721] ppid=25689 vsize=10748324 memory=279318368333056 CPUtime=1.88 cores=1,3,5,7
/proc/25692/task/25721/stat : 25721 (java) S 25689 25692 25641 0 -1 1077944384 15862 0 0 0 187 1 0 0 20 0 16 0 414316563 11006283776 66218 33554432000 4194304 4196468 140724977105344 139676304906608 139677004839554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25722] ppid=25689 vsize=10748324 memory=9536 CPUtime=1.79 cores=1,3,5,7
/proc/25692/task/25722/stat : 25722 (java) S 25689 25692 25641 0 -1 1077944384 10474 0 0 0 177 2 0 0 20 0 16 0 414316563 11006283776 66218 33554432000 4194304 4196468 140724977105344 139676303853808 139677004839554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25723] ppid=25689 vsize=10748324 memory=279318366810280 CPUtime=0.77 cores=1,3,5,7
/proc/25692/task/25723/stat : 25723 (java) S 25689 25692 25641 0 -1 1077944384 12723 0 0 0 76 1 0 0 20 0 16 0 414316563 11006283776 66218 33554432000 4194304 4196468 140724977105344 139676302801008 139677004839554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25724] ppid=25689 vsize=10748324 memory=264872 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25724/stat : 25724 (java) S 25689 25692 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414316564 11006283776 66218 33554432000 4194304 4196468 140724977105344 139676301748448 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25730] ppid=25689 vsize=10748324 memory=4128 CPUtime=0.53 cores=1,3,5,7
/proc/25692/task/25730/stat : 25730 (java) S 25689 25692 25641 0 -1 1077944384 808 0 0 0 21 32 0 0 20 0 16 0 414316567 11006283776 66218 33554432000 4194304 4196468 140724977105344 139676300696752 139677004839554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25733] ppid=25689 vsize=10748324 memory=264872 CPUtime=2436.69 cores=1,3,5,7
/proc/25692/task/25733/stat : 25733 (java) R 25689 25692 25641 0 -1 4202560 18921 0 0 0 243662 7 0 0 20 0 16 0 414316776 11006283776 66218 33554432000 4194304 4196468 140724977105344 139676297138160 139676649002182 0 4 0 16800975 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
Current children cumulated CPU time: 2451.85 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 264872 KiB

[startup+2502.3 s]
/proc/loadavg: 1.73 1.77 1.69 3/229 25962
/proc/meminfo: memFree=27738664/32770624 swapFree=66999916/67108860
[pid=25692] ppid=25689 vsize=10748324 memory=264896 CPUtime=2511.95 cores=1,3,5,7
/proc/25692/stat : 25692 (java) S 25689 25692 25641 0 -1 1077944320 100546 0 7 0 251103 92 0 0 20 0 16 0 414316532 11006283776 66224 33554432000 4194304 4196468 140724977105344 140724977087888 139677004828407 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
/proc/25692/statm: 2687081 66224 3376 1 0 2647217 0
[pid=25692/tid=25704] ppid=25689 vsize=10748324 memory=264896 CPUtime=1.86 cores=1,3,5,7
/proc/25692/task/25704/stat : 25704 (java) S 25689 25692 25641 0 -1 1077944384 13800 0 7 0 179 7 0 0 20 0 16 0 414316542 11006283776 66224 33554432000 4194304 4196468 140724977105344 139677009071280 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25706] ppid=25689 vsize=10748324 memory=264872 CPUtime=1.84 cores=1,3,5,7
/proc/25692/task/25706/stat : 25706 (java) S 25689 25692 25641 0 -1 1077944384 6366 0 0 0 173 11 0 0 20 0 16 0 414316551 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676611173008 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25707] ppid=25689 vsize=10748324 memory=264872 CPUtime=1.83 cores=1,3,5,7
/proc/25692/task/25707/stat : 25707 (java) S 25689 25692 25641 0 -1 1077944384 3226 0 0 0 172 11 0 0 20 0 16 0 414316551 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676610120208 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25708] ppid=25689 vsize=10748324 memory=264872 CPUtime=1.84 cores=1,3,5,7
/proc/25692/task/25708/stat : 25708 (java) S 25689 25692 25641 0 -1 1077944384 6029 0 0 0 174 10 0 0 20 0 16 0 414316551 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676609067408 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25709] ppid=25689 vsize=10748324 memory=264872 CPUtime=1.84 cores=1,3,5,7
/proc/25692/task/25709/stat : 25709 (java) S 25689 25692 25641 0 -1 1077944384 4649 0 0 0 173 11 0 0 20 0 16 0 414316551 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676608014608 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25714] ppid=25689 vsize=10748324 memory=264896 CPUtime=0.99 cores=1,3,5,7
/proc/25692/task/25714/stat : 25714 (java) S 25689 25692 25641 0 -1 1077944384 6089 0 0 0 90 9 0 0 20 0 16 0 414316553 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676309117808 139677004839554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25716] ppid=25689 vsize=10748324 memory=264896 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25716/stat : 25716 (java) S 25689 25692 25641 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414316553 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676308063840 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25718] ppid=25689 vsize=10748324 memory=264872 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25718/stat : 25718 (java) S 25689 25692 25641 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414316553 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676307010944 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25720] ppid=25689 vsize=10748324 memory=264896 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25720/stat : 25720 (java) S 25689 25692 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414316563 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676305959248 139677004847003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25721] ppid=25689 vsize=10748324 memory=264896 CPUtime=1.88 cores=1,3,5,7
/proc/25692/task/25721/stat : 25721 (java) S 25689 25692 25641 0 -1 1077944384 15864 0 0 0 187 1 0 0 20 0 16 0 414316563 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676304906608 139677004839554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25722] ppid=25689 vsize=10748324 memory=264896 CPUtime=1.79 cores=1,3,5,7
/proc/25692/task/25722/stat : 25722 (java) S 25689 25692 25641 0 -1 1077944384 10476 0 0 0 177 2 0 0 20 0 16 0 414316563 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676303853808 139677004839554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25723] ppid=25689 vsize=10748324 memory=264896 CPUtime=0.77 cores=1,3,5,7
/proc/25692/task/25723/stat : 25723 (java) S 25689 25692 25641 0 -1 1077944384 12725 0 0 0 76 1 0 0 20 0 16 0 414316563 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676302801008 139677004839554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25724] ppid=25689 vsize=10748324 memory=264896 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25724/stat : 25724 (java) S 25689 25692 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414316564 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676301748448 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25730] ppid=25689 vsize=10748324 memory=1440 CPUtime=0.55 cores=1,3,5,7
/proc/25692/task/25730/stat : 25730 (java) S 25689 25692 25641 0 -1 1077944384 825 0 0 0 22 33 0 0 20 0 16 0 414316567 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676300696752 139677004839554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25733] ppid=25689 vsize=10748324 memory=2832 CPUtime=2496.64 cores=1,3,5,7
/proc/25692/task/25733/stat : 25733 (java) R 25689 25692 25641 0 -1 4202560 19098 0 0 0 249657 7 0 0 20 0 16 0 414316776 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676297138160 139676646274037 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
Current children cumulated CPU time: 2511.95 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 264896 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2510.4 s]
/proc/loadavg: 1.77 1.77 1.69 3/229 25962
/proc/meminfo: memFree=27738664/32770624 swapFree=66999916/67108860
[pid=25692] ppid=25689 vsize=10748324 memory=264896 CPUtime=2520.05 cores=1,3,5,7
/proc/25692/stat : 25692 (java) S 25689 25692 25641 0 -1 1077944320 100555 0 7 0 251913 92 0 0 20 0 16 0 414316532 11006283776 66224 33554432000 4194304 4196468 140724977105344 140724977087888 139677004828407 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
/proc/25692/statm: 2687081 66224 3376 1 0 2647217 0
[pid=25692/tid=25704] ppid=25689 vsize=10748324 memory=2120 CPUtime=1.86 cores=1,3,5,7
/proc/25692/task/25704/stat : 25704 (java) S 25689 25692 25641 0 -1 1077944384 13800 0 7 0 179 7 0 0 20 0 16 0 414316542 11006283776 66224 33554432000 4194304 4196468 140724977105344 139677009071280 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25706] ppid=25689 vsize=10748324 memory=264896 CPUtime=1.84 cores=1,3,5,7
/proc/25692/task/25706/stat : 25706 (java) S 25689 25692 25641 0 -1 1077944384 6366 0 0 0 173 11 0 0 20 0 16 0 414316551 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676611173008 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25707] ppid=25689 vsize=10748324 memory=5984 CPUtime=1.84 cores=1,3,5,7
/proc/25692/task/25707/stat : 25707 (java) S 25689 25692 25641 0 -1 1077944384 3226 0 0 0 173 11 0 0 20 0 16 0 414316551 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676610120208 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25708] ppid=25689 vsize=10748324 memory=1544 CPUtime=1.85 cores=1,3,5,7
/proc/25692/task/25708/stat : 25708 (java) S 25689 25692 25641 0 -1 1077944384 6029 0 0 0 174 11 0 0 20 0 16 0 414316551 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676609067408 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25709] ppid=25689 vsize=10748324 memory=776 CPUtime=1.85 cores=1,3,5,7
/proc/25692/task/25709/stat : 25709 (java) S 25689 25692 25641 0 -1 1077944384 4649 0 0 0 174 11 0 0 20 0 16 0 414316551 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676608014608 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25714] ppid=25689 vsize=10748324 memory=1056 CPUtime=0.99 cores=1,3,5,7
/proc/25692/task/25714/stat : 25714 (java) S 25689 25692 25641 0 -1 1077944384 6091 0 0 0 90 9 0 0 20 0 16 0 414316553 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676309117808 139677004839554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25716] ppid=25689 vsize=10748324 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25716/stat : 25716 (java) S 25689 25692 25641 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 16 0 414316553 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676308063840 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25718] ppid=25689 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25718/stat : 25718 (java) S 25689 25692 25641 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 414316553 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676307010944 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25720] ppid=25689 vsize=10748324 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25720/stat : 25720 (java) S 25689 25692 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414316563 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676305959248 139677004847003 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25721] ppid=25689 vsize=10748324 memory=1608 CPUtime=1.88 cores=1,3,5,7
/proc/25692/task/25721/stat : 25721 (java) S 25689 25692 25641 0 -1 1077944384 15864 0 0 0 187 1 0 0 20 0 16 0 414316563 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676304906608 139677004839554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25722] ppid=25689 vsize=10748324 memory=908 CPUtime=1.79 cores=1,3,5,7
/proc/25692/task/25722/stat : 25722 (java) S 25689 25692 25641 0 -1 1077944384 10476 0 0 0 177 2 0 0 20 0 16 0 414316563 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676303853808 139677004839554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25723] ppid=25689 vsize=10748324 memory=264896 CPUtime=0.77 cores=1,3,5,7
/proc/25692/task/25723/stat : 25723 (java) S 25689 25692 25641 0 -1 1077944384 12725 0 0 0 76 1 0 0 20 0 16 0 414316563 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676302801008 139677004839554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25724] ppid=25689 vsize=10748324 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/25692/task/25724/stat : 25724 (java) S 25689 25692 25641 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414316564 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676301748448 139677004838613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25730] ppid=25689 vsize=10748324 memory=800 CPUtime=0.55 cores=1,3,5,7
/proc/25692/task/25730/stat : 25730 (java) S 25689 25692 25641 0 -1 1077944384 827 0 0 0 22 33 0 0 20 0 16 0 414316567 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676300696752 139677004839554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
[pid=25692/tid=25733] ppid=25689 vsize=10748324 memory=1808 CPUtime=2504.73 cores=1,3,5,7
/proc/25692/task/25733/stat : 25733 (java) R 25689 25692 25641 0 -1 4202560 19103 0 0 0 250466 7 0 0 20 0 16 0 414316776 11006283776 66224 33554432000 4194304 4196468 140724977105344 139676297138160 139676648379591 0 4 0 16800975 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 16224256 140724977112075 140724977112178 140724977112178 140724977115087 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 264896 KiB

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

[startup+2510.41 s]
# the end of solver process 25692 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.15 s, system=0.932478 s

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

Child status: 143
Real time (s): 2510.41
CPU time (s): 2520.08
CPU user time (s): 2519.15
CPU system time (s): 0.932478
CPU usage (%): 100.385
Max. virtual memory (cumulated for all children) (KiB): 10751308
Max. memory (cumulated for all children) (KiB): 460288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.15
system time used= 0.932478
maximum resident set size= 468496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100956
page faults= 7
swaps= 0
block input operations= 19792
block output operations= 2904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80433
involuntary context switches= 1694


# summary of solver processes directly reported to runsolver:
#   pid: 25692
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2519.15
#   total CPU system time (s): 0.932478

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2325 second user time and 20.8906 second system time

The end

Launcher Data 

Begin job on node123 at 2019-09-13 15:14:37
IDJOB=4390683
IDBENCH=120505
IDSOLVER=2832
FILE ID=node123/4390683-1568380516
RUNJOBID= node123-1568380477-25673
PBS_JOBID= 21701841
Free space on /tmp= 56796 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/StripPacking/StripPacking-m1-series1/StripPacking-C3P2.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4390683-1568380516/watcher-4390683-1568380516 -o /tmp/evaluation-result-4390683-1568380516/solver-4390683-1568380516 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568380477-25673 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4390683-1568380516.xml -cm

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

MD5SUM BENCH= ec554133dcdc77f0ded322158f487a65
RANDOM SEED=1983991887

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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.49
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.49
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:        29008488 kB
MemAvailable:   31870464 kB
Buffers:          111392 kB
Cached:          3010000 kB
SwapCached:         7392 kB
Active:          1077192 kB
Inactive:        2055380 kB
Active(anon):       3456 kB
Inactive(anon):    49124 kB
Active(file):    1073736 kB
Inactive(file):  2006256 kB
Unevictable:      107780 kB
Mlocked:          107780 kB
SwapTotal:      67108860 kB
SwapFree:       66999916 kB
Dirty:              9576 kB
Writeback:             0 kB
AnonPages:        112672 kB
Mapped:            43892 kB
Shmem:             32680 kB
Slab:             224224 kB
SReclaimable:     195640 kB
SUnreclaim:        28584 kB
KernelStack:        3424 kB
PageTables:         5472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     501968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 56780 MiB
End job on node123 at 2019-09-13 15:56:28