Trace number 4391330

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
AbsCon 2019-07-23? (TO) 2400.09 2387.03

General information on the benchmark

NameSteelMillSlab/
SteelMillSlab-bench_9_11.xml
MD5SUMb3f80a69476de872363c069f96d9d14d
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark382
Best CPU time to get the best result obtained on this benchmark2400.08
Satisfiable
(Un)Satisfiability was proved
Number of variables12654
Number of constraints466
Number of domains4
Minimum domain size2
Maximum domain size111
Distribution of domain sizes[{"size":2,"count":12321},{"size":15,"count":111},{"size":51,"count":111},{"size":111,"count":111}]
Minimum variable degree2
Maximum variable degree114
Distribution of variable degrees[{"degree":2,"count":12432},{"degree":3,"count":111},{"degree":112,"count":78},{"degree":113,"count":24},{"degree":114,"count":9}]
Minimum constraint arity2
Maximum constraint arity112
Distribution of constraint arities[{"arity":2,"count":132},{"arity":111,"count":112},{"arity":112,"count":222}]
Number of extensional constraints0
Number of intensional constraints132
Distribution of constraint types[{"type":"intension","count":132},{"type":"sum","count":112},{"type":"element","count":111},{"type":"channel","count":111}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

2.41/1.88	
2.41/1.88	AbsCon 2 
2.64/1.90	
4.01/2.33	  Instance
4.01/2.33	    name=instance-4391330-1568391403, framework=COP, bounds=-infty..+infty
4.01/2.33	
4.01/2.33	  Loading variables...
4.68/2.58	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e7a3ff
10.97/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@479900fd
10.97/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d82dee4
10.97/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fbd2290
10.97/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e66037a
10.97/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f4126fd
10.97/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30fdaec8
10.97/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5edc1caf
10.97/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dd7e455
10.97/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e0da96b
11.29/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30acb28e
11.29/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34213c3a
11.29/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b434356
11.29/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4513aee4
11.29/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f1823bc
11.29/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b2fba1d
11.29/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd84b34
11.29/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10fb6ea9
11.29/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70822a94
11.29/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9cb817
11.29/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b56b6f
11.29/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f2dbf5
11.29/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58faa6e2
11.29/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d95db7
11.29/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcd5f4d
11.29/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a07cd5d
11.29/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@541309f3
11.29/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@caf09c3
11.29/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ba87a35
11.29/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4524f6bf
11.29/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f325703
11.29/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54cbb410
11.29/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71476d7f
11.29/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f8162d4
11.29/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cf3d658
11.29/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37f557cd
11.29/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4845f428
11.29/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5653ff29
11.29/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ec8cd5a
11.29/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@505c165b
11.29/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d3ffbaa
11.29/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cf827e6
11.29/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@116070c5
11.29/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50374870
11.29/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcf251
11.29/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b277fa8
11.29/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c821b0d
11.29/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43e7bcab
11.29/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dfa40f7
11.29/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ac84d93
11.29/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17c98cad
11.29/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0aec71
11.29/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2167d09c
11.29/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a0c3784
11.29/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ba2f84a
11.29/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@521012e2
11.29/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b9c9292
11.29/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d145033
11.29/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e264b5
11.29/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794975d1
11.29/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ee58199
11.29/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36b0458
11.29/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f75734d
11.29/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@155a1a35
11.29/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a45fca5
11.29/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253a619a
11.29/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ee6041f
11.29/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ab08329
11.29/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@403a144
11.29/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76947bc7
11.29/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@592e6f23
11.29/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c33167a
11.29/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11380646
11.29/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9f015b
11.29/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f9800fb
11.29/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4927acb0
11.29/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41394586
11.29/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fcfc74f
11.29/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32957e2f
11.29/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@756b28fa
11.29/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d33f3fb
11.29/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3789d4
11.29/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c3d1d92
11.29/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645ac30
11.29/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601d9679
11.29/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58dd109a
11.29/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e2e57f
11.29/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@650d73cf
11.29/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e8f6262
11.29/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2853965
11.29/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65760e89
11.29/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7436145
11.29/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d006130
11.29/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cb30a26
11.29/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b59824
11.29/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17041b2e
11.29/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66997510
11.29/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce5a4d
11.29/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e962bb
11.29/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3760333e
11.29/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c68f96b
11.29/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b1775d5
11.29/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57ab092b
11.29/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1811ee96
11.29/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6388fdbb
11.29/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48a298d2
11.29/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ada84ed
11.29/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cafccb6
11.29/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a34ce
11.29/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dfb2101
11.29/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b6a0ee2
11.29/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c9ceab3
11.64/4.66	
11.64/4.66	
11.64/4.66	  Domains
11.64/4.66	    nTypes=4, nValues=44289, sizes=[2#12321,15#111,51#111,111#111]
11.64/4.66	  Variables
11.64/4.66	    count=12654, degrees=[2#12432,3#111,222#78,223#24,224#9]
11.64/4.66	  Objectives
11.64/4.66	    way=min, type=SumSimpleLE
11.64/4.66	  Constraints
11.64/4.66	    count=12677, nSpecific=134, arities=[2#12453,111#113,112#111]
11.64/4.66	    distribution=[CtrExtensionV-Bits#111,CtrIntension#12432,LE#21,SumSimpleEQ#1,SumSimpleLE#1,SumWeightedEQ#111]
11.64/4.66	    nExtStructures=(111,shared:0), nIntStructures=(222,shared:12210)
11.64/4.66	    wck=2.809, cpu=4.182, mem=938M87
11.64/4.69	  Solver SolverBacktrack being built...
11.64/4.69	
12.27/4.80	
12.27/4.80	  Solver
12.27/4.80	    guaranteedGAC=false
12.27/4.80	    wck=2.948, cpu=4.32, mem=969M933
14.90/6.51	
14.90/6.51	  Preprocessing
14.90/6.51	    filters=0, revisions=(24864,useless=24864), ccks=1379952, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
14.90/6.51	    wck=1.709, cpu=6.034, mem=977M882
14.90/6.51	
14.90/6.57	    num=0, depth=111..111, filters=1196, revisions=(27195,useless=26009), ccks=1383293, wck=1.767, mem=977M882
14.90/6.57	    decisions=131, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
14.90/6.57	    
15.20/6.62	    num=1, depth=111..111, filters=2607, revisions=(29859,useless=27274), ccks=1387167, wck=1.814, mem=977M882
15.20/6.62	    decisions=264, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
15.20/6.62	    
15.20/6.67	    num=2, depth=220..220, filters=4236, revisions=(38962,useless=34765), ccks=1397675, wck=1.868, mem=977M882
15.20/6.67	    decisions=508, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
15.20/6.67	    
15.52/6.74	    num=3, depth=329..329, filters=6082, revisions=(54504,useless=48483), ccks=1408602, wck=1.936, mem=977M882
15.52/6.74	    decisions=863, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
15.52/6.74	    
15.82/6.82	    num=4, depth=438..438, filters=8144, revisions=(76485,useless=68429), ccks=1419946, wck=2.015, mem=977M882
15.82/6.82	    decisions=1329, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
15.82/6.82	    
16.01/6.91	    num=5, depth=547..547, filters=10583, revisions=(108679,useless=98249), ccks=1435287, wck=2.105, mem=977M882
16.01/6.91	    decisions=1908, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
16.01/6.91	    
16.15/7.01	    num=6, depth=656..656, filters=13171, revisions=(143760,useless=130780), ccks=1447759, wck=2.208, mem=977M882
16.15/7.01	    decisions=2598, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
16.15/7.01	    
16.27/7.14	    num=7, depth=763..763, filters=16554, revisions=(212035,useless=195961), ccks=1475067, wck=2.334, mem=977M882
16.27/7.14	    decisions=3399, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
16.27/7.14	    
16.37/7.28	    num=8, depth=872..872, filters=20202, revisions=(284862,useless=265416), ccks=1501153, wck=2.474, mem=977M882
16.37/7.28	    decisions=4313, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
16.37/7.28	    
16.59/7.43	    num=9, depth=980..980, filters=24374, revisions=(376562,useless=353339), ccks=1534034, wck=2.632, mem=977M882
16.59/7.43	    decisions=5339, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
16.59/7.43	    
16.83/7.61	    num=10, depth=1089..1089, filters=28841, revisions=(474923,useless=447634), ccks=1567596, wck=2.803, mem=977M882
16.83/7.61	    decisions=6478, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
16.83/7.61	    
16.93/7.79	    num=11, depth=1198..1198, filters=33685, revisions=(580167,useless=548442), ccks=1602109, wck=2.987, mem=981M866
16.93/7.79	    decisions=7732, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
16.93/7.79	    
17.17/7.99	    num=12, depth=1307..1307, filters=38959, revisions=(695735,useless=659182), ccks=1640500, wck=3.188, mem=981M866
17.17/7.99	    decisions=9101, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
17.17/7.99	    
17.48/8.21	    num=13, depth=1416..1416, filters=44598, revisions=(818519,useless=776783), ccks=1680040, wck=3.405, mem=981M866
17.48/8.21	    decisions=10585, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
17.48/8.21	    
17.68/8.44	    num=14, depth=1524..1526, filters=51076, revisions=(964838,useless=917240), ccks=1730506, wck=3.638, mem=981M866
17.68/8.44	    decisions=12185, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
17.68/8.44	    
17.89/8.69	    num=15, depth=1630..1631, filters=58455, revisions=(1134694,useless=1080496), ccks=1792643, wck=3.89, mem=981M866
17.89/8.69	    decisions=13898, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
17.89/8.69	    
18.21/8.98	    num=16, depth=1848..1849, filters=66604, revisions=(1329973,useless=1268528), ccks=1872446, wck=4.175, mem=981M866
18.21/8.98	    decisions=15837, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
18.21/8.98	    
18.51/9.29	    num=17, depth=2066..2068, filters=75643, revisions=(1542903,useless=1473371), ccks=1945437, wck=4.488, mem=981M866
18.51/9.29	    decisions=18005, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
18.51/9.29	    
18.91/9.63	    num=18, depth=2283..2284, filters=85476, revisions=(1777482,useless=1699158), ccks=2030880, wck=4.831, mem=981M866
18.91/9.63	    decisions=20399, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
18.91/9.63	    
19.22/10.00	    num=19, depth=2501..2502, filters=96090, revisions=(2025827,useless=1937944), ccks=2110140, wck=5.2, mem=981M866
19.22/10.00	    decisions=23023, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
19.22/10.00	    
19.73/10.40	    num=20, depth=2719..2720, filters=107449, revisions=(2287938,useless=2189765), ccks=2191284, wck=5.596, mem=981M866
19.73/10.40	    decisions=25877, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
19.73/10.40	    
20.13/10.82	    num=21, depth=2937..2939, filters=119885, revisions=(2572140,useless=2462688), ccks=2281488, wck=6.022, mem=985M93
20.13/10.82	    decisions=28964, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
20.13/10.82	    
20.53/11.29	    num=22, depth=3262..3264, filters=133821, revisions=(2897974,useless=2775961), ccks=2386962, wck=6.491, mem=985M93
20.53/11.29	    decisions=32390, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
20.53/11.29	    
23.04/12.30	    num=23, depth=3588..3590, filters=149044, revisions=(3251452,useless=3115679), ccks=2497047, wck=7.5, mem=718M496
23.04/12.30	    decisions=36158, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
23.04/12.30	    
23.54/12.84	    num=24, depth=3914..3916, filters=165720, revisions=(3640677,useless=3489851), ccks=2618716, wck=8.039, mem=718M496
23.54/12.84	    decisions=40270, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
23.54/12.84	    
24.15/13.42	    num=25, depth=4241..4243, filters=183661, revisions=(4055879,useless=3888803), ccks=2747553, wck=8.616, mem=718M496
24.15/13.42	    decisions=44729, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
24.15/13.42	    
24.75/14.03	    num=26, depth=4565..4568, filters=203745, revisions=(4520929,useless=4335751), ccks=2892109, wck=9.231, mem=718M496
24.75/14.03	    decisions=49535, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
24.75/14.03	    
25.35/14.69	    num=27, depth=5001..5004, filters=225451, revisions=(5013511,useless=4808637), ccks=3043544, wck=9.891, mem=726M376
25.35/14.69	    decisions=54801, wrong=1330, backtracks=0, failedAssignments=1330, nogoods=1330
25.35/14.69	    
26.16/15.40	    num=28, depth=5437..5440, filters=248713, revisions=(5533847,useless=5307750), ccks=3198985, wck=10.595, mem=726M376
26.16/15.40	    decisions=60529, wrong=1474, backtracks=0, failedAssignments=1474, nogoods=1474
26.16/15.40	    
26.94/16.16	    num=29, depth=5873..5877, filters=274006, revisions=(6082270,useless=5832950), ccks=3359522, wck=11.355, mem=734M259
26.94/16.16	    decisions=66722, wrong=1632, backtracks=0, failedAssignments=1632, nogoods=1632
26.94/16.16	    
27.73/16.99	    num=30, depth=6418..6422, filters=301343, revisions=(6665330,useless=6390779), ccks=3528085, wck=12.186, mem=734M259
27.73/16.99	    decisions=73492, wrong=1806, backtracks=0, failedAssignments=1806, nogoods=1806
27.73/16.99	    
28.63/17.86	    num=31, depth=6963..6965, filters=326897, revisions=(7283250,useless=6985289), ccks=3694498, wck=13.057, mem=742M147
28.63/17.86	    decisions=80840, wrong=1998, backtracks=1, failedAssignments=1997, nogoods=1890
28.63/17.86	    
30.47/19.47	    num=32, depth=7039..7290, filters=690286, revisions=(8618415,useless=7967174), ccks=4853597, wck=14.67, mem=743M242
30.47/19.47	    decisions=100228, wrong=8048, backtracks=5893, failedAssignments=2208, nogoods=1942
30.47/19.47	    
31.51/20.40	    num=33, depth=7261..7370, filters=721504, revisions=(9299496,useless=8619667), ccks=5041170, wck=15.596, mem=743M242
31.51/20.40	    decisions=108485, wrong=8495, backtracks=6109, failedAssignments=2440, nogoods=1968
31.51/20.40	    
35.45/24.31	    num=34, depth=7146..7367, filters=2324812, revisions=(13161613,useless=10917301), ccks=9855241, wck=19.508, mem=743M242
35.45/24.31	    decisions=171032, wrong=36193, backtracks=33807, failedAssignments=2695, nogoods=1970
35.45/24.31	    
36.38/25.20	    num=35, depth=7600..7602, filters=2354337, revisions=(13824887,useless=11553198), ccks=10025825, wck=20.399, mem=751M132
36.38/25.20	    decisions=179198, wrong=36476, backtracks=33809, failedAssignments=2976, nogoods=2038
36.38/25.20	    
38.51/27.30	    num=36, depth=7355..7574, filters=3026635, revisions=(15810382,useless=12883482), ccks=12089533, wck=22.498, mem=751M132
38.51/27.30	    decisions=209683, wrong=47933, backtracks=45058, failedAssignments=3285, nogoods=2138
38.51/27.30	    
42.82/31.61	    num=37, depth=7356..7682, filters=4838738, revisions=(20124865,useless=15430935), ccks=17508961, wck=26.808, mem=751M132
42.82/31.61	    decisions=281961, wrong=80308, backtracks=77461, failedAssignments=3625, nogoods=2141
42.82/31.61	    
43.75/32.55	    num=38, depth=7684..7820, filters=4886367, revisions=(20846200,useless=16107156), ccks=17736136, wck=27.745, mem=758M992
43.75/32.55	    decisions=290953, wrong=80896, backtracks=77676, failedAssignments=3999, nogoods=2194
43.75/32.55	    
44.65/33.48	    num=39, depth=7685..7799, filters=4930179, revisions=(21584928,useless=16804708), ccks=17956005, wck=28.682, mem=758M992
44.65/33.48	    decisions=299793, wrong=81418, backtracks=77789, failedAssignments=4410, nogoods=2282
44.65/33.48	    
48.16/36.97	    num=40, depth=7892..8118, filters=5963907, revisions=(25746474,useless=19980021), ccks=22968924, wck=32.169, mem=758M992
48.16/36.97	    decisions=354937, wrong=105015, backtracks=101456, failedAssignments=4862, nogoods=2284
48.16/36.97	    
51.76/40.50	    num=41, depth=7837..8057, filters=7282923, revisions=(29103334,useless=22056743), ccks=26887106, wck=35.702, mem=766M852
51.76/40.50	    decisions=408746, wrong=127973, backtracks=124172, failedAssignments=5359, nogoods=2287
51.76/40.50	    
57.59/46.35	    num=42, depth=7946..8271, filters=9947272, revisions=(35323852,useless=25680261), ccks=34880837, wck=41.544, mem=766M852
57.59/46.35	    decisions=511609, wrong=175353, backtracks=171424, failedAssignments=5906, nogoods=2291
57.59/46.35	    
59.89/48.69	    num=43, depth=2937..8218, filters=10772745, revisions=(37667968,useless=27219287), ccks=37412355, wck=43.887, mem=766M852
59.89/48.69	    decisions=548010, wrong=189448, backtracks=185041, failedAssignments=6508, nogoods=2342
59.89/48.69	    
62.02/50.78	    num=44, depth=8002..8225, filters=11438696, revisions=(39752067,useless=28654878), ccks=39493681, wck=45.976, mem=774M712
62.02/50.78	    decisions=578956, wrong=200812, backtracks=195844, failedAssignments=7170, nogoods=2367
62.02/50.78	    
70.92/59.69	    num=45, depth=8214..8440, filters=15976942, revisions=(49943995,useless=34453927), ccks=54186379, wck=54.891, mem=774M712
70.92/59.69	    decisions=743032, wrong=278714, backtracks=273745, failedAssignments=7898, nogoods=2369
70.92/59.69	    
72.22/60.99	    num=46, depth=8439..8604, filters=16142394, revisions=(51252244,useless=35603583), ccks=54917403, wck=56.185, mem=782M606
72.22/60.99	    decisions=759480, wrong=282692, backtracks=276977, failedAssignments=8699, nogoods=2474
72.22/60.99	    
74.62/63.33	    num=47, depth=8383..8710, filters=16870275, revisions=(53720286,useless=37365539), ccks=57285600, wck=58.531, mem=782M606
74.62/63.33	    decisions=798057, wrong=297644, backtracks=291173, failedAssignments=9580, nogoods=2478
74.62/63.33	    
75.83/64.57	    num=48, depth=8714..8925, filters=17020497, revisions=(54910013,useless=38410896), ccks=57943100, wck=59.77, mem=782M606
75.83/64.57	    decisions=813143, wrong=300729, backtracks=293332, failedAssignments=10550, nogoods=2543
75.83/64.57	    
81.13/69.88	    num=49, depth=8713..9036, filters=19179922, revisions=(61722999,useless=43137144), ccks=65499632, wck=65.079, mem=790M466
81.13/69.88	    decisions=913538, wrong=346446, backtracks=338781, failedAssignments=11617, nogoods=2589
81.13/69.88	    
93.35/82.04	    num=50, depth=3016..9038, filters=25834648, revisions=(76073435,useless=50992381), ccks=85251083, wck=77.236, mem=798M326
93.35/82.04	    decisions=1158880, wrong=464665, backtracks=457043, failedAssignments=12790, nogoods=2594
93.35/82.04	    
105.94/94.67	    num=51, depth=3235..9257, filters=32956428, revisions=(91446518,useless=59412394), ccks=106434356, wck=89.871, mem=806M186
105.94/94.67	    decisions=1418043, wrong=589635, backtracks=581903, failedAssignments=14081, nogoods=2614
105.94/94.67	    
115.84/104.55	    num=52, depth=8931..9258, filters=38424282, revisions=(103419216,useless=66045604), ccks=122721674, wck=99.743, mem=814M46
115.84/104.55	    decisions=1617676, wrong=684865, backtracks=676614, failedAssignments=15501, nogoods=2629
115.84/104.55	    
132.35/121.08	    num=53, depth=9042..9369, filters=48125675, revisions=(124107291,useless=77260101), ccks=151570870, wck=116.278, mem=821M906
132.35/121.08	    decisions=1965149, wrong=854025, backtracks=845803, failedAssignments=17063, nogoods=2632
132.35/121.08	    
133.54/122.23	    num=54, depth=9370..9483, filters=48253569, revisions=(125170882,useless=78199218), ccks=152084495, wck=117.425, mem=829M804
133.54/122.23	    decisions=1978509, wrong=855973, backtracks=846034, failedAssignments=18781, nogoods=2739
133.54/122.23	    
135.84/124.51	    num=55, depth=9261..9483, filters=49097807, revisions=(127717861,useless=79922010), ccks=154720811, wck=119.706, mem=829M804
135.84/124.51	    decisions=2016755, wrong=870370, backtracks=858656, failedAssignments=20671, nogoods=2802
135.84/124.51	    
137.94/126.61	    num=56, depth=9372..9591, filters=49803742, revisions=(130221045,useless=81738147), ccks=157065676, wck=121.805, mem=837M701
137.94/126.61	    decisions=2050394, wrong=882459, backtracks=868745, failedAssignments=22750, nogoods=2857
137.94/126.61	    
160.74/149.40	    num=57, depth=9468..9805, filters=63935664, revisions=(160133803,useless=97851572), ccks=199094953, wck=144.595, mem=845M561
160.74/149.40	    decisions=2554749, wrong=1129844, backtracks=1116174, failedAssignments=25037, nogoods=2860
160.74/149.40	    
166.75/155.41	    num=58, depth=9691..9920, filters=66932454, revisions=(167611687,useless=102414067), ccks=208282027, wck=150.61, mem=853M421
166.75/155.41	    decisions=2683665, wrong=1189428, backtracks=1174580, failedAssignments=27553, nogoods=2862
166.75/155.41	    
174.85/163.56	    num=59, depth=9811..10115, filters=70546360, revisions=(180230210,useless=111535041), ccks=221133503, wck=158.753, mem=861M281
174.85/163.56	    decisions=2866431, wrong=1275806, backtracks=1259944, failedAssignments=30321, nogoods=2889
174.85/163.56	    
197.26/185.97	    num=60, depth=9729..10055, filters=84787932, revisions=(210360748,useless=127763317), ccks=263436782, wck=181.163, mem=877M1
197.26/185.97	    decisions=3382477, wrong=1528842, backtracks=1512547, failedAssignments=33365, nogoods=2902
197.26/185.97	    
213.37/202.06	    num=61, depth=9948..10359, filters=94155926, revisions=(233802162,useless=142093770), ccks=294485453, wck=197.253, mem=884M861
213.37/202.06	    decisions=3756500, wrong=1710763, backtracks=1693960, failedAssignments=36714, nogoods=2906
213.37/202.06	    
214.76/203.47	    num=62, depth=10383..10497, filters=94386606, revisions=(235388660,useless=143458016), ccks=295388332, wck=198.663, mem=884M861
214.76/203.47	    decisions=3774636, wrong=1714595, backtracks=1694110, failedAssignments=40398, nogoods=2910
214.76/203.47	    
249.47/238.15	    num=63, depth=10384..10711, filters=118412675, revisions=(286642751,useless=171256789), ccks=367214028, wck=233.348, mem=908M441
249.47/238.15	    decisions=4637670, wrong=2140881, backtracks=2120538, failedAssignments=44450, nogoods=2913
249.47/238.15	    
251.27/239.92	    num=64, depth=10578..10801, filters=118979686, revisions=(288914222,useless=172973692), ccks=369157024, wck=235.118, mem=916M301
251.27/239.92	    decisions=4667310, wrong=2150357, backtracks=2125601, failedAssignments=48907, nogoods=2940
251.27/239.92	    
271.77/260.43	    num=65, depth=10688..11000, filters=131055297, revisions=(321580380,useless=193940482), ccks=411124561, wck=255.63, mem=932M21
271.77/260.43	    decisions=5202252, wrong=2412456, backtracks=2388238, failedAssignments=53810, nogoods=2943
271.77/260.43	    
284.42/272.88	    num=66, depth=10848..11281, filters=137430141, revisions=(338788937,useless=204987891), ccks=431464623, wck=268.074, mem=939M881
284.42/272.88	    decisions=5475739, wrong=2543727, backtracks=2670694, failedAssignments=59204, nogoods=2976
284.42/272.88	    
295.42/283.86	    num=67, depth=10974..11121, filters=141077514, revisions=(360207994,useless=222962266), ccks=448485322, wck=279.054, mem=955M601
295.42/283.86	    decisions=5811040, wrong=2705861, backtracks=2832875, failedAssignments=65137, nogoods=2979
295.42/283.86	    
348.34/336.72	    num=68, depth=6681..11053, filters=177060305, revisions=(444702655,useless=272503362), ccks=561284390, wck=331.915, mem=994M901
348.34/336.72	    decisions=7199294, wrong=3394532, backtracks=3521711, failedAssignments=71663, nogoods=2990
348.34/336.72	    
361.11/349.44	    num=69, depth=10943..11267, filters=178133480, revisions=(451869914,useless=278708861), ccks=565832987, wck=344.642, mem=1010M621
361.11/349.44	    decisions=7326317, wrong=3452535, backtracks=4012651, failedAssignments=78842, nogoods=2994
361.11/349.44	    
408.93/397.29	    num=70, depth=7266..10593, filters=207574896, revisions=(531472817,useless=329906000), ccks=666374896, wck=392.484, mem=1042M61
408.93/397.29	    decisions=8528843, wrong=4048620, backtracks=4608961, failedAssignments=86739, nogoods=3003
408.93/397.29	    
427.64/415.93	    num=71, depth=7562..10987, filters=213151526, revisions=(555655205,useless=348804494), ccks=688438932, wck=411.13, mem=1065M641
427.64/415.93	    decisions=8890160, wrong=4223986, backtracks=5377962, failedAssignments=95426, nogoods=3020
427.64/415.93	    
480.75/469.08	    num=72, depth=5636..10565, filters=240850503, revisions=(634623030,useless=401135889), ccks=781996629, wck=464.277, mem=1109M80
480.75/469.08	    decisions=10242773, wrong=4895198, backtracks=6274968, failedAssignments=104981, nogoods=3039
480.75/469.08	    
485.36/473.34	    num=73, depth=2960..10405, filters=241517774, revisions=(639222622,useless=405091811), ccks=784834866, wck=468.542, mem=786M915
485.36/473.34	    decisions=10287841, wrong=4912642, backtracks=6500335, failedAssignments=115492, nogoods=3063
485.36/473.34	    
508.67/496.64	    num=74, depth=2851..10380, filters=242849607, revisions=(654882884,useless=419500076), ccks=790695951, wck=491.834, mem=842M226
508.67/496.64	    decisions=10389951, wrong=4958636, backtracks=8728179, failedAssignments=127054, nogoods=3090
508.67/496.64	    
528.37/516.34	    num=75, depth=4649..10220, filters=243032708, revisions=(666513102,useless=430962901), ccks=792581088, wck=511.542, mem=897M537
528.37/516.34	    decisions=10429135, wrong=4973289, backtracks=10835134, failedAssignments=139772, nogoods=3117
528.37/516.34	    
542.58/530.53	    num=76, depth=2847..10057, filters=243870170, revisions=(676747633,useless=440396748), ccks=796611184, wck=525.724, mem=939M59
542.58/530.53	    decisions=10492274, wrong=5000001, backtracks=12201852, failedAssignments=153762, nogoods=3164
542.58/530.53	    
561.68/549.65	    num=77, depth=2844..9986, filters=244217546, revisions=(688127687,useless=451441285), ccks=799484771, wck=544.852, mem=994M409
561.68/549.65	    decisions=10540762, wrong=5019380, backtracks=14371462, failedAssignments=169151, nogoods=3360
561.68/549.65	    
614.69/602.66	    num=78, depth=2954..9714, filters=263667526, revisions=(771324493,useless=516225828), ccks=877312077, wck=597.856, mem=1035M892
614.69/602.66	    decisions=11918673, wrong=5703594, backtracks=15228202, failedAssignments=186079, nogoods=3394
614.69/602.66	    
620.59/608.50	    num=79, depth=4748..9532, filters=265625851, revisions=(782252405,useless=525289465), ccks=886242419, wck=603.702, mem=1049M757
620.59/608.50	    decisions=12061416, wrong=5770233, backtracks=15276596, failedAssignments=204700, nogoods=3513
620.59/608.50	    
637.36/625.25	    num=80, depth=3301..9773, filters=274780620, revisions=(804243440,useless=538423248), ccks=914476648, wck=620.452, mem=1063M584
637.36/625.25	    decisions=12499299, wrong=5984373, backtracks=15472706, failedAssignments=225184, nogoods=3614
637.36/625.25	    
646.37/634.22	    num=81, depth=3488..9881, filters=278457216, revisions=(816076165,useless=546749839), ccks=927047167, wck=629.414, mem=1077M412
646.37/634.22	    decisions=12754366, wrong=6107038, backtracks=15573699, failedAssignments=247716, nogoods=3751
646.37/634.22	    
654.57/642.46	    num=82, depth=3607..10253, filters=280261355, revisions=(825323931,useless=554302385), ccks=934258021, wck=637.654, mem=1091M240
654.57/642.46	    decisions=12924210, wrong=6186950, backtracks=15947874, failedAssignments=272501, nogoods=3880
654.57/642.46	    
694.57/682.40	    num=83, depth=3669..10438, filters=280514019, revisions=(844251408,useless=573012071), ccks=937824981, wck=677.598, mem=1215M689
694.57/682.40	    decisions=13008544, wrong=6224015, backtracks=20703215, failedAssignments=299765, nogoods=3940
694.57/682.40	    
735.09/722.99	    num=84, depth=3501..10251, filters=280813986, revisions=(866598442,useless=595088377), ccks=942059933, wck=718.192, mem=1340M139
735.09/722.99	    decisions=13100122, wrong=6264806, backtracks=25822024, failedAssignments=329755, nogoods=4037
735.09/722.99	    
738.49/726.40	    num=85, depth=3502..9872, filters=282706269, revisions=(874418287,useless=601054801), ccks=949310273, wck=721.594, mem=1354M6
738.49/726.40	    decisions=13176708, wrong=6298193, backtracks=25822430, failedAssignments=362744, nogoods=4205
738.49/726.40	    
750.48/738.36	    num=86, depth=3613..10189, filters=285715186, revisions=(887425599,useless=611247302), ccks=960300797, wck=733.562, mem=1367M834
750.48/738.36	    decisions=13438118, wrong=6423905, backtracks=26353748, failedAssignments=399032, nogoods=4316
750.48/738.36	    
763.99/751.89	    num=87, depth=3690..10000, filters=293244679, revisions=(908419994,useless=624934818), ccks=984823305, wck=747.085, mem=1381M661
763.99/751.89	    decisions=13787954, wrong=6593866, backtracks=26484791, failedAssignments=438949, nogoods=4465
763.99/751.89	    
904.66/892.25	    num=88, depth=3809..10279, filters=356372842, revisions=(1131088517,useless=787357269), ccks=1214405162, wck=887.447, mem=854M421
904.66/892.25	    decisions=17837855, wrong=8613770, backtracks=28501661, failedAssignments=482858, nogoods=4528
904.66/892.25	    
921.77/909.30	    num=89, depth=3292..10122, filters=366387125, revisions=(1158586245,useless=805113755), ccks=1247077165, wck=904.498, mem=882M213
921.77/909.30	    decisions=18278790, wrong=8829239, backtracks=28669231, failedAssignments=531158, nogoods=4665
921.77/909.30	    
1325.84/1313.32	    num=90, depth=8258..10161, filters=635255295, revisions=(1712274500,useless=1096585191), ccks=2042251191, wck=1308.522, mem=1159M734
1325.84/1313.32	    decisions=28322867, wrong=13846342, backtracks=33687342, failedAssignments=584288, nogoods=4685
1325.84/1313.32	    
1589.48/1576.97	    num=91, depth=4638..10360, filters=791492661, revisions=(2064992352,useless=1298306657), ccks=2520779146, wck=1572.164, mem=1367M875
1589.48/1576.97	    decisions=35508999, wrong=17434267, backtracks=37265241, failedAssignments=642731, nogoods=4736
1589.48/1576.97	    
1687.61/1675.04	    num=92, depth=2519..10317, filters=846431394, revisions=(2194279439,useless=1374842862), ccks=2686430028, wck=1670.237, mem=1437M255
1687.61/1675.04	    decisions=37962822, wrong=18656120, backtracks=38447367, failedAssignments=707018, nogoods=4842
1687.61/1675.04	    
1694.80/1682.27	    num=93, depth=9207..10492, filters=849606495, revisions=(2210622876,useless=1388170008), ccks=2699931220, wck=1677.472, mem=1451M173
1694.80/1682.27	    decisions=38139581, wrong=18739312, backtracks=38460918, failedAssignments=777734, nogoods=4910
1694.80/1682.27	    
1787.94/1775.37	    num=94, depth=9055..10525, filters=898012949, revisions=(2358268575,useless=1489276077), ccks=2861711958, wck=1770.57, mem=1520M553
1787.94/1775.37	    decisions=40769049, wrong=20048868, backtracks=39758787, failedAssignments=855521, nogoods=4953
1787.94/1775.37	    
1809.34/1796.59	    num=95, depth=9204..10501, filters=909539807, revisions=(2393112176,useless=1512987988), ccks=2900487151, wck=1791.783, mem=862M913
1809.34/1796.59	    decisions=41367864, wrong=20343075, backtracks=39969730, failedAssignments=941087, nogoods=5045
1809.34/1796.59	    
1915.22/1902.35	    num=96, depth=9824..10598, filters=973341705, revisions=(2528032369,useless=1586180715), ccks=3088475092, wck=1897.551, mem=958M816
1915.22/1902.35	    decisions=44404316, wrong=21856080, backtracks=41412007, failedAssignments=1035210, nogoods=5111
1915.22/1902.35	    
1931.13/1918.26	    num=97, depth=5423..10597, filters=980336558, revisions=(2560151558,useless=1611659364), ccks=3117131738, wck=1913.46, mem=978M38
1931.13/1918.26	    decisions=44857042, wrong=22077196, backtracks=41532320, failedAssignments=1138745, nogoods=5232
1931.13/1918.26	    
2145.09/2132.11	    num=98, depth=7184..10661, filters=1115268791, revisions=(2841706010,useless=1762453489), ccks=3512986055, wck=2127.305, mem=1131M483
2145.09/2132.11	    decisions=50735118, wrong=25010968, backtracks=44448954, failedAssignments=1252634, nogoods=5278
2145.09/2132.11	    
2293.72/2280.76	    num=99, depth=5650..10836, filters=1150546834, revisions=(2958281781,useless=1846683213), ccks=3618989511, wck=2275.954, mem=1400M12
2293.72/2280.76	    decisions=54337040, wrong=26806637, backtracks=52455099, failedAssignments=1377912, nogoods=5362
2293.72/2280.76	    
2400.05/2387.01	
2400.05/2387.01	s UNKNOWN

Verifier Data


Watcher Data 

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

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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391330-1568391403/watcher-4391330-1568391403 -o /tmp/evaluation-result-4391330-1568391403/solver-4391330-1568391403 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568388884-12408 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391330-1568391403.xml -cm 

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

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


[startup+0.100149 s]*
/proc/loadavg: 2.11 2.10 2.06 4/234 13120
/proc/meminfo: memFree=29348696/32770624 swapFree=66967268/67108860
[pid=13105] ppid=13102 vsize=10659884 memory=27832 CPUtime=0.13 cores=1,3,5,7
/proc/13105/stat : 13105 (java) S 13102 13105 10443 0 -1 1077944320 5960 0 0 0 12 1 0 0 20 0 15 0 415389908 10915721216 6958 33554432000 4194304 4196468 140725372847392 140725372829936 140074884579063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
/proc/13105/statm: 2664971 6958 2910 1 0 2627468 0
[pid=13105/tid=13107] ppid=13102 vsize=10659884 memory=-8269626465541460603 CPUtime=0.09 cores=1,3,5,7
/proc/13105/task/13107/stat : 13107 (java) R 13102 13105 10443 0 -1 4202560 3275 0 0 0 9 0 0 0 20 0 15 0 415389908 10915721216 6958 33554432000 4194304 4196468 140725372847392 140074888808456 140074884600989 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13108] ppid=13102 vsize=10659884 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13108/stat : 13108 (java) S 13102 13105 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415389909 10915721216 6958 33554432000 4194304 4196468 140725372847392 140074490891280 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13109] ppid=13102 vsize=10659884 memory=140406148376192 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13109/stat : 13109 (java) S 13102 13105 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415389909 10915721216 6958 33554432000 4194304 4196468 140725372847392 140074489838736 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13110] ppid=13102 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13110/stat : 13110 (java) S 13102 13105 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415389909 10915721216 6958 33554432000 4194304 4196468 140725372847392 140074488785680 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13111] ppid=13102 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13111/stat : 13111 (java) S 13102 13105 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415389909 10915721216 6958 33554432000 4194304 4196468 140725372847392 140074487733136 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13112] ppid=13102 vsize=10659884 memory=140406148376192 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13112/stat : 13112 (java) S 13102 13105 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415389910 10915721216 6958 33554432000 4194304 4196468 140725372847392 140074121386224 140074884590210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13113] ppid=13102 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13113/stat : 13113 (java) S 13102 13105 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415389911 10915721216 6958 33554432000 4194304 4196468 140725372847392 140074120332448 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13114] ppid=13102 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13114/stat : 13114 (java) S 13102 13105 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415389911 10915721216 6958 33554432000 4194304 4196468 140725372847392 140074119279344 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13115] ppid=13102 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13115/stat : 13115 (java) S 13102 13105 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415389913 10915721216 6958 33554432000 4194304 4196468 140725372847392 140074050119632 140074884597659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13116] ppid=13102 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13116/stat : 13116 (java) S 13102 13105 10443 0 -1 1077944384 403 0 0 0 0 0 0 0 20 0 15 0 415389914 10915721216 6958 33554432000 4194304 4196468 140725372847392 140074049067760 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13117] ppid=13102 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13117/stat : 13117 (java) R 13102 13105 10443 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 415389914 10915721216 6958 33554432000 4194304 4196468 140725372847392 140074048015216 140074884590210 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13118] ppid=13102 vsize=10659884 memory=140406148376192 CPUtime=0.02 cores=1,3,5,7
/proc/13105/task/13118/stat : 13118 (java) R 13102 13105 10443 0 -1 4202560 634 0 0 0 2 0 0 0 20 0 15 0 415389914 10915721216 6958 33554432000 4194304 4196468 140725372847392 140074046958072 140074865989213 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13119] ppid=13102 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13119/stat : 13119 (java) S 13102 13105 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415389914 10915721216 6958 33554432000 4194304 4196468 140725372847392 140074045909856 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13120] ppid=13102 vsize=10659884 memory=140406148376192 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13120/stat : 13120 (java) S 13102 13105 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415389914 10915721216 6958 33554432000 4194304 4196468 140725372847392 140074044856880 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27832 KiB

[startup+0.21101 s]*
/proc/loadavg: 2.11 2.10 2.06 3/234 13120
/proc/meminfo: memFree=29341404/32770624 swapFree=66967268/67108860
[pid=13105] ppid=13102 vsize=10659884 memory=33792 CPUtime=0.33 cores=1,3,5,7
/proc/13105/stat : 13105 (java) S 13102 13105 10443 0 -1 1077944320 7042 0 0 0 31 2 0 0 20 0 15 0 415389908 10915721216 8448 33554432000 4194304 4196468 140725372847392 140725372829936 140074884579063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
/proc/13105/statm: 2664971 8448 2989 1 0 2627468 0
[pid=13105/tid=13107] ppid=13102 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/13105/task/13107/stat : 13107 (java) R 13102 13105 10443 0 -1 4202560 3919 0 0 0 19 1 0 0 20 0 15 0 415389908 10915721216 8448 33554432000 4194304 4196468 140725372847392 140074888805424 140074884600989 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13108] ppid=13102 vsize=10659884 memory=364 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13108/stat : 13108 (java) S 13102 13105 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415389909 10915721216 8448 33554432000 4194304 4196468 140725372847392 140074490891280 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13109] ppid=13102 vsize=10659884 memory=288370782300087936 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13109/stat : 13109 (java) S 13102 13105 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415389909 10915721216 8448 33554432000 4194304 4196468 140725372847392 140074489838736 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13110] ppid=13102 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13110/stat : 13110 (java) S 13102 13105 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415389909 10915721216 8448 33554432000 4194304 4196468 140725372847392 140074488785680 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13111] ppid=13102 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13111/stat : 13111 (java) S 13102 13105 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415389909 10915721216 8448 33554432000 4194304 4196468 140725372847392 140074487733136 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13112] ppid=13102 vsize=10659884 memory=140406148376192 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13112/stat : 13112 (java) S 13102 13105 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415389910 10915721216 8448 33554432000 4194304 4196468 140725372847392 140074121386224 140074884590210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13113] ppid=13102 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13113/stat : 13113 (java) S 13102 13105 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415389911 10915721216 8448 33554432000 4194304 4196468 140725372847392 140074120332448 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13114] ppid=13102 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13114/stat : 13114 (java) S 13102 13105 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415389911 10915721216 8448 33554432000 4194304 4196468 140725372847392 140074119279344 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13115] ppid=13102 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13115/stat : 13115 (java) S 13102 13105 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415389913 10915721216 8448 33554432000 4194304 4196468 140725372847392 140074050119632 140074884597659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13116] ppid=13102 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/13105/task/13116/stat : 13116 (java) S 13102 13105 10443 0 -1 1077944384 646 0 0 0 3 0 0 0 20 0 15 0 415389914 10915721216 8448 33554432000 4194304 4196468 140725372847392 140074049067760 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13117] ppid=13102 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/13105/task/13117/stat : 13117 (java) S 13102 13105 10443 0 -1 1077944384 386 0 0 0 2 0 0 0 20 0 15 0 415389914 10915721216 8448 33554432000 4194304 4196468 140725372847392 140074048015216 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13118] ppid=13102 vsize=10659884 memory=140406148376192 CPUtime=0.05 cores=1,3,5,7
/proc/13105/task/13118/stat : 13118 (java) S 13102 13105 10443 0 -1 1077944384 732 0 0 0 5 0 0 0 20 0 15 0 415389914 10915721216 8448 33554432000 4194304 4196468 140725372847392 140074046962160 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13119] ppid=13102 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13119/stat : 13119 (java) S 13102 13105 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415389914 10915721216 8448 33554432000 4194304 4196468 140725372847392 140074045909856 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13120] ppid=13102 vsize=10659884 memory=140406148376192 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13120/stat : 13120 (java) S 13102 13105 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415389914 10915721216 8448 33554432000 4194304 4196468 140725372847392 140074044856880 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 33792 KiB

[startup+0.310509 s]*
/proc/loadavg: 2.11 2.10 2.06 3/234 13120
/proc/meminfo: memFree=29333336/32770624 swapFree=66967268/67108860
[pid=13105] ppid=13102 vsize=10659884 memory=38976 CPUtime=0.47 cores=1,3,5,7
/proc/13105/stat : 13105 (java) S 13102 13105 10443 0 -1 1077944320 9634 0 0 0 44 3 0 0 20 0 15 0 415389908 10915721216 9744 33554432000 4194304 4196468 140725372847392 140725372829936 140074884579063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
/proc/13105/statm: 2664971 9744 3001 1 0 2627468 0
[pid=13105/tid=13107] ppid=13102 vsize=10659884 memory=7311146985107750967 CPUtime=0.3 cores=1,3,5,7
/proc/13105/task/13107/stat : 13107 (java) R 13102 13105 10443 0 -1 4202560 6400 0 0 0 28 2 0 0 20 0 15 0 415389908 10915721216 9744 33554432000 4194304 4196468 140725372847392 140074888811472 140074884590998 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13108] ppid=13102 vsize=10659884 memory=290763875220193303 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13108/stat : 13108 (java) S 13102 13105 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415389909 10915721216 9744 33554432000 4194304 4196468 140725372847392 140074490891280 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13109] ppid=13102 vsize=10659884 memory=288370782300087936 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13109/stat : 13109 (java) S 13102 13105 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415389909 10915721216 9744 33554432000 4194304 4196468 140725372847392 140074489838736 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13110] ppid=13102 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13110/stat : 13110 (java) S 13102 13105 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415389909 10915721216 9744 33554432000 4194304 4196468 140725372847392 140074488785680 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13111] ppid=13102 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13111/stat : 13111 (java) S 13102 13105 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415389909 10915721216 9744 33554432000 4194304 4196468 140725372847392 140074487733136 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13112] ppid=13102 vsize=10659884 memory=140406148376192 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13112/stat : 13112 (java) S 13102 13105 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415389910 10915721216 9744 33554432000 4194304 4196468 140725372847392 140074121386224 140074884590210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13113] ppid=13102 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13113/stat : 13113 (java) S 13102 13105 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415389911 10915721216 9744 33554432000 4194304 4196468 140725372847392 140074120332448 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13114] ppid=13102 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13114/stat : 13114 (java) S 13102 13105 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415389911 10915721216 9744 33554432000 4194304 4196468 140725372847392 140074119279344 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13115] ppid=13102 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13115/stat : 13115 (java) S 13102 13105 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415389913 10915721216 9744 33554432000 4194304 4196468 140725372847392 140074050119632 140074884597659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13116] ppid=13102 vsize=10659884 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/13105/task/13116/stat : 13116 (java) R 13102 13105 10443 0 -1 4202560 688 0 0 0 5 0 0 0 20 0 15 0 415389914 10915721216 9744 33554432000 4194304 4196468 140725372847392 140074049067760 140074869000241 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13117] ppid=13102 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/13105/task/13117/stat : 13117 (java) R 13102 13105 10443 0 -1 1077944384 399 0 0 0 3 0 0 0 20 0 15 0 415389914 10915721216 9744 33554432000 4194304 4196468 140725372847392 140074048015216 140074884590210 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13118] ppid=13102 vsize=10659884 memory=140406148376192 CPUtime=0.08 cores=1,3,5,7
/proc/13105/task/13118/stat : 13118 (java) R 13102 13105 10443 0 -1 4202560 791 0 0 0 8 0 0 0 20 0 15 0 415389914 10915721216 9744 33554432000 4194304 4196468 140725372847392 140074046962160 140074864496518 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13119] ppid=13102 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13119/stat : 13119 (java) S 13102 13105 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415389914 10915721216 9744 33554432000 4194304 4196468 140725372847392 140074045909856 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13120] ppid=13102 vsize=10659884 memory=140406148376192 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13120/stat : 13120 (java) S 13102 13105 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415389914 10915721216 9744 33554432000 4194304 4196468 140725372847392 140074044856880 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 38976 KiB

[startup+0.700803 s]
/proc/loadavg: 2.11 2.10 2.06 3/234 13120
/proc/meminfo: memFree=29323540/32770624 swapFree=66967268/67108860
[pid=13105] ppid=13102 vsize=10661932 memory=63264 CPUtime=1.1 cores=1,3,5,7
/proc/13105/stat : 13105 (java) S 13102 13105 10443 0 -1 1077944320 13419 0 0 0 104 6 0 0 20 0 15 0 415389908 10917818368 15816 33554432000 4194304 4196468 140725372847392 140725372829936 140074884579063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
/proc/13105/statm: 2665483 15816 3073 1 0 2627980 0
[pid=13105/tid=13107] ppid=13102 vsize=10661932 memory=1240 CPUtime=0.67 cores=1,3,5,7
/proc/13105/task/13107/stat : 13107 (java) R 13102 13105 10443 0 -1 4202560 8920 0 0 0 64 3 0 0 20 0 15 0 415389908 10917818368 15816 33554432000 4194304 4196468 140725372847392 140074888811088 140074868633115 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13108] ppid=13102 vsize=10661932 memory=3428 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13108/stat : 13108 (java) S 13102 13105 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415389909 10917818368 15816 33554432000 4194304 4196468 140725372847392 140074490891280 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13109] ppid=13102 vsize=10661932 memory=716 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13109/stat : 13109 (java) S 13102 13105 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415389909 10917818368 15816 33554432000 4194304 4196468 140725372847392 140074489838736 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13110] ppid=13102 vsize=10661932 memory=776 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13110/stat : 13110 (java) S 13102 13105 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415389909 10917818368 15816 33554432000 4194304 4196468 140725372847392 140074488785680 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13111] ppid=13102 vsize=10661932 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13111/stat : 13111 (java) S 13102 13105 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415389909 10917818368 15816 33554432000 4194304 4196468 140725372847392 140074487733136 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13112] ppid=13102 vsize=10661932 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13112/stat : 13112 (java) S 13102 13105 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415389910 10917818368 15816 33554432000 4194304 4196468 140725372847392 140074121386224 140074884590210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13113] ppid=13102 vsize=10661932 memory=9328 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13113/stat : 13113 (java) S 13102 13105 10443 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415389911 10917818368 15816 33554432000 4194304 4196468 140725372847392 140074120332448 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13114] ppid=13102 vsize=10661932 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13114/stat : 13114 (java) S 13102 13105 10443 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415389911 10917818368 15816 33554432000 4194304 4196468 140725372847392 140074119279344 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13115] ppid=13102 vsize=10661932 memory=1216 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13115/stat : 13115 (java) S 13102 13105 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415389913 10917818368 15816 33554432000 4194304 4196468 140725372847392 140074050119632 140074884597659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13116] ppid=13102 vsize=10661932 memory=4639098309541126757 CPUtime=0.11 cores=1,3,5,7
/proc/13105/task/13116/stat : 13116 (java) R 13102 13105 10443 0 -1 4202560 1052 0 0 0 11 0 0 0 20 0 15 0 415389914 10917818368 15816 33554432000 4194304 4196468 140725372847392 140074049067760 140074870599920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13117] ppid=13102 vsize=10661932 memory=7955443078088779376 CPUtime=0.09 cores=1,3,5,7
/proc/13105/task/13117/stat : 13117 (java) S 13102 13105 10443 0 -1 1077944384 768 0 0 0 9 0 0 0 20 0 15 0 415389914 10917818368 15816 33554432000 4194304 4196468 140725372847392 140074048015216 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13118] ppid=13102 vsize=10661932 memory=5865188000529146989 CPUtime=0.18 cores=1,3,5,7
/proc/13105/task/13118/stat : 13118 (java) S 13102 13105 10443 0 -1 1077944384 1320 0 0 0 18 0 0 0 20 0 15 0 415389914 10917818368 15816 33554432000 4194304 4196468 140725372847392 140074046962160 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13119] ppid=13102 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13119/stat : 13119 (java) S 13102 13105 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415389914 10917818368 15816 33554432000 4194304 4196468 140725372847392 140074045909856 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13120] ppid=13102 vsize=10661932 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13120/stat : 13120 (java) S 13102 13105 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415389914 10917818368 15816 33554432000 4194304 4196468 140725372847392 140074044856880 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63264 KiB

[startup+1.50076 s]
/proc/loadavg: 2.11 2.10 2.06 3/234 13120
/proc/meminfo: memFree=29307232/32770624 swapFree=66967268/67108860
[pid=13105] ppid=13102 vsize=10663980 memory=75240 CPUtime=2 cores=1,3,5,7
/proc/13105/stat : 13105 (java) S 13102 13105 10443 0 -1 1077944320 17235 0 0 0 194 6 0 0 20 0 15 0 415389908 10919915520 18810 33554432000 4194304 4196468 140725372847392 140725372829936 140074884579063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
/proc/13105/statm: 2665995 18810 3090 1 0 2628492 0
[pid=13105/tid=13107] ppid=13102 vsize=10663980 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/13105/task/13107/stat : 13107 (java) R 13102 13105 10443 0 -1 4202560 11669 0 0 0 143 4 0 0 20 0 15 0 415389908 10919915520 18810 33554432000 4194304 4196468 140725372847392 140074888801424 140074868659550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13108] ppid=13102 vsize=10663980 memory=-6951259422114956437 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13108/stat : 13108 (java) S 13102 13105 10443 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415389909 10919915520 18810 33554432000 4194304 4196468 140725372847392 140074490891280 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13109] ppid=13102 vsize=10663980 memory=-6509546260019855295 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13109/stat : 13109 (java) S 13102 13105 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415389909 10919915520 18810 33554432000 4194304 4196468 140725372847392 140074489838736 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13110] ppid=13102 vsize=10663980 memory=-7390251449858225344 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13110/stat : 13110 (java) S 13102 13105 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415389909 10919915520 18810 33554432000 4194304 4196468 140725372847392 140074488785680 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13111] ppid=13102 vsize=10663980 memory=-7096649868621430206 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13111/stat : 13111 (java) S 13102 13105 10443 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415389909 10919915520 18810 33554432000 4194304 4196468 140725372847392 140074487733136 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13112] ppid=13102 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13112/stat : 13112 (java) S 13102 13105 10443 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 415389910 10919915520 18810 33554432000 4194304 4196468 140725372847392 140074121386224 140074884590210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0

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

/proc/13105/task/13111/stat : 13111 (java) S 13102 13105 10443 0 -1 1077944384 2743 0 0 0 73 40 0 0 20 0 16 0 415389909 11006283776 497120 33554432000 4194304 4196468 140725372847392 140074487733136 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13112] ppid=13102 vsize=10748324 memory=1988480 CPUtime=0.08 cores=1,3,5,7
/proc/13105/task/13112/stat : 13112 (java) S 13102 13105 10443 0 -1 1077944384 11037 0 0 0 6 2 0 0 20 0 16 0 415389910 11006283776 497120 33554432000 4194304 4196468 140725372847392 140074121386224 140074884590210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13113] ppid=13102 vsize=10748324 memory=1988480 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13113/stat : 13113 (java) S 13102 13105 10443 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415389911 11006283776 497120 33554432000 4194304 4196468 140725372847392 140074120332512 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13114] ppid=13102 vsize=10748324 memory=22476 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13114/stat : 13114 (java) S 13102 13105 10443 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 415389911 11006283776 497120 33554432000 4194304 4196468 140725372847392 140074119279360 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13115] ppid=13102 vsize=10748324 memory=984 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13115/stat : 13115 (java) S 13102 13105 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415389913 11006283776 497120 33554432000 4194304 4196468 140725372847392 140074050119632 140074884597659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13116] ppid=13102 vsize=10748324 memory=1424 CPUtime=4.12 cores=1,3,5,7
/proc/13105/task/13116/stat : 13116 (java) S 13102 13105 10443 0 -1 1077944384 23908 0 0 0 409 3 0 0 20 0 16 0 415389914 11006283776 497120 33554432000 4194304 4196468 140725372847392 140074049067760 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13117] ppid=13102 vsize=10748324 memory=1448 CPUtime=4.16 cores=1,3,5,7
/proc/13105/task/13117/stat : 13117 (java) S 13102 13105 10443 0 -1 1077944384 22889 0 0 0 414 2 0 0 20 0 16 0 415389914 11006283776 497120 33554432000 4194304 4196468 140725372847392 140074048015216 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13118] ppid=13102 vsize=10748324 memory=1988480 CPUtime=1.14 cores=1,3,5,7
/proc/13105/task/13118/stat : 13118 (java) S 13102 13105 10443 0 -1 1077944384 18438 0 0 0 111 3 0 0 20 0 16 0 415389914 11006283776 497120 33554432000 4194304 4196468 140725372847392 140074046962160 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13119] ppid=13102 vsize=10748324 memory=1988480 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13119/stat : 13119 (java) S 13102 13105 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415389914 11006283776 497120 33554432000 4194304 4196468 140725372847392 140074045909856 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13120] ppid=13102 vsize=10748324 memory=22476 CPUtime=0.46 cores=1,3,5,7
/proc/13105/task/13120/stat : 13120 (java) S 13102 13105 10443 0 -1 1077944384 2825 0 0 0 21 25 0 0 20 0 16 0 415389914 11006283776 497120 33554432000 4194304 4196468 140725372847392 140074044856880 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13121] ppid=13102 vsize=10748324 memory=984 CPUtime=2259.07 cores=1,3,5,7
/proc/13105/task/13121/stat : 13121 (java) R 13102 13105 10443 0 -1 4202560 37194 0 0 0 225892 15 0 0 20 0 16 0 415390096 11006283776 497120 33554432000 4194304 4196468 140725372847392 140074028187232 140074531607872 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
Current children cumulated CPU time: 2275.32 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1988480 KiB

[startup+2322.3 s]
/proc/loadavg: 1.79 2.03 2.06 2/214 13393
/proc/meminfo: memFree=28997000/32770624 swapFree=66967308/67108860
[pid=13105] ppid=13102 vsize=10748324 memory=1988484 CPUtime=2335.34 cores=1,3,5,7
/proc/13105/stat : 13105 (java) S 13102 13105 10443 0 -1 1077944320 145202 0 0 0 233341 193 0 0 20 0 16 0 415389908 11006283776 497121 33554432000 4194304 4196468 140725372847392 140725372829936 140074884579063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
/proc/13105/statm: 2687081 497121 3384 1 0 2647217 0
[pid=13105/tid=13107] ppid=13102 vsize=10748324 memory=1988484 CPUtime=1.86 cores=1,3,5,7
/proc/13105/task/13107/stat : 13107 (java) S 13102 13105 10443 0 -1 1077944384 13186 0 0 0 180 6 0 0 20 0 16 0 415389908 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074888821936 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13108] ppid=13102 vsize=10748324 memory=1988484 CPUtime=1.06 cores=1,3,5,7
/proc/13105/task/13108/stat : 13108 (java) S 13102 13105 10443 0 -1 1077944384 2957 0 0 0 71 35 0 0 20 0 16 0 415389909 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074490891280 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13109] ppid=13102 vsize=10748324 memory=1988484 CPUtime=1.06 cores=1,3,5,7
/proc/13105/task/13109/stat : 13109 (java) S 13102 13105 10443 0 -1 1077944384 3242 0 0 0 73 33 0 0 20 0 16 0 415389909 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074489838736 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13110] ppid=13102 vsize=10748324 memory=1988484 CPUtime=1.08 cores=1,3,5,7
/proc/13105/task/13110/stat : 13110 (java) S 13102 13105 10443 0 -1 1077944384 4426 0 0 0 75 33 0 0 20 0 16 0 415389909 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074488785680 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13111] ppid=13102 vsize=10748324 memory=1988484 CPUtime=1.13 cores=1,3,5,7
/proc/13105/task/13111/stat : 13111 (java) S 13102 13105 10443 0 -1 1077944384 2743 0 0 0 73 40 0 0 20 0 16 0 415389909 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074487733136 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13112] ppid=13102 vsize=10748324 memory=1988484 CPUtime=0.08 cores=1,3,5,7
/proc/13105/task/13112/stat : 13112 (java) S 13102 13105 10443 0 -1 1077944384 11047 0 0 0 6 2 0 0 20 0 16 0 415389910 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074121386224 140074884590210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13113] ppid=13102 vsize=10748324 memory=1988484 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13113/stat : 13113 (java) S 13102 13105 10443 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415389911 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074120332512 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13114] ppid=13102 vsize=10748324 memory=1988484 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13114/stat : 13114 (java) S 13102 13105 10443 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 415389911 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074119279360 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13115] ppid=13102 vsize=10748324 memory=1988484 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13115/stat : 13115 (java) S 13102 13105 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415389913 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074050119632 140074884597659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13116] ppid=13102 vsize=10748324 memory=1988484 CPUtime=4.12 cores=1,3,5,7
/proc/13105/task/13116/stat : 13116 (java) S 13102 13105 10443 0 -1 1077944384 23912 0 0 0 409 3 0 0 20 0 16 0 415389914 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074049067760 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13117] ppid=13102 vsize=10748324 memory=1988484 CPUtime=4.16 cores=1,3,5,7
/proc/13105/task/13117/stat : 13117 (java) S 13102 13105 10443 0 -1 1077944384 22891 0 0 0 414 2 0 0 20 0 16 0 415389914 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074048015216 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13118] ppid=13102 vsize=10748324 memory=1988484 CPUtime=1.14 cores=1,3,5,7
/proc/13105/task/13118/stat : 13118 (java) S 13102 13105 10443 0 -1 1077944384 18452 0 0 0 111 3 0 0 20 0 16 0 415389914 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074046962160 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13119] ppid=13102 vsize=10748324 memory=1988484 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13119/stat : 13119 (java) S 13102 13105 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415389914 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074045909856 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13120] ppid=13102 vsize=10748324 memory=1988484 CPUtime=0.47 cores=1,3,5,7
/proc/13105/task/13120/stat : 13120 (java) S 13102 13105 10443 0 -1 1077944384 2859 0 0 0 22 25 0 0 20 0 16 0 415389914 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074044856880 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13121] ppid=13102 vsize=10748324 memory=1988484 CPUtime=2319.06 cores=1,3,5,7
/proc/13105/task/13121/stat : 13121 (java) R 13102 13105 10443 0 -1 4202560 38062 0 0 0 231891 15 0 0 20 0 16 0 415390096 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074028187232 140074525050694 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
Current children cumulated CPU time: 2335.34 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1988484 KiB

[startup+2382.3 s]
/proc/loadavg: 1.51 1.89 2.01 2/211 13399
/proc/meminfo: memFree=28996988/32770624 swapFree=66967308/67108860
[pid=13105] ppid=13102 vsize=10748324 memory=1988484 CPUtime=2395.35 cores=1,3,5,7
/proc/13105/stat : 13105 (java) S 13102 13105 10443 0 -1 1077944320 145457 0 0 0 239341 194 0 0 20 0 16 0 415389908 11006283776 497121 33554432000 4194304 4196468 140725372847392 140725372829936 140074884579063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
/proc/13105/statm: 2687081 497121 3384 1 0 2647217 0
[pid=13105/tid=13107] ppid=13102 vsize=10748324 memory=1988484 CPUtime=1.86 cores=1,3,5,7
/proc/13105/task/13107/stat : 13107 (java) S 13102 13105 10443 0 -1 1077944384 13186 0 0 0 180 6 0 0 20 0 16 0 415389908 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074888821936 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13108] ppid=13102 vsize=10748324 memory=1988484 CPUtime=1.06 cores=1,3,5,7
/proc/13105/task/13108/stat : 13108 (java) S 13102 13105 10443 0 -1 1077944384 2957 0 0 0 71 35 0 0 20 0 16 0 415389909 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074490891280 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13109] ppid=13102 vsize=10748324 memory=1988484 CPUtime=1.06 cores=1,3,5,7
/proc/13105/task/13109/stat : 13109 (java) S 13102 13105 10443 0 -1 1077944384 3242 0 0 0 73 33 0 0 20 0 16 0 415389909 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074489838736 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13110] ppid=13102 vsize=10748324 memory=1988484 CPUtime=1.08 cores=1,3,5,7
/proc/13105/task/13110/stat : 13110 (java) S 13102 13105 10443 0 -1 1077944384 4426 0 0 0 75 33 0 0 20 0 16 0 415389909 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074488785680 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13111] ppid=13102 vsize=10748324 memory=1988484 CPUtime=1.13 cores=1,3,5,7
/proc/13105/task/13111/stat : 13111 (java) S 13102 13105 10443 0 -1 1077944384 2743 0 0 0 73 40 0 0 20 0 16 0 415389909 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074487733136 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13112] ppid=13102 vsize=10748324 memory=1988484 CPUtime=0.08 cores=1,3,5,7
/proc/13105/task/13112/stat : 13112 (java) S 13102 13105 10443 0 -1 1077944384 11047 0 0 0 6 2 0 0 20 0 16 0 415389910 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074121386224 140074884590210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13113] ppid=13102 vsize=10748324 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13113/stat : 13113 (java) S 13102 13105 10443 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415389911 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074120332512 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13114] ppid=13102 vsize=10748324 memory=1988484 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13114/stat : 13114 (java) S 13102 13105 10443 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 415389911 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074119279360 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13115] ppid=13102 vsize=10748324 memory=1988484 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13115/stat : 13115 (java) S 13102 13105 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415389913 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074050119632 140074884597659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13116] ppid=13102 vsize=10748324 memory=1988484 CPUtime=4.12 cores=1,3,5,7
/proc/13105/task/13116/stat : 13116 (java) S 13102 13105 10443 0 -1 1077944384 23912 0 0 0 409 3 0 0 20 0 16 0 415389914 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074049067760 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13117] ppid=13102 vsize=10748324 memory=1988484 CPUtime=4.16 cores=1,3,5,7
/proc/13105/task/13117/stat : 13117 (java) S 13102 13105 10443 0 -1 1077944384 22891 0 0 0 414 2 0 0 20 0 16 0 415389914 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074048015216 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13118] ppid=13102 vsize=10748324 memory=1988484 CPUtime=1.14 cores=1,3,5,7
/proc/13105/task/13118/stat : 13118 (java) S 13102 13105 10443 0 -1 1077944384 18452 0 0 0 111 3 0 0 20 0 16 0 415389914 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074046962160 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13119] ppid=13102 vsize=10748324 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13119/stat : 13119 (java) S 13102 13105 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415389914 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074045909856 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13120] ppid=13102 vsize=10748324 memory=280812076690064 CPUtime=0.48 cores=1,3,5,7
/proc/13105/task/13120/stat : 13120 (java) S 13102 13105 10443 0 -1 1077944384 2867 0 0 0 22 26 0 0 20 0 16 0 415389914 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074044856880 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13121] ppid=13102 vsize=10748324 memory=-7233780906022726806 CPUtime=2379.06 cores=1,3,5,7
/proc/13105/task/13121/stat : 13121 (java) R 13102 13105 10443 0 -1 4202560 38309 0 0 0 237891 15 0 0 20 0 16 0 415390096 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074028187232 140074525052526 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
Current children cumulated CPU time: 2395.35 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1988484 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2387 s]*
/proc/loadavg: 1.55 1.90 2.01 2/212 13401
/proc/meminfo: memFree=28997080/32770624 swapFree=66967308/67108860
[pid=13105] ppid=13102 vsize=10748324 memory=1988484 CPUtime=2400.05 cores=1,3,5,7
/proc/13105/stat : 13105 (java) S 13102 13105 10443 0 -1 1077944320 145463 0 0 0 239811 194 0 0 20 0 16 0 415389908 11006283776 497121 33554432000 4194304 4196468 140725372847392 140725372829936 140074884579063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
/proc/13105/statm: 2687081 497121 3384 1 0 2647217 0
[pid=13105/tid=13107] ppid=13102 vsize=10748324 memory=1398720917958146503 CPUtime=1.86 cores=1,3,5,7
/proc/13105/task/13107/stat : 13107 (java) S 13102 13105 10443 0 -1 1077944384 13186 0 0 0 180 6 0 0 20 0 16 0 415389908 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074888821936 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13108] ppid=13102 vsize=10748324 memory=4872558044660077418 CPUtime=1.06 cores=1,3,5,7
/proc/13105/task/13108/stat : 13108 (java) S 13102 13105 10443 0 -1 1077944384 2957 0 0 0 71 35 0 0 20 0 16 0 415389909 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074490891280 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13109] ppid=13102 vsize=10748324 memory=111632 CPUtime=1.06 cores=1,3,5,7
/proc/13105/task/13109/stat : 13109 (java) S 13102 13105 10443 0 -1 1077944384 3242 0 0 0 73 33 0 0 20 0 16 0 415389909 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074489838736 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13110] ppid=13102 vsize=10748324 memory=800 CPUtime=1.08 cores=1,3,5,7
/proc/13105/task/13110/stat : 13110 (java) S 13102 13105 10443 0 -1 1077944384 4426 0 0 0 75 33 0 0 20 0 16 0 415389909 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074488785680 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13111] ppid=13102 vsize=10748324 memory=1632 CPUtime=1.13 cores=1,3,5,7
/proc/13105/task/13111/stat : 13111 (java) S 13102 13105 10443 0 -1 1077944384 2743 0 0 0 73 40 0 0 20 0 16 0 415389909 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074487733136 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13112] ppid=13102 vsize=10748324 memory=1804 CPUtime=0.09 cores=1,3,5,7
/proc/13105/task/13112/stat : 13112 (java) S 13102 13105 10443 0 -1 1077944384 11047 0 0 0 7 2 0 0 20 0 16 0 415389910 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074121386224 140074884590210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13113] ppid=13102 vsize=10748324 memory=924 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13113/stat : 13113 (java) S 13102 13105 10443 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415389911 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074120332512 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13114] ppid=13102 vsize=10748324 memory=3852 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13114/stat : 13114 (java) S 13102 13105 10443 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 415389911 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074119279360 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13115] ppid=13102 vsize=10748324 memory=288230591722422566 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13115/stat : 13115 (java) S 13102 13105 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415389913 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074050119632 140074884597659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13116] ppid=13102 vsize=10748324 memory=15253753267750662 CPUtime=4.12 cores=1,3,5,7
/proc/13105/task/13116/stat : 13116 (java) S 13102 13105 10443 0 -1 1077944384 23912 0 0 0 409 3 0 0 20 0 16 0 415389914 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074049067760 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13117] ppid=13102 vsize=10748324 memory=3132 CPUtime=4.16 cores=1,3,5,7
/proc/13105/task/13117/stat : 13117 (java) S 13102 13105 10443 0 -1 1077944384 22891 0 0 0 414 2 0 0 20 0 16 0 415389914 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074048015216 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13118] ppid=13102 vsize=10748324 memory=0 CPUtime=1.14 cores=1,3,5,7
/proc/13105/task/13118/stat : 13118 (java) S 13102 13105 10443 0 -1 1077944384 18452 0 0 0 111 3 0 0 20 0 16 0 415389914 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074046962160 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13119] ppid=13102 vsize=10748324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13105/task/13119/stat : 13119 (java) S 13102 13105 10443 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415389914 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074045909856 140074884589269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13120] ppid=13102 vsize=10748324 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/13105/task/13120/stat : 13120 (java) S 13102 13105 10443 0 -1 1077944384 2869 0 0 0 22 26 0 0 20 0 16 0 415389914 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074044856880 140074884590210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
[pid=13105/tid=13121] ppid=13102 vsize=10748324 memory=0 CPUtime=2383.77 cores=1,3,5,7
/proc/13105/task/13121/stat : 13121 (java) R 13102 13105 10443 0 -1 4202560 38313 0 0 0 238362 15 0 0 20 0 16 0 415390096 11006283776 497121 33554432000 4194304 4196468 140725372847392 140074028187232 140074527610359 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29749248 140725372851211 140725372851314 140725372851314 140725372854223 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1988484 KiB

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

[startup+2387.03 s]
# the end of solver process 13105 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.13 s, system=1.95712 s

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

Child status: 143
Real time (s): 2387.03
CPU time (s): 2400.09
CPU user time (s): 2398.13
CPU system time (s): 1.95712
CPU usage (%): 100.547
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 1988484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.13
system time used= 1.95712
maximum resident set size= 1988960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 146753
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55613
involuntary context switches= 2319


# summary of solver processes directly reported to runsolver:
#   pid: 13105
#   total CPU time (s): 2400.09
#   total CPU user time (s): 2398.13
#   total CPU system time (s): 1.95712

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2002 second user time and 22.5231 second system time

The end

Launcher Data 

Begin job on node135 at 2019-09-13 18:16:03
IDJOB=4391330
IDBENCH=139658
IDSOLVER=2833
FILE ID=node135/4391330-1568391403
RUNJOBID= node135-1568388884-12408
PBS_JOBID= 21701833
Free space on /tmp= 61368 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/SteelMillSlab/SteelMillSlab-bench_9_11.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391330-1568391403/watcher-4391330-1568391403 -o /tmp/evaluation-result-4391330-1568391403/solver-4391330-1568391403 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node135-1568388884-12408 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391330-1568391403.xml -cm

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

MD5SUM BENCH= b3f80a69476de872363c069f96d9d14d
RANDOM SEED=657226006

node135.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.76
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.76
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.76
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.76
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:        29363136 kB
MemAvailable:   30260168 kB
Buffers:          144384 kB
Cached:          1021980 kB
SwapCached:        35024 kB
Active:          2067492 kB
Inactive:         742096 kB
Active(anon):    1615968 kB
Inactive(anon):    59692 kB
Active(file):     451524 kB
Inactive(file):   682404 kB
Unevictable:      110032 kB
Mlocked:          110032 kB
SwapTotal:      67108860 kB
SwapFree:       66967268 kB
Dirty:              8560 kB
Writeback:             0 kB
AnonPages:       1780604 kB
Mapped:            48400 kB
Shmem:             23688 kB
Slab:             188768 kB
SReclaimable:     157880 kB
SUnreclaim:        30888 kB
KernelStack:        4144 kB
PageTables:         9056 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3398648 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1648640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61368 MiB
End job on node135 at 2019-09-13 18:55:51