Trace number 4391028

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
AbsCon 2019-07-23? (TO) 2520.05 2506.92

General information on the benchmark

NameSteelMillSlab/
SteelMillSlab-bench_19_19.xml
MD5SUM96fe93baa9d8ae993bfc516e2d84a024
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1317.97
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":10,"count":111},{"size":48,"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.40/1.88	
2.40/1.88	AbsCon 2 
2.64/1.90	
4.01/2.32	  Instance
4.01/2.32	    name=instance-4391028-1568386354, framework=COP, bounds=-infty..+infty
4.01/2.32	
4.01/2.32	  Loading variables...
4.68/2.57	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e7a3ff
11.34/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@479900fd
11.34/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d82dee4
11.34/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fbd2290
11.34/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e66037a
11.34/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f4126fd
11.34/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30fdaec8
11.34/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5edc1caf
11.34/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dd7e455
11.34/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e0da96b
11.34/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30acb28e
11.34/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34213c3a
11.34/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b434356
11.34/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4513aee4
11.34/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f1823bc
11.34/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b2fba1d
11.34/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd84b34
11.34/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10fb6ea9
11.34/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70822a94
11.34/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9cb817
11.34/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b56b6f
11.34/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f2dbf5
11.34/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58faa6e2
11.34/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d95db7
11.34/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcd5f4d
11.34/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a07cd5d
11.34/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@541309f3
11.34/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@caf09c3
11.34/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ba87a35
11.34/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4524f6bf
11.34/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f325703
11.34/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54cbb410
11.34/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71476d7f
11.34/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f8162d4
11.34/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cf3d658
11.34/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37f557cd
11.34/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4845f428
11.34/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5653ff29
11.34/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ec8cd5a
11.34/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@505c165b
11.34/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d3ffbaa
11.34/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cf827e6
11.34/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@116070c5
11.34/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50374870
11.34/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcf251
11.34/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b277fa8
11.34/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c821b0d
11.34/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43e7bcab
11.34/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dfa40f7
11.34/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ac84d93
11.34/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17c98cad
11.34/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0aec71
11.34/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2167d09c
11.34/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a0c3784
11.34/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ba2f84a
11.34/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@521012e2
11.34/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b9c9292
11.34/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d145033
11.34/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e264b5
11.34/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794975d1
11.34/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ee58199
11.34/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36b0458
11.34/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f75734d
11.34/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@155a1a35
11.34/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a45fca5
11.34/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253a619a
11.34/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ee6041f
11.34/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ab08329
11.34/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@403a144
11.34/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76947bc7
11.34/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@592e6f23
11.34/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c33167a
11.34/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11380646
11.34/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9f015b
11.34/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f9800fb
11.34/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4927acb0
11.34/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41394586
11.34/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fcfc74f
11.34/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32957e2f
11.34/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@756b28fa
11.34/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d33f3fb
11.34/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3789d4
11.34/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c3d1d92
11.34/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645ac30
11.34/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601d9679
11.34/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58dd109a
11.34/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e2e57f
11.34/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@650d73cf
11.34/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e8f6262
11.34/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2853965
11.34/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65760e89
11.34/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7436145
11.34/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d006130
11.34/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cb30a26
11.34/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b59824
11.34/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17041b2e
11.34/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66997510
11.34/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce5a4d
11.34/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e962bb
11.34/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3760333e
11.34/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c68f96b
11.34/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b1775d5
11.34/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57ab092b
11.34/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1811ee96
11.34/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6388fdbb
11.34/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48a298d2
11.34/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ada84ed
11.34/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cafccb6
11.34/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a34ce
11.34/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dfb2101
11.34/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b6a0ee2
11.34/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c9ceab3
11.69/4.67	
11.69/4.67	
11.69/4.67	  Domains
11.69/4.67	    nTypes=4, nValues=43401, sizes=[2#12321,10#111,48#111,111#111]
11.69/4.67	  Variables
11.69/4.67	    count=12654, degrees=[2#12432,3#111,222#78,223#24,224#9]
11.69/4.67	  Objectives
11.69/4.67	    way=min, type=SumSimpleLE
11.69/4.67	  Constraints
11.69/4.67	    count=12677, nSpecific=134, arities=[2#12453,111#113,112#111]
11.69/4.67	    distribution=[CtrExtensionV-Bits#111,CtrIntension#12432,LE#21,SumSimpleEQ#1,SumSimpleLE#1,SumWeightedEQ#111]
11.69/4.67	    nExtStructures=(111,shared:0), nIntStructures=(222,shared:12210)
11.69/4.67	    wck=2.813, cpu=4.173, mem=933M147
11.69/4.69	  Solver SolverBacktrack being built...
11.69/4.69	
12.35/4.80	
12.35/4.80	  Solver
12.35/4.80	    guaranteedGAC=false
12.35/4.80	    wck=2.947, cpu=4.305, mem=965M299
13.41/5.57	
13.41/5.57	  Preprocessing
13.41/5.57	    filters=0, revisions=(24864,useless=24864), ccks=1379952, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
13.41/5.57	    wck=0.766, cpu=5.075, mem=965M299
13.41/5.57	
13.57/5.63	    num=0, depth=111..120, filters=2246, revisions=(28527,useless=26303), ccks=1385701, wck=0.827, mem=965M299
13.57/5.63	    decisions=140, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
13.57/5.63	    
14.21/5.89	    num=1, depth=1089..1104, filters=7094, revisions=(126000,useless=119335), ccks=1467779, wck=1.085, mem=965M299
14.21/5.89	    decisions=1266, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
14.21/5.89	    
15.27/6.27	    num=2, depth=2283..2294, filters=13994, revisions=(352587,useless=340034), ccks=1653211, wck=1.464, mem=965M299
15.27/6.27	    decisions=3584, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
15.27/6.27	    
15.94/6.75	    num=3, depth=3588..3600, filters=23168, revisions=(690636,useless=670309), ccks=1804893, wck=1.951, mem=965M299
15.94/6.75	    decisions=7210, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
15.94/6.75	    
16.59/7.37	    num=4, depth=5001..5014, filters=34951, revisions=(1158354,useless=1128147), ccks=1988767, wck=2.57, mem=965M299
16.59/7.37	    decisions=12252, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
16.59/7.37	    
17.42/8.12	    num=5, depth=6527..6532, filters=47629, revisions=(1712666,useless=1671736), ccks=2179084, wck=3.313, mem=969M368
17.42/8.12	    decisions=18816, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
17.42/8.12	    
18.62/9.11	    num=6, depth=6820..7003, filters=156226, revisions=(2501528,useless=2356513), ccks=2610728, wck=4.311, mem=977M418
18.62/9.11	    decisions=29256, wrong=1879, backtracks=1802, failedAssignments=93, nogoods=78
18.62/9.11	    
19.67/10.10	    num=7, depth=7038..7255, filters=265621, revisions=(3307557,useless=3057731), ccks=3028465, wck=5.3, mem=977M418
19.67/10.10	    decisions=40105, wrong=3736, backtracks=3658, failedAssignments=112, nogoods=80
19.67/10.10	    
20.61/10.91	    num=8, depth=7148..7255, filters=285654, revisions=(3919322,useless=3651643), ccks=3154177, wck=6.109, mem=977M418
20.61/10.91	    decisions=47662, wrong=3909, backtracks=3810, failedAssignments=133, nogoods=99
20.61/10.91	    
21.65/11.96	    num=9, depth=7090..7256, filters=425086, revisions=(4792846,useless=4391178), ccks=3649686, wck=7.156, mem=977M418
21.65/11.96	    decisions=59605, wrong=6335, backtracks=6234, failedAssignments=156, nogoods=101
21.65/11.96	    
22.57/12.80	    num=10, depth=7319..7397, filters=449379, revisions=(5420015,useless=4996669), ccks=3792980, wck=7.998, mem=977M418
22.57/12.80	    decisions=67941, wrong=6805, backtracks=6680, failedAssignments=181, nogoods=113
22.57/12.80	    
23.68/13.92	    num=11, depth=7151..7368, filters=612778, revisions=(6352658,useless=5771956), ccks=4359308, wck=9.118, mem=977M418
23.68/13.92	    decisions=80924, wrong=9668, backtracks=9539, failedAssignments=209, nogoods=115
23.68/13.92	    
24.89/15.12	    num=12, depth=7310..7475, filters=807638, revisions=(7360027,useless=6591305), ccks=5029069, wck=10.314, mem=977M418
24.89/15.12	    decisions=94998, wrong=13050, backtracks=12920, failedAssignments=240, nogoods=116
24.89/15.12	    
25.80/16.10	    num=13, depth=7367..7476, filters=869970, revisions=(8062639,useless=7235755), ccks=5270607, wck=11.296, mem=977M418
25.80/16.10	    decisions=105685, wrong=14710, backtracks=14579, failedAssignments=274, nogoods=117
25.80/16.10	    
26.80/17.07	    num=14, depth=1169..7442, filters=928776, revisions=(8758260,useless=7876584), ccks=5501949, wck=12.271, mem=977M418
26.80/17.07	    decisions=116171, wrong=16279, backtracks=16142, failedAssignments=311, nogoods=123
26.80/17.07	    
27.82/18.11	    num=15, depth=1113..7389, filters=1019653, revisions=(9521440,useless=8553750), ccks=5831361, wck=13.305, mem=977M418
27.82/18.11	    decisions=127791, wrong=18450, backtracks=18304, failedAssignments=352, nogoods=132
27.82/18.11	    
28.97/19.16	    num=16, depth=1134..7357, filters=1115176, revisions=(10295242,useless=9237404), ccks=6173376, wck=14.363, mem=977M418
28.97/19.16	    decisions=139987, wrong=20928, backtracks=20778, failedAssignments=397, nogoods=136
28.97/19.16	    
29.97/20.19	    num=17, depth=1167..7310, filters=1196476, revisions=(11031164,useless=9897014), ccks=6467889, wck=15.385, mem=977M418
29.97/20.19	    decisions=151781, wrong=23226, backtracks=23072, failedAssignments=447, nogoods=140
29.97/20.19	    
31.07/21.23	    num=18, depth=1246..7253, filters=1285507, revisions=(11780075,useless=10562201), ccks=6783861, wck=16.428, mem=977M418
31.07/21.23	    decisions=163992, wrong=25765, backtracks=25607, failedAssignments=502, nogoods=144
31.07/21.23	    
32.07/22.22	    num=19, depth=1268..7195, filters=1352049, revisions=(12477661,useless=11197708), ccks=7030382, wck=17.421, mem=977M418
32.07/22.22	    decisions=175259, wrong=27859, backtracks=27697, failedAssignments=563, nogoods=148
32.07/22.22	    
32.98/23.19	    num=20, depth=1358..7127, filters=1409306, revisions=(13152172,useless=11818985), ccks=7249970, wck=18.386, mem=977M418
32.98/23.19	    decisions=186003, wrong=29737, backtracks=29571, failedAssignments=630, nogoods=152
32.98/23.19	    
33.88/24.02	    num=21, depth=1425..7082, filters=1437499, revisions=(13787479,useless=12428401), ccks=7405348, wck=19.22, mem=977M418
33.88/24.02	    decisions=193656, wrong=30023, backtracks=29784, failedAssignments=704, nogoods=225
33.88/24.02	    
35.37/25.56	    num=22, depth=6836..7052, filters=1803254, revisions=(15171031,useless=13457529), ccks=8592875, wck=20.754, mem=977M418
35.37/25.56	    decisions=213651, wrong=36510, backtracks=36247, failedAssignments=785, nogoods=249
35.37/25.56	    
36.47/26.69	    num=23, depth=6946..7163, filters=1972308, revisions=(16125015,useless=14248576), ccks=9184363, wck=21.888, mem=985M469
36.47/26.69	    decisions=226657, wrong=39441, backtracks=39113, failedAssignments=874, nogoods=312
36.47/26.69	    
37.48/27.63	    num=24, depth=7166..7342, filters=2023396, revisions=(16895481,useless=14971605), ccks=9498257, wck=22.829, mem=985M469
37.48/27.63	    decisions=235939, wrong=40486, backtracks=40085, failedAssignments=972, nogoods=358
37.48/27.63	    
38.49/28.61	    num=25, depth=7385..7602, filters=2094565, revisions=(17681904,useless=15690576), ccks=9817551, wck=23.811, mem=985M469
38.49/28.61	    decisions=245871, wrong=41663, backtracks=41166, failedAssignments=1080, nogoods=454
38.49/28.61	    
40.70/30.80	    num=26, depth=7463..7745, filters=2788538, revisions=(19796061,useless=17130628), ccks=12008512, wck=26.003, mem=985M469
40.70/30.80	    decisions=278590, wrong=54276, backtracks=53779, failedAssignments=1199, nogoods=456
40.70/30.80	    
43.10/33.21	    num=27, depth=7552..7881, filters=3582637, revisions=(22156591,useless=18719843), ccks=14505593, wck=28.41, mem=985M469
43.10/33.21	    decisions=314916, wrong=68587, backtracks=68086, failedAssignments=1330, nogoods=459
43.10/33.21	    
43.91/34.10	    num=28, depth=7882..8012, filters=3608244, revisions=(22811955,useless=19351554), ccks=14641401, wck=29.303, mem=992M96
43.91/34.10	    decisions=323429, wrong=68839, backtracks=68194, failedAssignments=1474, nogoods=496
43.91/34.10	    
46.01/36.17	    num=29, depth=4452..8040, filters=4190188, revisions=(24822183,useless=20804953), ccks=16636754, wck=31.37, mem=992M96
46.01/36.17	    decisions=353456, wrong=79903, backtracks=79254, failedAssignments=1632, nogoods=503
46.01/36.17	    
46.91/37.09	    num=30, depth=4588..8135, filters=4219122, revisions=(25503340,useless=21459222), ccks=16798684, wck=32.285, mem=992M96
46.91/37.09	    decisions=362154, wrong=80186, backtracks=79364, failedAssignments=1806, nogoods=570
46.91/37.09	    
49.32/39.41	    num=31, depth=4590..8318, filters=4835737, revisions=(28123461,useless=23488747), ccks=19302292, wck=34.613, mem=992M96
49.32/39.41	    decisions=397256, wrong=93670, backtracks=92851, failedAssignments=1997, nogoods=575
49.32/39.41	    
52.87/41.50	    num=32, depth=4987..8460, filters=5208578, revisions=(29551779,useless=24555229), ccks=20508784, wck=36.7, mem=727M784
52.87/41.50	    decisions=418900, wrong=100303, backtracks=99333, failedAssignments=2208, nogoods=621
52.87/41.50	    
54.07/42.72	    num=33, depth=8242..8459, filters=5428648, revisions=(30646785,useless=25436982), ccks=21247713, wck=37.92, mem=727M784
54.07/42.72	    decisions=435092, wrong=104174, backtracks=103007, failedAssignments=2440, nogoods=713
54.07/42.72	    
57.38/46.07	    num=34, depth=8346..8568, filters=6878951, revisions=(34470304,useless=27850620), ccks=25747617, wck=41.265, mem=727M784
57.38/46.07	    decisions=497340, wrong=131084, backtracks=129923, failedAssignments=2695, nogoods=715
57.38/46.07	    
58.38/47.08	    num=35, depth=8559..8679, filters=6978832, revisions=(35311494,useless=28595450), ccks=26119831, wck=42.28, mem=727M784
58.38/47.08	    decisions=509178, wrong=132684, backtracks=131256, failedAssignments=2976, nogoods=770
58.38/47.08	    
59.28/47.99	    num=36, depth=8573..8684, filters=7009583, revisions=(36004336,useless=29259212), ccks=26273918, wck=43.183, mem=735M859
59.28/47.99	    decisions=518480, wrong=132995, backtracks=131259, failedAssignments=3285, nogoods=865
59.28/47.99	    
61.68/50.34	    num=37, depth=8574..8856, filters=7759958, revisions=(38781907,useless=31312000), ccks=28973394, wck=45.533, mem=735M859
61.68/50.34	    decisions=559916, wrong=149396, backtracks=147648, failedAssignments=3625, nogoods=867
61.68/50.34	    
63.39/52.04	    num=38, depth=8789..9010, filters=8264240, revisions=(40536472,useless=32576432), ccks=30587023, wck=47.234, mem=735M859
63.39/52.04	    decisions=586897, wrong=158398, backtracks=156352, failedAssignments=3999, nogoods=950
63.39/52.04	    
64.58/53.23	    num=39, depth=8791..9011, filters=8457935, revisions=(41606036,useless=33458144), ccks=31242376, wck=48.422, mem=743M934
64.58/53.23	    decisions=602465, wrong=161689, backtracks=159255, failedAssignments=4410, nogoods=1015
64.58/53.23	    
65.49/54.18	    num=40, depth=9120..9123, filters=8497137, revisions=(42344785,useless=34159437), ccks=31442374, wck=49.377, mem=743M934
65.49/54.18	    decisions=612501, wrong=162147, backtracks=159263, failedAssignments=4862, nogoods=1062
65.49/54.18	    
70.00/58.61	    num=41, depth=9339..9662, filters=10459977, revisions=(48432214,useless=38345327), ccks=38185254, wck=53.811, mem=743M934
70.00/58.61	    decisions=704239, wrong=203271, backtracks=200410, failedAssignments=5359, nogoods=1065
70.00/58.61	    
71.10/59.73	    num=42, depth=9545..9664, filters=10597399, revisions=(49387786,useless=39167417), ccks=38672088, wck=54.932, mem=752M12
71.10/59.73	    decisions=718420, wrong=205587, backtracks=202195, failedAssignments=5906, nogoods=1171
71.10/59.73	    
77.52/66.13	    num=43, depth=9490..9724, filters=14114807, revisions=(57851310,useless=44209008), ccks=49513883, wck=61.33, mem=752M12
77.52/66.13	    decisions=857887, wrong=270525, backtracks=267129, failedAssignments=6508, nogoods=1173
77.52/66.13	    
78.61/67.24	    num=44, depth=9504..9725, filters=14219141, revisions=(58814464,useless=45071381), ccks=49930198, wck=62.436, mem=752M12
78.61/67.24	    decisions=870837, wrong=272144, backtracks=268093, failedAssignments=7170, nogoods=1183
78.61/67.24	    
79.81/68.47	    num=45, depth=9615..9829, filters=14363857, revisions=(60085874,useless=46204517), ccks=50629429, wck=63.667, mem=752M12
79.81/68.47	    decisions=888124, wrong=275934, backtracks=271222, failedAssignments=7898, nogoods=1223
79.81/68.47	    
81.64/70.20	    num=46, depth=9712..9846, filters=14663712, revisions=(62164899,useless=48000459), ccks=51853609, wck=65.397, mem=752M12
81.64/70.20	    decisions=918036, wrong=286002, backtracks=281091, failedAssignments=8699, nogoods=1230
81.64/70.20	    
82.64/71.20	    num=47, depth=9605..10143, filters=14728812, revisions=(62988104,useless=48760135), ccks=52109686, wck=66.401, mem=752M12
82.64/71.20	    decisions=929982, wrong=286924, backtracks=281132, failedAssignments=9580, nogoods=1256
82.64/71.20	    
84.74/73.30	    num=48, depth=10144..10364, filters=15453849, revisions=(65473256,useless=50543320), ccks=54474983, wck=68.496, mem=760M93
84.74/73.30	    decisions=971637, wrong=302621, backtracks=296052, failedAssignments=10550, nogoods=1270
84.74/73.30	    
93.45/82.01	    num=49, depth=10187..10417, filters=20689832, revisions=(77783857,useless=57765406), ccks=70554554, wck=77.211, mem=760M93
93.45/82.01	    decisions=1184069, wrong=403706, backtracks=397077, failedAssignments=11617, nogoods=1272
93.45/82.01	    
100.45/89.04	    num=50, depth=1351..10527, filters=24679933, revisions=(87321243,useless=63431434), ccks=82793704, wck=84.243, mem=760M93
100.45/89.04	    decisions=1355713, wrong=484357, backtracks=477666, failedAssignments=12790, nogoods=1281
100.45/89.04	    
102.85/91.47	    num=51, depth=2640..10525, filters=25135407, revisions=(91637399,useless=67323101), ccks=85532946, wck=86.669, mem=760M93
102.85/91.47	    decisions=1406172, wrong=504370, backtracks=496900, failedAssignments=14081, nogoods=1315
102.85/91.47	    
104.25/92.90	    num=52, depth=1678..10479, filters=25247651, revisions=(92515904,useless=68109862), ccks=85783057, wck=88.093, mem=768M143
104.25/92.90	    decisions=1427244, wrong=509711, backtracks=501927, failedAssignments=15501, nogoods=1330
104.25/92.90	    
113.25/101.84	    num=53, depth=9172..10328, filters=29232440, revisions=(108176125,useless=79942567), ccks=101011864, wck=97.04, mem=768M143
113.25/101.84	    decisions=1643787, wrong=612901, backtracks=605104, failedAssignments=17063, nogoods=1344
113.25/101.84	    
121.35/109.99	    num=54, depth=4438..10453, filters=33603765, revisions=(120231503,useless=87767688), ccks=115258270, wck=105.189, mem=768M143
121.35/109.99	    decisions=1835553, wrong=703648, backtracks=694990, failedAssignments=18781, nogoods=1361
121.35/109.99	    
127.35/115.97	    num=55, depth=4663..10438, filters=36557342, revisions=(127255073,useless=91939571), ccks=124086991, wck=111.166, mem=776M183
127.35/115.97	    decisions=1988175, wrong=774792, backtracks=766117, failedAssignments=20671, nogoods=1376
127.35/115.97	    
134.95/123.53	    num=56, depth=4885..10368, filters=40383603, revisions=(135815882,useless=96804793), ccks=135297699, wck=118.732, mem=776M183
134.95/123.53	    decisions=2190598, wrong=870906, backtracks=862207, failedAssignments=22750, nogoods=1408
134.95/123.53	    
148.25/136.86	    num=57, depth=5848..10248, filters=48212205, revisions=(153529294,useless=106926277), ccks=158983722, wck=132.062, mem=784M223
148.25/136.86	    decisions=2532582, wrong=1036873, backtracks=1028200, failedAssignments=25037, nogoods=1454
148.25/136.86	    
158.05/146.62	    num=58, depth=6190..10303, filters=53530599, revisions=(165881739,useless=114141011), ccks=175083513, wck=141.816, mem=784M223
158.05/146.62	    decisions=2785734, wrong=1158412, backtracks=1149725, failedAssignments=27553, nogoods=1477
158.05/146.62	    
166.85/155.41	    num=59, depth=3328..10212, filters=58004967, revisions=(176338760,useless=120347439), ccks=191179027, wck=150.611, mem=792M262
166.85/155.41	    decisions=3004813, wrong=1262873, backtracks=1254286, failedAssignments=30321, nogoods=1524
166.85/155.41	    
178.65/167.21	    num=60, depth=6522..10247, filters=63323662, revisions=(193760429,useless=132690757), ccks=209838242, wck=162.404, mem=800M342
178.65/167.21	    decisions=3322724, wrong=1416773, backtracks=1408089, failedAssignments=33365, nogoods=1558
178.65/167.21	    
193.07/181.69	    num=61, depth=4392..10304, filters=70803677, revisions=(211221506,useless=142968453), ccks=232564798, wck=176.886, mem=800M342
193.07/181.69	    decisions=3731882, wrong=1616253, backtracks=1607632, failedAssignments=36714, nogoods=1609
193.07/181.69	    
198.77/187.37	    num=62, depth=5019..10398, filters=72920675, revisions=(216782156,useless=146531417), ccks=238955736, wck=182.564, mem=808M381
198.77/187.37	    decisions=3901662, wrong=1695979, backtracks=1685376, failedAssignments=40398, nogoods=1723
198.77/187.37	    
221.97/210.52	    num=63, depth=7072..10395, filters=87139933, revisions=(251228733,useless=167181585), ccks=283330653, wck=205.721, mem=816M421
221.97/210.52	    decisions=4506215, wrong=1993147, backtracks=1982487, failedAssignments=44450, nogoods=1785
221.97/210.52	    
250.07/238.67	    num=64, depth=6230..10371, filters=104463250, revisions=(289934123,useless=189099973), ccks=335895876, wck=233.864, mem=832M500
250.07/238.67	    decisions=5260716, wrong=2365357, backtracks=2354764, failedAssignments=48907, nogoods=1792
250.07/238.67	    
265.88/254.46	    num=65, depth=4355..10359, filters=114204708, revisions=(312325449,useless=202037704), ccks=365680644, wck=249.661, mem=840M581
265.88/254.46	    decisions=5668160, wrong=2563936, backtracks=2550825, failedAssignments=53810, nogoods=1900
265.88/254.46	    
281.18/269.75	    num=66, depth=8787..10186, filters=122307849, revisions=(330561471,useless=212476322), ccks=389901517, wck=264.951, mem=848M661
281.18/269.75	    decisions=6088322, wrong=2769001, backtracks=2755888, failedAssignments=59204, nogoods=1920
281.18/269.75	    
300.50/289.03	    num=67, depth=6588..10062, filters=133598862, revisions=(357297370,useless=228288637), ccks=424677156, wck=284.228, mem=848M661
300.50/289.03	    decisions=6559448, wrong=2999600, backtracks=2984693, failedAssignments=65137, nogoods=1930
300.50/289.03	    
342.29/330.81	    num=68, depth=8897..10298, filters=159638524, revisions=(415769206,useless=261525902), ccks=504054793, wck=326.007, mem=864M740
342.29/330.81	    decisions=7667590, wrong=3548553, backtracks=3533872, failedAssignments=71663, nogoods=1940
342.29/330.81	    
370.71/359.24	    num=69, depth=7154..10363, filters=175017569, revisions=(455160538,useless=286130624), ccks=552987596, wck=354.436, mem=872M780
370.71/359.24	    decisions=8456111, wrong=3937748, backtracks=3922402, failedAssignments=78842, nogoods=1960
370.71/359.24	    
410.82/399.31	    num=70, depth=5088..10453, filters=199490086, revisions=(510403447,useless=317696816), ccks=627489287, wck=394.513, mem=896M938
410.82/399.31	    decisions=9563228, wrong=4486206, backtracks=4470295, failedAssignments=86739, nogoods=2103
410.82/399.31	    
428.63/417.18	    num=71, depth=5995..10425, filters=208007144, revisions=(529621022,useless=328786013), ccks=652730146, wck=412.373, mem=904M978
428.63/417.18	    decisions=10111491, wrong=4755188, backtracks=4738392, failedAssignments=95426, nogoods=2205
428.63/417.18	    
470.85/459.38	    num=72, depth=6239..10475, filters=231206284, revisions=(581817958,useless=358694393), ccks=722766341, wck=454.575, mem=921M57
470.85/459.38	    decisions=11353421, wrong=5371020, backtracks=5354049, failedAssignments=104981, nogoods=2313
470.85/459.38	    
491.76/480.28	    num=73, depth=5712..10678, filters=242710533, revisions=(606179958,useless=372018574), ccks=756080750, wck=475.476, mem=937M176
491.76/480.28	    decisions=11966718, wrong=5672397, backtracks=5650321, failedAssignments=115492, nogoods=2432
491.76/480.28	    
569.58/558.02	    num=74, depth=5967..10652, filters=294425750, revisions=(721918887,useless=437534423), ccks=913924418, wck=553.215, mem=961M295
569.58/558.02	    decisions=14054028, wrong=6710798, backtracks=6688902, failedAssignments=127054, nogoods=2559
569.58/558.02	    
608.78/597.25	    num=75, depth=6065..10745, filters=318099925, revisions=(774396438,useless=467180062), ccks=985132481, wck=592.444, mem=985M446
608.78/597.25	    decisions=15238981, wrong=7297963, backtracks=7273754, failedAssignments=139772, nogoods=2707
608.78/597.25	    
627.67/616.01	    num=76, depth=6730..10832, filters=327185154, revisions=(803140189,useless=487307962), ccks=1016091784, wck=611.213, mem=993M485
627.67/616.01	    decisions=15787468, wrong=7566836, backtracks=7537363, failedAssignments=153762, nogoods=2753
627.67/616.01	    
656.72/645.05	    num=77, depth=7050..10946, filters=339550047, revisions=(858339375,useless=530812494), ccks=1066591865, wck=640.25, mem=1009M595
656.72/645.05	    decisions=16682498, wrong=8008906, backtracks=7978285, failedAssignments=169151, nogoods=2836
656.72/645.05	    
747.84/736.19	    num=78, depth=7331..10829, filters=397420300, revisions=(985856672,useless=602765125), ccks=1239815933, wck=731.384, mem=1041M790
747.84/736.19	    decisions=18996566, wrong=9160711, backtracks=9127131, failedAssignments=186079, nogoods=2931
747.84/736.19	    
835.15/823.47	    num=79, depth=7856..10811, filters=451411612, revisions=(1104119131,useless=668903507), ccks=1401765614, wck=818.668, mem=1073M980
835.15/823.47	    decisions=21484940, wrong=10399598, backtracks=10364607, failedAssignments=204700, nogoods=2969
835.15/823.47	    
916.96/905.29	    num=80, depth=7744..11007, filters=506347414, revisions=(1229369978,useless=740889696), ccks=1570459233, wck=900.49, mem=1106M174
916.96/905.29	    decisions=23789830, wrong=11546670, backtracks=11511022, failedAssignments=225184, nogoods=3120
916.96/905.29	    
992.96/980.83	    num=81, depth=8046..11054, filters=550960369, revisions=(1325649866,useless=794289044), ccks=1702798733, wck=976.026, mem=823M801
992.96/980.83	    decisions=26223688, wrong=12758131, backtracks=12722656, failedAssignments=247716, nogoods=3291
992.96/980.83	    
1034.28/1022.19	    num=82, depth=8317..11071, filters=570812372, revisions=(1381081909,useless=830901544), ccks=1769681350, wck=1017.392, mem=852M964
1034.28/1022.19	    decisions=27612122, wrong=13446886, backtracks=13409202, failedAssignments=272501, nogoods=3356
1034.28/1022.19	    
1116.98/1104.89	    num=83, depth=8974..11005, filters=618941104, revisions=(1484990727,useless=888600026), ccks=1911271832, wck=1100.085, mem=882M87
1116.98/1104.89	    decisions=30218155, wrong=14744469, backtracks=14706130, failedAssignments=299765, nogoods=3464
1116.98/1104.89	    
1222.90/1210.70	    num=84, depth=8738..11142, filters=682103026, revisions=(1621240823,useless=964196749), ccks=2098268788, wck=1205.896, mem=925M773
1222.90/1210.70	    decisions=33663895, wrong=16461874, backtracks=16422571, failedAssignments=329755, nogoods=3634
1222.90/1210.70	    
1277.40/1265.21	    num=85, depth=6199..11194, filters=709199862, revisions=(1678114334,useless=995424233), ccks=2175551557, wck=1260.408, mem=969M502
1277.40/1265.21	    decisions=35668073, wrong=17458435, backtracks=17416681, failedAssignments=362744, nogoods=3780
1277.40/1265.21	    
1315.60/1303.49	    num=86, depth=6402..11149, filters=725352309, revisions=(1744110389,useless=1046223279), ccks=2237336348, wck=1298.689, mem=984M64
1315.60/1303.49	    decisions=36943554, wrong=18090667, backtracks=18040305, failedAssignments=399032, nogoods=3925
1315.60/1303.49	    
1393.13/1380.92	    num=87, depth=8879..11184, filters=768037107, revisions=(1877276697,useless=1138419931), ccks=2385095727, wck=1376.12, mem=1027M793
1393.13/1380.92	    decisions=39344268, wrong=19285451, backtracks=19234305, failedAssignments=438949, nogoods=4121
1393.13/1380.92	    
1485.85/1473.61	    num=88, depth=9110..11179, filters=820231762, revisions=(1997131413,useless=1208655484), ccks=2541843728, wck=1468.81, mem=1071M521
1485.85/1473.61	    decisions=42346381, wrong=20780982, backtracks=20726721, failedAssignments=482858, nogoods=4284
1485.85/1473.61	    
1615.46/1602.99	    num=89, depth=7072..11348, filters=878398444, revisions=(2149538125,useless=1306024705), ccks=2724885234, wck=1598.193, mem=1158M932
1615.46/1602.99	    decisions=46235201, wrong=22719882, backtracks=24137446, failedAssignments=531158, nogoods=4436
1615.46/1602.99	    
1694.68/1682.16	    num=90, depth=5952..11117, filters=924092110, revisions=(2276515222,useless=1389239492), ccks=2876228250, wck=1677.358, mem=1188M56
1694.68/1682.16	    decisions=48491804, wrong=23842696, backtracks=25248793, failedAssignments=584288, nogoods=4567
1694.68/1682.16	    
1762.79/1750.28	    num=91, depth=6141..11164, filters=951953450, revisions=(2332442749,useless=1419560472), ccks=2950227306, wck=1745.479, mem=1231M783
1762.79/1750.28	    decisions=51050362, wrong=25116421, backtracks=26516619, failedAssignments=642731, nogoods=4699
1762.79/1750.28	    
1884.62/1872.08	    num=92, depth=8384..11075, filters=1011233461, revisions=(2532054216,useless=1562790229), ccks=3161695495, wck=1867.28, mem=1275M469
1884.62/1872.08	    decisions=54871159, wrong=27021336, backtracks=28401399, failedAssignments=707018, nogoods=4821
1884.62/1872.08	    
1978.12/1965.51	    num=93, depth=6556..11020, filters=1070402425, revisions=(2661913969,useless=1635641141), ccks=3339096588, wck=1960.705, mem=1319M154
1978.12/1965.51	    decisions=57523139, wrong=28341907, backtracks=29674403, failedAssignments=777734, nogoods=4932
1978.12/1965.51	    
2088.54/2076.00	    num=94, depth=7847..11251, filters=1085786744, revisions=(2742373041,useless=1702049393), ccks=3392057635, wck=2071.196, mem=1508M459
2088.54/2076.00	    decisions=58969859, wrong=29059792, backtracks=37439007, failedAssignments=855521, nogoods=5024
2088.54/2076.00	    
2209.10/2196.15	    num=95, depth=6955..11265, filters=1126423913, revisions=(2864028354,useless=1785516890), ccks=3519597466, wck=2191.349, mem=975M296
2209.10/2196.15	    decisions=61583346, wrong=30361056, backtracks=42299397, failedAssignments=941087, nogoods=5134
2209.10/2196.15	    
2455.60/2442.50	    num=96, depth=7150..11236, filters=1183753149, revisions=(3099197750,useless=1966830300), ccks=3725333285, wck=2437.701, mem=1311M195
2455.60/2442.50	    decisions=65608833, wrong=32368356, backtracks=55233898, failedAssignments=1035210, nogoods=5257
2455.60/2442.50	    
2510.92/2497.82	    num=97, depth=8212..11177, filters=1205550028, revisions=(3179819174,useless=2026549844), ccks=3805323894, wck=2493.019, mem=1369M645
2510.92/2497.82	    decisions=66699622, wrong=32908347, backtracks=57323722, failedAssignments=1138745, nogoods=5466
2510.92/2497.82	    
2520.02/2506.90	
2520.02/2506.90	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 (14768 MiB free)
  memory of node 1: 16384 MiB (14947 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391028-1568386354/watcher-4391028-1568386354 -o /tmp/evaluation-result-4391028-1568386354/solver-4391028-1568386354 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568376840-4290 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391028-1568386354.xml -cm 

running on 4 cores: 0,2,4,6

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


[startup+0.100063 s]*
/proc/loadavg: 1.64 1.63 1.75 5/228 6011
/proc/meminfo: memFree=30414948/32770624 swapFree=66997152/67108860
[pid=5996] ppid=5993 vsize=10659884 memory=29032 CPUtime=0.14 cores=0,2,4,6
/proc/5996/stat : 5996 (java) S 5993 5996 4259 0 -1 1077944320 5771 0 0 0 13 1 0 0 20 0 15 0 414890037 10915721216 7258 33554432000 4194304 4196468 140722637348944 140722637331488 140354118479607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
/proc/5996/statm: 2664971 7258 2902 1 0 2627468 0
[pid=5996/tid=5998] ppid=5993 vsize=10659884 memory=-8617482348318186131 CPUtime=0.09 cores=0,2,4,6
/proc/5996/task/5998/stat : 5998 (java) R 5993 5996 4259 0 -1 4202560 3215 0 0 0 9 0 0 0 20 0 15 0 414890037 10915721216 7258 33554432000 4194304 4196468 140722637348944 140354122708800 140354118500954 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=5999] ppid=5993 vsize=10659884 memory=-9181546050914066336 CPUtime=0 cores=0,2,4,6
/proc/5996/task/5999/stat : 5999 (java) S 5993 5996 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890038 10915721216 7258 33554432000 4194304 4196468 140722637348944 140354044553872 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6000] ppid=5993 vsize=10659884 memory=139890061051520 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6000/stat : 6000 (java) S 5993 5996 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890038 10915721216 7258 33554432000 4194304 4196468 140722637348944 140354043501072 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6001] ppid=5993 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6001/stat : 6001 (java) S 5993 5996 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890038 10915721216 7258 33554432000 4194304 4196468 140722637348944 140354042448272 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6002] ppid=5993 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6002/stat : 6002 (java) S 5993 5996 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414890038 10915721216 7258 33554432000 4194304 4196468 140722637348944 140354041395472 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6003] ppid=5993 vsize=10659884 memory=139890061051520 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6003/stat : 6003 (java) S 5993 5996 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414890039 10915721216 7258 33554432000 4194304 4196468 140722637348944 140353609857904 140354118490754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6004] ppid=5993 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6004/stat : 6004 (java) S 5993 5996 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414890040 10915721216 7258 33554432000 4194304 4196468 140722637348944 140353608803872 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6005] ppid=5993 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6005/stat : 6005 (java) S 5993 5996 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414890040 10915721216 7258 33554432000 4194304 4196468 140722637348944 140353607751024 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6006] ppid=5993 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6006/stat : 6006 (java) S 5993 5996 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414890042 10915721216 7258 33554432000 4194304 4196468 140722637348944 140353606699344 140354118498203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6007] ppid=5993 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6007/stat : 6007 (java) S 5993 5996 4259 0 -1 1077944384 558 0 0 0 0 0 0 0 20 0 15 0 414890042 10915721216 7258 33554432000 4194304 4196468 140722637348944 140353605646704 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6008] ppid=5993 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6008/stat : 6008 (java) S 5993 5996 4259 0 -1 1077944384 99 0 0 0 0 0 0 0 20 0 15 0 414890042 10915721216 7258 33554432000 4194304 4196468 140722637348944 140353604593904 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6009] ppid=5993 vsize=10659884 memory=139890061051520 CPUtime=0.02 cores=0,2,4,6
/proc/5996/task/6009/stat : 6009 (java) R 5993 5996 4259 0 -1 4202560 591 0 0 0 2 0 0 0 20 0 15 0 414890042 10915721216 7258 33554432000 4194304 4196468 140722637348944 140353603537656 140354118491542 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6010] ppid=5993 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6010/stat : 6010 (java) S 5993 5996 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414890042 10915721216 7258 33554432000 4194304 4196468 140722637348944 140353602488544 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6011] ppid=5993 vsize=10659884 memory=139890061051520 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6011/stat : 6011 (java) S 5993 5996 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890043 10915721216 7258 33554432000 4194304 4196468 140722637348944 140353601436848 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29032 KiB

[startup+0.210601 s]*
/proc/loadavg: 1.64 1.63 1.75 3/228 6011
/proc/meminfo: memFree=30407816/32770624 swapFree=66997152/67108860
[pid=5996] ppid=5993 vsize=10659884 memory=34944 CPUtime=0.32 cores=0,2,4,6
/proc/5996/stat : 5996 (java) S 5993 5996 4259 0 -1 1077944320 6836 0 0 0 31 1 0 0 20 0 15 0 414890037 10915721216 8736 33554432000 4194304 4196468 140722637348944 140722637331488 140354118479607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
/proc/5996/statm: 2664971 8736 2989 1 0 2627468 0
[pid=5996/tid=5998] ppid=5993 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/5996/task/5998/stat : 5998 (java) R 5993 5996 4259 0 -1 4202560 3884 0 0 0 19 1 0 0 20 0 15 0 414890037 10915721216 8736 33554432000 4194304 4196468 140722637348944 140354122711696 140354118501533 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=5999] ppid=5993 vsize=10659884 memory=339 CPUtime=0 cores=0,2,4,6
/proc/5996/task/5999/stat : 5999 (java) S 5993 5996 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890038 10915721216 8736 33554432000 4194304 4196468 140722637348944 140354044553872 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6000] ppid=5993 vsize=10659884 memory=139890061063099 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6000/stat : 6000 (java) S 5993 5996 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890038 10915721216 8736 33554432000 4194304 4196468 140722637348944 140354043501072 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6001] ppid=5993 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6001/stat : 6001 (java) S 5993 5996 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890038 10915721216 8736 33554432000 4194304 4196468 140722637348944 140354042448272 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6002] ppid=5993 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6002/stat : 6002 (java) S 5993 5996 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414890038 10915721216 8736 33554432000 4194304 4196468 140722637348944 140354041395472 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6003] ppid=5993 vsize=10659884 memory=139890061051520 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6003/stat : 6003 (java) S 5993 5996 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414890039 10915721216 8736 33554432000 4194304 4196468 140722637348944 140353609857904 140354118490754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6004] ppid=5993 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6004/stat : 6004 (java) S 5993 5996 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414890040 10915721216 8736 33554432000 4194304 4196468 140722637348944 140353608803872 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6005] ppid=5993 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6005/stat : 6005 (java) S 5993 5996 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414890040 10915721216 8736 33554432000 4194304 4196468 140722637348944 140353607751024 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6006] ppid=5993 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6006/stat : 6006 (java) S 5993 5996 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414890042 10915721216 8736 33554432000 4194304 4196468 140722637348944 140353606699344 140354118498203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6007] ppid=5993 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5996/task/6007/stat : 6007 (java) S 5993 5996 4259 0 -1 1077944384 662 0 0 0 3 0 0 0 20 0 15 0 414890042 10915721216 8736 33554432000 4194304 4196468 140722637348944 140353605646704 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6008] ppid=5993 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5996/task/6008/stat : 6008 (java) S 5993 5996 4259 0 -1 1077944384 300 0 0 0 2 0 0 0 20 0 15 0 414890042 10915721216 8736 33554432000 4194304 4196468 140722637348944 140353604593904 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6009] ppid=5993 vsize=10659884 memory=139890061051520 CPUtime=0.05 cores=0,2,4,6
/proc/5996/task/6009/stat : 6009 (java) S 5993 5996 4259 0 -1 1077944384 631 0 0 0 5 0 0 0 20 0 15 0 414890042 10915721216 8736 33554432000 4194304 4196468 140722637348944 140353603541104 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6010] ppid=5993 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6010/stat : 6010 (java) S 5993 5996 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414890042 10915721216 8736 33554432000 4194304 4196468 140722637348944 140353602488544 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6011] ppid=5993 vsize=10659884 memory=139890061051520 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6011/stat : 6011 (java) S 5993 5996 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890043 10915721216 8736 33554432000 4194304 4196468 140722637348944 140353601436848 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34944 KiB

[startup+0.310086 s]*
/proc/loadavg: 1.64 1.63 1.75 3/228 6011
/proc/meminfo: memFree=30399628/32770624 swapFree=66997152/67108860
[pid=5996] ppid=5993 vsize=10659884 memory=40404 CPUtime=0.47 cores=0,2,4,6
/proc/5996/stat : 5996 (java) S 5993 5996 4259 0 -1 1077944320 9391 0 0 0 44 3 0 0 20 0 15 0 414890037 10915721216 10101 33554432000 4194304 4196468 140722637348944 140722637331488 140354118479607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
/proc/5996/statm: 2664971 10101 3003 1 0 2627468 0
[pid=5996/tid=5998] ppid=5993 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/5996/task/5998/stat : 5998 (java) R 5993 5996 4259 0 -1 4202560 6347 0 0 0 27 2 0 0 20 0 15 0 414890037 10915721216 10101 33554432000 4194304 4196468 140722637348944 140354122718592 140354118501533 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=5999] ppid=5993 vsize=10659884 memory=2669794 CPUtime=0 cores=0,2,4,6
/proc/5996/task/5999/stat : 5999 (java) S 5993 5996 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890038 10915721216 10101 33554432000 4194304 4196468 140722637348944 140354044553872 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6000] ppid=5993 vsize=10659884 memory=139890063972894 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6000/stat : 6000 (java) S 5993 5996 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890038 10915721216 10101 33554432000 4194304 4196468 140722637348944 140354043501072 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6001] ppid=5993 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6001/stat : 6001 (java) S 5993 5996 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890038 10915721216 10101 33554432000 4194304 4196468 140722637348944 140354042448272 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6002] ppid=5993 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6002/stat : 6002 (java) S 5993 5996 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414890038 10915721216 10101 33554432000 4194304 4196468 140722637348944 140354041395472 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6003] ppid=5993 vsize=10659884 memory=139890061051520 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6003/stat : 6003 (java) S 5993 5996 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414890039 10915721216 10101 33554432000 4194304 4196468 140722637348944 140353609857904 140354118490754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6004] ppid=5993 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6004/stat : 6004 (java) S 5993 5996 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414890040 10915721216 10101 33554432000 4194304 4196468 140722637348944 140353608803872 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6005] ppid=5993 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6005/stat : 6005 (java) S 5993 5996 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414890040 10915721216 10101 33554432000 4194304 4196468 140722637348944 140353607751024 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6006] ppid=5993 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6006/stat : 6006 (java) S 5993 5996 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414890042 10915721216 10101 33554432000 4194304 4196468 140722637348944 140353606699344 140354118498203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6007] ppid=5993 vsize=10659884 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/5996/task/6007/stat : 6007 (java) S 5993 5996 4259 0 -1 1077944384 691 0 0 0 5 0 0 0 20 0 15 0 414890042 10915721216 10101 33554432000 4194304 4196468 140722637348944 140353605646704 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6008] ppid=5993 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/5996/task/6008/stat : 6008 (java) S 5993 5996 4259 0 -1 1077944384 328 0 0 0 3 0 0 0 20 0 15 0 414890042 10915721216 10101 33554432000 4194304 4196468 140722637348944 140353604593904 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6009] ppid=5993 vsize=10659884 memory=139890061051520 CPUtime=0.07 cores=0,2,4,6
/proc/5996/task/6009/stat : 6009 (java) S 5993 5996 4259 0 -1 1077944384 670 0 0 0 7 0 0 0 20 0 15 0 414890042 10915721216 10101 33554432000 4194304 4196468 140722637348944 140353603541104 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6010] ppid=5993 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6010/stat : 6010 (java) S 5993 5996 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414890042 10915721216 10101 33554432000 4194304 4196468 140722637348944 140353602488544 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6011] ppid=5993 vsize=10659884 memory=139890061051520 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6011/stat : 6011 (java) S 5993 5996 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890043 10915721216 10101 33554432000 4194304 4196468 140722637348944 140353601436848 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40404 KiB

[startup+0.701593 s]
/proc/loadavg: 1.64 1.63 1.75 3/228 6011
/proc/meminfo: memFree=30392432/32770624 swapFree=66997152/67108860
[pid=5996] ppid=5993 vsize=10661932 memory=63024 CPUtime=1.1 cores=0,2,4,6
/proc/5996/stat : 5996 (java) S 5993 5996 4259 0 -1 1077944320 12857 0 0 0 105 5 0 0 20 0 15 0 414890037 10917818368 15756 33554432000 4194304 4196468 140722637348944 140722637331488 140354118479607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
/proc/5996/statm: 2665483 15756 3068 1 0 2627980 0
[pid=5996/tid=5998] ppid=5993 vsize=10661932 memory=9860 CPUtime=0.68 cores=0,2,4,6
/proc/5996/task/5998/stat : 5998 (java) R 5993 5996 4259 0 -1 4202560 8919 0 0 0 64 4 0 0 20 0 15 0 414890037 10917818368 15756 33554432000 4194304 4196468 140722637348944 140354122705488 140354104657261 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=5999] ppid=5993 vsize=10661932 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/5996/task/5999/stat : 5999 (java) S 5993 5996 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890038 10917818368 15756 33554432000 4194304 4196468 140722637348944 140354044553872 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6000] ppid=5993 vsize=10661932 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6000/stat : 6000 (java) S 5993 5996 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890038 10917818368 15756 33554432000 4194304 4196468 140722637348944 140354043501072 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6001] ppid=5993 vsize=10661932 memory=500 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6001/stat : 6001 (java) S 5993 5996 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890038 10917818368 15756 33554432000 4194304 4196468 140722637348944 140354042448272 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6002] ppid=5993 vsize=10661932 memory=928 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6002/stat : 6002 (java) S 5993 5996 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414890038 10917818368 15756 33554432000 4194304 4196468 140722637348944 140354041395472 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6003] ppid=5993 vsize=10661932 memory=1528 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6003/stat : 6003 (java) S 5993 5996 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414890039 10917818368 15756 33554432000 4194304 4196468 140722637348944 140353609857904 140354118490754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6004] ppid=5993 vsize=10661932 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6004/stat : 6004 (java) S 5993 5996 4259 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414890040 10917818368 15756 33554432000 4194304 4196468 140722637348944 140353608803872 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6005] ppid=5993 vsize=10661932 memory=876 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6005/stat : 6005 (java) S 5993 5996 4259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414890040 10917818368 15756 33554432000 4194304 4196468 140722637348944 140353607751024 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6006] ppid=5993 vsize=10661932 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6006/stat : 6006 (java) S 5993 5996 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414890042 10917818368 15756 33554432000 4194304 4196468 140722637348944 140353606699344 140354118498203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6007] ppid=5993 vsize=10661932 memory=7086240636179075427 CPUtime=0.11 cores=0,2,4,6
/proc/5996/task/6007/stat : 6007 (java) S 5993 5996 4259 0 -1 1077944384 970 0 0 0 11 0 0 0 20 0 15 0 414890042 10917818368 15756 33554432000 4194304 4196468 140722637348944 140353605646704 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6008] ppid=5993 vsize=10661932 memory=7453282923427948884 CPUtime=0.1 cores=0,2,4,6
/proc/5996/task/6008/stat : 6008 (java) R 5993 5996 4259 0 -1 4202560 596 0 0 0 10 0 0 0 20 0 15 0 414890042 10917818368 15756 33554432000 4194304 4196468 140722637348944 140353604593904 140354102439104 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6009] ppid=5993 vsize=10661932 memory=7223879631928058176 CPUtime=0.18 cores=0,2,4,6
/proc/5996/task/6009/stat : 6009 (java) S 5993 5996 4259 0 -1 1077944384 1013 0 0 0 18 0 0 0 20 0 15 0 414890042 10917818368 15756 33554432000 4194304 4196468 140722637348944 140353603541104 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6010] ppid=5993 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6010/stat : 6010 (java) S 5993 5996 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414890042 10917818368 15756 33554432000 4194304 4196468 140722637348944 140353602488544 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6011] ppid=5993 vsize=10661932 memory=6441959910864939369 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6011/stat : 6011 (java) S 5993 5996 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890043 10917818368 15756 33554432000 4194304 4196468 140722637348944 140353601436848 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63024 KiB

[startup+1.50073 s]
/proc/loadavg: 1.64 1.63 1.75 3/228 6011
/proc/meminfo: memFree=30376612/32770624 swapFree=66997152/67108860
[pid=5996] ppid=5993 vsize=10663980 memory=75116 CPUtime=2 cores=0,2,4,6
/proc/5996/stat : 5996 (java) S 5993 5996 4259 0 -1 1077944320 18408 0 0 0 194 6 0 0 20 0 15 0 414890037 10919915520 18779 33554432000 4194304 4196468 140722637348944 140722637331488 140354118479607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
/proc/5996/statm: 2665995 18779 3098 1 0 2628492 0
[pid=5996/tid=5998] ppid=5993 vsize=10663980 memory=165672592190930 CPUtime=1.48 cores=0,2,4,6
/proc/5996/task/5998/stat : 5998 (java) R 5993 5996 4259 0 -1 4202560 13130 0 0 0 143 5 0 0 20 0 15 0 414890037 10919915520 18779 33554432000 4194304 4196468 140722637348944 140354122711632 140354118501533 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=5999] ppid=5993 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5996/task/5999/stat : 5999 (java) S 5993 5996 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890038 10919915520 18779 33554432000 4194304 4196468 140722637348944 140354044553872 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6000] ppid=5993 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6000/stat : 6000 (java) S 5993 5996 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890038 10919915520 18779 33554432000 4194304 4196468 140722637348944 140354043501072 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6001] ppid=5993 vsize=10663980 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6001/stat : 6001 (java) S 5993 5996 4259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414890038 10919915520 18779 33554432000 4194304 4196468 140722637348944 140354042448272 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6002] ppid=5993 vsize=10663980 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6002/stat : 6002 (java) S 5993 5996 4259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414890038 10919915520 18779 33554432000 4194304 4196468 140722637348944 140354041395472 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6003] ppid=5993 vsize=10663980 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6003/stat : 6003 (java) S 5993 5996 4259 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 15 0 414890039 10919915520 18779 33554432000 4194304 4196468 140722637348944 140353609857904 140354118490754 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0

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

/proc/5996/task/6002/stat : 6002 (java) S 5993 5996 4259 0 -1 1077944384 3990 0 0 0 76 41 0 0 20 0 16 0 414890038 11006283776 486413 33554432000 4194304 4196468 140722637348944 140354041395472 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6003] ppid=5993 vsize=10748324 memory=1945652 CPUtime=0.08 cores=0,2,4,6
/proc/5996/task/6003/stat : 6003 (java) S 5993 5996 4259 0 -1 1077944384 9737 0 0 0 7 1 0 0 20 0 16 0 414890039 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353609857904 140354118490754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6004] ppid=5993 vsize=10748324 memory=1945652 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6004/stat : 6004 (java) S 5993 5996 4259 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414890040 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353608803936 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6005] ppid=5993 vsize=10748324 memory=1945652 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6005/stat : 6005 (java) S 5993 5996 4259 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414890040 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353607751040 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6006] ppid=5993 vsize=10748324 memory=1945652 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6006/stat : 6006 (java) S 5993 5996 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414890042 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353606699344 140354118498203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6007] ppid=5993 vsize=10748324 memory=279779808312992 CPUtime=3.86 cores=0,2,4,6
/proc/5996/task/6007/stat : 6007 (java) S 5993 5996 4259 0 -1 1077944384 17765 0 0 0 384 2 0 0 20 0 16 0 414890042 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353605646704 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6008] ppid=5993 vsize=10748324 memory=279779809219824 CPUtime=4.17 cores=0,2,4,6
/proc/5996/task/6008/stat : 6008 (java) S 5993 5996 4259 0 -1 1077944384 18685 0 0 0 415 2 0 0 20 0 16 0 414890042 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353604593904 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6009] ppid=5993 vsize=10748324 memory=1945652 CPUtime=1.18 cores=0,2,4,6
/proc/5996/task/6009/stat : 6009 (java) S 5993 5996 4259 0 -1 1077944384 18639 0 0 0 115 3 0 0 20 0 16 0 414890042 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353603541104 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6010] ppid=5993 vsize=10748324 memory=1945652 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6010/stat : 6010 (java) S 5993 5996 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414890042 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353602488544 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6011] ppid=5993 vsize=10748324 memory=1945652 CPUtime=0.56 cores=0,2,4,6
/proc/5996/task/6011/stat : 6011 (java) S 5993 5996 4259 0 -1 1077944384 2333 0 0 0 25 31 0 0 20 0 16 0 414890043 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353601436848 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6012] ppid=5993 vsize=10748324 memory=1945652 CPUtime=2438.97 cores=0,2,4,6
/proc/5996/task/6012/stat : 6012 (java) R 5993 5996 4259 0 -1 4202560 39849 0 0 0 243889 8 0 0 20 0 16 0 414890225 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353584772016 140353715652346 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
Current children cumulated CPU time: 2455.38 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1945652 KiB

[startup+2502.3 s]
/proc/loadavg: 2.04 2.00 1.90 3/228 6426
/proc/meminfo: memFree=28551160/32770624 swapFree=66997196/67108860
[pid=5996] ppid=5993 vsize=10748324 memory=1945652 CPUtime=2515.42 cores=0,2,4,6
/proc/5996/stat : 5996 (java) S 5993 5996 4259 0 -1 1077944320 135806 0 0 0 251330 212 0 0 20 0 16 0 414890037 11006283776 486413 33554432000 4194304 4196468 140722637348944 140722637331488 140354118479607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
/proc/5996/statm: 2687081 486413 3383 1 0 2647217 0
[pid=5996/tid=5998] ppid=5993 vsize=10748324 memory=1945652 CPUtime=1.86 cores=0,2,4,6
/proc/5996/task/5998/stat : 5998 (java) S 5993 5996 4259 0 -1 1077944384 15381 0 0 0 180 6 0 0 20 0 16 0 414890037 11006283776 486413 33554432000 4194304 4196468 140722637348944 140354122722480 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=5999] ppid=5993 vsize=10748324 memory=1945652 CPUtime=1.14 cores=0,2,4,6
/proc/5996/task/5999/stat : 5999 (java) S 5993 5996 4259 0 -1 1077944384 2878 0 0 0 73 41 0 0 20 0 16 0 414890038 11006283776 486413 33554432000 4194304 4196468 140722637348944 140354044553872 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6000] ppid=5993 vsize=10748324 memory=1945652 CPUtime=1.16 cores=0,2,4,6
/proc/5996/task/6000/stat : 6000 (java) S 5993 5996 4259 0 -1 1077944384 1885 0 0 0 75 41 0 0 20 0 16 0 414890038 11006283776 486413 33554432000 4194304 4196468 140722637348944 140354043501072 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6001] ppid=5993 vsize=10748324 memory=1945652 CPUtime=1.11 cores=0,2,4,6
/proc/5996/task/6001/stat : 6001 (java) S 5993 5996 4259 0 -1 1077944384 1983 0 0 0 74 37 0 0 20 0 16 0 414890038 11006283776 486413 33554432000 4194304 4196468 140722637348944 140354042448272 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6002] ppid=5993 vsize=10748324 memory=279779809014208 CPUtime=1.17 cores=0,2,4,6
/proc/5996/task/6002/stat : 6002 (java) S 5993 5996 4259 0 -1 1077944384 3990 0 0 0 76 41 0 0 20 0 16 0 414890038 11006283776 486413 33554432000 4194304 4196468 140722637348944 140354041395472 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6003] ppid=5993 vsize=10748324 memory=1945652 CPUtime=0.08 cores=0,2,4,6
/proc/5996/task/6003/stat : 6003 (java) S 5993 5996 4259 0 -1 1077944384 9743 0 0 0 7 1 0 0 20 0 16 0 414890039 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353609857904 140354118490754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6004] ppid=5993 vsize=10748324 memory=1945652 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6004/stat : 6004 (java) S 5993 5996 4259 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414890040 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353608803936 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6005] ppid=5993 vsize=10748324 memory=1945652 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6005/stat : 6005 (java) S 5993 5996 4259 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414890040 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353607751040 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6006] ppid=5993 vsize=10748324 memory=1945652 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6006/stat : 6006 (java) S 5993 5996 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414890042 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353606699344 140354118498203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6007] ppid=5993 vsize=10748324 memory=25384 CPUtime=3.86 cores=0,2,4,6
/proc/5996/task/6007/stat : 6007 (java) S 5993 5996 4259 0 -1 1077944384 17861 0 0 0 384 2 0 0 20 0 16 0 414890042 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353605646704 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6008] ppid=5993 vsize=10748324 memory=984 CPUtime=4.19 cores=0,2,4,6
/proc/5996/task/6008/stat : 6008 (java) S 5993 5996 4259 0 -1 1077944384 18882 0 0 0 417 2 0 0 20 0 16 0 414890042 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353604593904 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6009] ppid=5993 vsize=10748324 memory=628 CPUtime=1.19 cores=0,2,4,6
/proc/5996/task/6009/stat : 6009 (java) S 5993 5996 4259 0 -1 1077944384 18674 0 0 0 116 3 0 0 20 0 16 0 414890042 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353603541104 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6010] ppid=5993 vsize=10748324 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6010/stat : 6010 (java) S 5993 5996 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414890042 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353602488544 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6011] ppid=5993 vsize=10748324 memory=2832 CPUtime=0.57 cores=0,2,4,6
/proc/5996/task/6011/stat : 6011 (java) S 5993 5996 4259 0 -1 1077944384 2364 0 0 0 26 31 0 0 20 0 16 0 414890043 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353601436848 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6012] ppid=5993 vsize=10748324 memory=9404 CPUtime=2498.97 cores=0,2,4,6
/proc/5996/task/6012/stat : 6012 (java) R 5993 5996 4259 0 -1 4202560 40745 0 0 0 249889 8 0 0 20 0 16 0 414890225 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353584766848 140353714005107 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
Current children cumulated CPU time: 2515.42 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1945652 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2506.9 s]
/proc/loadavg: 2.04 2.00 1.90 3/228 6426
/proc/meminfo: memFree=28551240/32770624 swapFree=66997196/67108860
[pid=5996] ppid=5993 vsize=10748324 memory=1945652 CPUtime=2520.02 cores=0,2,4,6
/proc/5996/stat : 5996 (java) S 5993 5996 4259 0 -1 1077944320 135818 0 0 0 251790 212 0 0 20 0 16 0 414890037 11006283776 486413 33554432000 4194304 4196468 140722637348944 140722637331488 140354118479607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
/proc/5996/statm: 2687081 486413 3383 1 0 2647217 0
[pid=5996/tid=5998] ppid=5993 vsize=10748324 memory=1945652 CPUtime=1.86 cores=0,2,4,6
/proc/5996/task/5998/stat : 5998 (java) S 5993 5996 4259 0 -1 1077944384 15381 0 0 0 180 6 0 0 20 0 16 0 414890037 11006283776 486413 33554432000 4194304 4196468 140722637348944 140354122722480 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=5999] ppid=5993 vsize=10748324 memory=1945652 CPUtime=1.14 cores=0,2,4,6
/proc/5996/task/5999/stat : 5999 (java) S 5993 5996 4259 0 -1 1077944384 2878 0 0 0 73 41 0 0 20 0 16 0 414890038 11006283776 486413 33554432000 4194304 4196468 140722637348944 140354044553872 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6000] ppid=5993 vsize=10748324 memory=279779809014208 CPUtime=1.16 cores=0,2,4,6
/proc/5996/task/6000/stat : 6000 (java) S 5993 5996 4259 0 -1 1077944384 1885 0 0 0 75 41 0 0 20 0 16 0 414890038 11006283776 486413 33554432000 4194304 4196468 140722637348944 140354043501072 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6001] ppid=5993 vsize=10748324 memory=1945652 CPUtime=1.11 cores=0,2,4,6
/proc/5996/task/6001/stat : 6001 (java) S 5993 5996 4259 0 -1 1077944384 1983 0 0 0 74 37 0 0 20 0 16 0 414890038 11006283776 486413 33554432000 4194304 4196468 140722637348944 140354042448272 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6002] ppid=5993 vsize=10748324 memory=1945652 CPUtime=1.17 cores=0,2,4,6
/proc/5996/task/6002/stat : 6002 (java) S 5993 5996 4259 0 -1 1077944384 3990 0 0 0 76 41 0 0 20 0 16 0 414890038 11006283776 486413 33554432000 4194304 4196468 140722637348944 140354041395472 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6003] ppid=5993 vsize=10748324 memory=1945652 CPUtime=0.08 cores=0,2,4,6
/proc/5996/task/6003/stat : 6003 (java) S 5993 5996 4259 0 -1 1077944384 9743 0 0 0 7 1 0 0 20 0 16 0 414890039 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353609857904 140354118490754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6004] ppid=5993 vsize=10748324 memory=1945652 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6004/stat : 6004 (java) S 5993 5996 4259 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414890040 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353608803936 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6005] ppid=5993 vsize=10748324 memory=1945652 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6005/stat : 6005 (java) S 5993 5996 4259 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414890040 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353607751040 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6006] ppid=5993 vsize=10748324 memory=1945652 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6006/stat : 6006 (java) S 5993 5996 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414890042 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353606699344 140354118498203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6007] ppid=5993 vsize=10748324 memory=1945652 CPUtime=3.86 cores=0,2,4,6
/proc/5996/task/6007/stat : 6007 (java) S 5993 5996 4259 0 -1 1077944384 17861 0 0 0 384 2 0 0 20 0 16 0 414890042 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353605646704 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6008] ppid=5993 vsize=10748324 memory=1945652 CPUtime=4.19 cores=0,2,4,6
/proc/5996/task/6008/stat : 6008 (java) S 5993 5996 4259 0 -1 1077944384 18882 0 0 0 417 2 0 0 20 0 16 0 414890042 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353604593904 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6009] ppid=5993 vsize=10748324 memory=1945652 CPUtime=1.19 cores=0,2,4,6
/proc/5996/task/6009/stat : 6009 (java) S 5993 5996 4259 0 -1 1077944384 18674 0 0 0 116 3 0 0 20 0 16 0 414890042 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353603541104 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6010] ppid=5993 vsize=10748324 memory=1945652 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6010/stat : 6010 (java) S 5993 5996 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414890042 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353602488544 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6011] ppid=5993 vsize=10748324 memory=1945652 CPUtime=0.58 cores=0,2,4,6
/proc/5996/task/6011/stat : 6011 (java) S 5993 5996 4259 0 -1 1077944384 2366 0 0 0 26 32 0 0 20 0 16 0 414890043 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353601436848 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6012] ppid=5993 vsize=10748324 memory=1056 CPUtime=2503.57 cores=0,2,4,6
/proc/5996/task/6012/stat : 6012 (java) R 5993 5996 4259 0 -1 4202560 40755 0 0 0 250349 8 0 0 20 0 16 0 414890225 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353584766848 140353714005110 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1945652 KiB

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

[startup+2506.92 s]
# the end of solver process 5996 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2517.91 s, system=2.13407 s

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

[startup+2506.9 s]
/proc/loadavg: 2.04 2.00 1.90 3/228 6426
/proc/meminfo: memFree=28551240/32770624 swapFree=66997196/67108860
[pid=5996] ppid=5993 vsize=10748324 memory=1945652 CPUtime=2520.02 cores=0,2,4,6
/proc/5996/stat : 5996 (java) S 5993 5996 4259 0 -1 1077944320 135818 0 0 0 251790 212 0 0 20 0 16 0 414890037 11006283776 486413 33554432000 4194304 4196468 140722637348944 140722637331488 140354118479607 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
/proc/5996/statm: 2687081 486413 3383 1 0 2647217 0
[pid=5996/tid=5998] ppid=5993 vsize=10748324 memory=1945652 CPUtime=1.86 cores=0,2,4,6
/proc/5996/task/5998/stat : 5998 (java) S 5993 5996 4259 0 -1 1077944384 15381 0 0 0 180 6 0 0 20 0 16 0 414890037 11006283776 486413 33554432000 4194304 4196468 140722637348944 140354122722480 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=5999] ppid=5993 vsize=10748324 memory=1945652 CPUtime=1.14 cores=0,2,4,6
/proc/5996/task/5999/stat : 5999 (java) S 5993 5996 4259 0 -1 1077944384 2878 0 0 0 73 41 0 0 20 0 16 0 414890038 11006283776 486413 33554432000 4194304 4196468 140722637348944 140354044553872 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6000] ppid=5993 vsize=10748324 memory=279779809014208 CPUtime=1.16 cores=0,2,4,6
/proc/5996/task/6000/stat : 6000 (java) S 5993 5996 4259 0 -1 1077944384 1885 0 0 0 75 41 0 0 20 0 16 0 414890038 11006283776 486413 33554432000 4194304 4196468 140722637348944 140354043501072 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6001] ppid=5993 vsize=10748324 memory=1945652 CPUtime=1.11 cores=0,2,4,6
/proc/5996/task/6001/stat : 6001 (java) S 5993 5996 4259 0 -1 1077944384 1983 0 0 0 74 37 0 0 20 0 16 0 414890038 11006283776 486413 33554432000 4194304 4196468 140722637348944 140354042448272 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6002] ppid=5993 vsize=10748324 memory=1945652 CPUtime=1.17 cores=0,2,4,6
/proc/5996/task/6002/stat : 6002 (java) S 5993 5996 4259 0 -1 1077944384 3990 0 0 0 76 41 0 0 20 0 16 0 414890038 11006283776 486413 33554432000 4194304 4196468 140722637348944 140354041395472 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6003] ppid=5993 vsize=10748324 memory=1945652 CPUtime=0.08 cores=0,2,4,6
/proc/5996/task/6003/stat : 6003 (java) S 5993 5996 4259 0 -1 1077944384 9743 0 0 0 7 1 0 0 20 0 16 0 414890039 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353609857904 140354118490754 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6004] ppid=5993 vsize=10748324 memory=1945652 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6004/stat : 6004 (java) S 5993 5996 4259 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 16 0 414890040 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353608803936 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6005] ppid=5993 vsize=10748324 memory=1945652 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6005/stat : 6005 (java) S 5993 5996 4259 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 16 0 414890040 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353607751040 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6006] ppid=5993 vsize=10748324 memory=1945652 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6006/stat : 6006 (java) S 5993 5996 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414890042 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353606699344 140354118498203 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6007] ppid=5993 vsize=10748324 memory=1945652 CPUtime=3.86 cores=0,2,4,6
/proc/5996/task/6007/stat : 6007 (java) S 5993 5996 4259 0 -1 1077944384 17861 0 0 0 384 2 0 0 20 0 16 0 414890042 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353605646704 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6008] ppid=5993 vsize=10748324 memory=1945652 CPUtime=4.19 cores=0,2,4,6
/proc/5996/task/6008/stat : 6008 (java) S 5993 5996 4259 0 -1 1077944384 18882 0 0 0 417 2 0 0 20 0 16 0 414890042 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353604593904 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6009] ppid=5993 vsize=10748324 memory=1945652 CPUtime=1.19 cores=0,2,4,6
/proc/5996/task/6009/stat : 6009 (java) S 5993 5996 4259 0 -1 1077944384 18674 0 0 0 116 3 0 0 20 0 16 0 414890042 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353603541104 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6010] ppid=5993 vsize=10748324 memory=1945652 CPUtime=0 cores=0,2,4,6
/proc/5996/task/6010/stat : 6010 (java) S 5993 5996 4259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414890042 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353602488544 140354118489813 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6011] ppid=5993 vsize=10748324 memory=1945652 CPUtime=0.58 cores=0,2,4,6
/proc/5996/task/6011/stat : 6011 (java) S 5993 5996 4259 0 -1 1077944384 2366 0 0 0 26 32 0 0 20 0 16 0 414890043 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353601436848 140354118490754 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
[pid=5996/tid=6012] ppid=5993 vsize=10748324 memory=1056 CPUtime=2503.57 cores=0,2,4,6
/proc/5996/task/6012/stat : 6012 (java) R 5993 5996 4259 0 -1 4202560 40755 0 0 0 250349 8 0 0 20 0 16 0 414890225 11006283776 486413 33554432000 4194304 4196468 140722637348944 140353584766848 140353714005110 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14278656 140722637358091 140722637358194 140722637358194 140722637361103 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1945652 KiB

Child status: 143
Real time (s): 2506.92
CPU time (s): 2520.05
CPU user time (s): 2517.91
CPU system time (s): 2.13407
CPU usage (%): 100.524
Max. virtual memory (cumulated for all children) (KiB): 10748396
Max. memory (cumulated for all children) (KiB): 1945652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.91
system time used= 2.13407
maximum resident set size= 1946212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136219
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58227
involuntary context switches= 3268


# summary of solver processes directly reported to runsolver:
#   pid: 5996
#   total CPU time (s): 2520.05
#   total CPU user time (s): 2517.91
#   total CPU system time (s): 2.13407

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0288 second user time and 22.1492 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-13 15:51:17
IDJOB=4391028
IDBENCH=139614
IDSOLVER=2832
FILE ID=node106/4391028-1568386354
RUNJOBID= node106-1568376840-4290
PBS_JOBID= 21701848
Free space on /tmp= 56724 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/SteelMillSlab/SteelMillSlab-bench_19_19.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391028-1568386354/watcher-4391028-1568386354 -o /tmp/evaluation-result-4391028-1568386354/solver-4391028-1568386354 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568376840-4290 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391028-1568386354.xml -cm

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

MD5SUM BENCH= 96fe93baa9d8ae993bfc516e2d84a024
RANDOM SEED=1411908630

node106.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.79
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.79
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.79
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.79
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:        30430108 kB
MemAvailable:   31587864 kB
Buffers:          155060 kB
Cached:          1282120 kB
SwapCached:         9668 kB
Active:           705200 kB
Inactive:        1059636 kB
Active(anon):     327444 kB
Inactive(anon):    33960 kB
Active(file):     377756 kB
Inactive(file):  1025676 kB
Unevictable:      107768 kB
Mlocked:          107768 kB
SwapTotal:      67108860 kB
SwapFree:       66997152 kB
Dirty:              8800 kB
Writeback:             0 kB
AnonPages:        385840 kB
Mapped:            49824 kB
Shmem:             24772 kB
Slab:             169696 kB
SReclaimable:     140316 kB
SUnreclaim:        29380 kB
KernelStack:        4048 kB
PageTables:         6348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1279912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    317440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 59096 MiB
End job on node106 at 2019-09-13 16:33:04