Trace number 4391005

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.08 2505.32

General information on the benchmark

NameSteelMillSlab/
SteelMillSlab-bench_15_2.xml
MD5SUM5f96bf565600cbf50f8c2cf3fe757a5f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark105
Best CPU time to get the best result obtained on this benchmark2520.58
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":11,"count":111},{"size":51,"count":111},{"size":111,"count":111}]
Minimum variable degree2
Maximum variable degree114
Distribution of variable degrees[{"degree":2,"count":12432},{"degree":3,"count":111},{"degree":112,"count":78},{"degree":113,"count":24},{"degree":114,"count":9}]
Minimum constraint arity2
Maximum constraint arity112
Distribution of constraint arities[{"arity":2,"count":132},{"arity":111,"count":112},{"arity":112,"count":222}]
Number of extensional constraints0
Number of intensional constraints132
Distribution of constraint types[{"type":"intension","count":132},{"type":"sum","count":112},{"type":"element","count":111},{"type":"channel","count":111}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

2.61/1.91	
2.61/1.91	AbsCon 2 
2.61/1.92	
3.94/2.35	  Instance
3.94/2.35	    name=instance-4391005-1568386116, framework=COP, bounds=-infty..+infty
3.94/2.36	
3.94/2.36	  Loading variables...
4.61/2.59	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e7a3ff
11.15/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@479900fd
11.15/4.55	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d82dee4
11.15/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fbd2290
11.15/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e66037a
11.15/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f4126fd
11.15/4.56	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30fdaec8
11.15/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5edc1caf
11.15/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dd7e455
11.15/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e0da96b
11.15/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30acb28e
11.15/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34213c3a
11.15/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b434356
11.15/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4513aee4
11.15/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f1823bc
11.15/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b2fba1d
11.15/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd84b34
11.15/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10fb6ea9
11.15/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70822a94
11.15/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9cb817
11.15/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b56b6f
11.15/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f2dbf5
11.15/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58faa6e2
11.15/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d95db7
11.15/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcd5f4d
11.15/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a07cd5d
11.15/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@541309f3
11.15/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@caf09c3
11.15/4.57	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ba87a35
11.15/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4524f6bf
11.15/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f325703
11.15/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54cbb410
11.15/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71476d7f
11.15/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f8162d4
11.15/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cf3d658
11.15/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37f557cd
11.15/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4845f428
11.15/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5653ff29
11.15/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ec8cd5a
11.15/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@505c165b
11.15/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d3ffbaa
11.15/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cf827e6
11.15/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@116070c5
11.15/4.58	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50374870
11.15/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcf251
11.15/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b277fa8
11.15/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c821b0d
11.15/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43e7bcab
11.15/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dfa40f7
11.15/4.59	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ac84d93
11.48/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17c98cad
11.48/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0aec71
11.48/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2167d09c
11.48/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a0c3784
11.48/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ba2f84a
11.48/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@521012e2
11.48/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b9c9292
11.48/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d145033
11.48/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e264b5
11.48/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794975d1
11.48/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ee58199
11.48/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36b0458
11.48/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f75734d
11.48/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@155a1a35
11.48/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a45fca5
11.48/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253a619a
11.48/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ee6041f
11.48/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ab08329
11.48/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@403a144
11.48/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76947bc7
11.48/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@592e6f23
11.48/4.60	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c33167a
11.48/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11380646
11.48/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9f015b
11.48/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f9800fb
11.48/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4927acb0
11.48/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41394586
11.48/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fcfc74f
11.48/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32957e2f
11.48/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@756b28fa
11.48/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d33f3fb
11.48/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3789d4
11.48/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c3d1d92
11.48/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645ac30
11.48/4.61	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601d9679
11.48/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58dd109a
11.48/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e2e57f
11.48/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@650d73cf
11.48/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e8f6262
11.48/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2853965
11.48/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65760e89
11.48/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7436145
11.48/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d006130
11.48/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cb30a26
11.48/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b59824
11.48/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17041b2e
11.48/4.62	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66997510
11.48/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce5a4d
11.48/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e962bb
11.48/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3760333e
11.48/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c68f96b
11.48/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b1775d5
11.48/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57ab092b
11.48/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1811ee96
11.48/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6388fdbb
11.48/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48a298d2
11.48/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ada84ed
11.48/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cafccb6
11.48/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a34ce
11.48/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dfb2101
11.48/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b6a0ee2
11.48/4.63	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c9ceab3
11.82/4.73	
11.82/4.73	
11.82/4.73	  Domains
11.82/4.73	    nTypes=4, nValues=43845, sizes=[2#12321,11#111,51#111,111#111]
11.82/4.73	  Variables
11.82/4.73	    count=12654, degrees=[2#12432,3#111,222#78,223#24,224#9]
11.82/4.73	  Objectives
11.82/4.73	    way=min, type=SumSimpleLE
11.82/4.73	  Constraints
11.82/4.73	    count=12677, nSpecific=134, arities=[2#12453,111#113,112#111]
11.82/4.73	    distribution=[CtrExtensionV-Bits#111,CtrIntension#12432,LE#21,SumSimpleEQ#1,SumSimpleLE#1,SumWeightedEQ#111]
11.82/4.73	    nExtStructures=(111,shared:0), nIntStructures=(222,shared:12210)
11.82/4.73	    wck=2.856, cpu=4.256, mem=936M465
11.82/4.76	  Solver SolverBacktrack being built...
11.82/4.76	
12.15/4.87	
12.15/4.87	  Solver
12.15/4.87	    guaranteedGAC=false
12.15/4.87	    wck=2.993, cpu=4.392, mem=968M319
13.39/5.61	
13.39/5.61	  Preprocessing
13.39/5.61	    filters=0, revisions=(24864,useless=24864), ccks=1379952, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
13.39/5.61	    wck=0.739, cpu=5.137, mem=968M319
13.39/5.61	
13.39/5.68	    num=0, depth=111..120, filters=2246, revisions=(28527,useless=26303), ccks=1385701, wck=0.81, mem=968M319
13.39/5.68	    decisions=140, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
13.39/5.68	    
14.32/5.95	    num=1, depth=1089..1104, filters=7094, revisions=(126000,useless=119335), ccks=1467779, wck=1.075, mem=968M319
14.32/5.95	    decisions=1266, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
14.32/5.95	    
15.25/6.37	    num=2, depth=2283..2294, filters=13994, revisions=(352587,useless=340034), ccks=1653211, wck=1.497, mem=968M319
15.25/6.37	    decisions=3584, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
15.25/6.37	    
16.58/6.95	    num=3, depth=3588..3600, filters=23168, revisions=(690636,useless=670309), ccks=1804893, wck=2.076, mem=968M319
16.58/6.95	    decisions=7210, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
16.58/6.95	    
18.02/7.68	    num=4, depth=5001..5014, filters=34951, revisions=(1158354,useless=1128147), ccks=1988767, wck=2.809, mem=968M319
18.02/7.68	    decisions=12252, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
18.02/7.68	    
19.01/8.53	    num=5, depth=6527..6536, filters=48107, revisions=(1713110,useless=1671706), ccks=2180036, wck=3.658, mem=970M909
19.01/8.53	    decisions=18820, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
19.01/8.53	    
20.37/9.66	    num=6, depth=7040..7238, filters=162930, revisions=(2510016,useless=2358115), ccks=2631223, wck=4.785, mem=970M909
20.37/9.66	    decisions=29484, wrong=1883, backtracks=1806, failedAssignments=93, nogoods=78
20.37/9.66	    
21.60/10.78	    num=7, depth=7258..7475, filters=285491, revisions=(3339658,useless=3069731), ccks=3078870, wck=5.911, mem=970M909
21.60/10.78	    decisions=40720, wrong=3828, backtracks=3748, failedAssignments=112, nogoods=80
21.60/10.78	    
22.87/11.91	    num=8, depth=7316..7474, filters=404240, revisions=(4160047,useless=3775874), ccks=3497001, wck=7.036, mem=970M909
22.87/11.91	    decisions=51912, wrong=5766, backtracks=5682, failedAssignments=133, nogoods=81
22.87/11.91	    
24.02/13.03	    num=9, depth=7421..7586, filters=513599, revisions=(4966335,useless=4477343), ccks=3890879, wck=8.159, mem=970M909
24.02/13.03	    decisions=63311, wrong=7746, backtracks=7652, failedAssignments=156, nogoods=84
24.02/13.03	    
25.24/14.25	    num=10, depth=7392..7586, filters=670652, revisions=(5869524,useless=5228911), ccks=4421828, wck=9.382, mem=970M909
25.24/14.25	    decisions=75925, wrong=10357, backtracks=10261, failedAssignments=181, nogoods=85
25.24/14.25	    
26.25/15.29	    num=11, depth=7541..7582, filters=689634, revisions=(6494012,useless=5836865), ccks=4538554, wck=10.417, mem=970M909
26.25/15.29	    decisions=84248, wrong=10748, backtracks=10641, failedAssignments=209, nogoods=86
26.25/15.29	    
27.58/16.53	    num=12, depth=1003..7580, filters=811093, revisions=(7314956,useless=6540989), ccks=4954605, wck=11.657, mem=970M909
27.58/16.53	    decisions=96367, wrong=13083, backtracks=12972, failedAssignments=240, nogoods=90
27.58/16.53	    
28.69/17.61	    num=13, depth=1017..7672, filters=858576, revisions=(8000469,useless=7181974), ccks=5168706, wck=12.736, mem=970M909
28.69/17.61	    decisions=105505, wrong=13876, backtracks=13737, failedAssignments=274, nogoods=115
28.69/17.61	    
30.01/18.98	    num=14, depth=1277..7672, filters=1057953, revisions=(9001000,useless=7989514), ccks=5827762, wck=14.11, mem=970M909
30.01/18.98	    decisions=119721, wrong=17205, backtracks=17060, failedAssignments=311, nogoods=121
30.01/18.98	    
31.01/19.99	    num=15, depth=7702..7702, filters=1073308, revisions=(9628396,useless=8603561), ccks=5939376, wck=15.122, mem=970M909
31.01/19.99	    decisions=127505, wrong=17246, backtracks=17060, failedAssignments=352, nogoods=162
31.01/19.99	    
32.52/21.43	    num=16, depth=7458..7674, filters=1352955, revisions=(10793419,useless=9497157), ccks=6834653, wck=16.555, mem=970M909
32.52/21.43	    decisions=144467, wrong=21964, backtracks=21774, failedAssignments=397, nogoods=164
32.52/21.43	    
33.42/22.39	    num=17, depth=7677..7785, filters=1375749, revisions=(11442030,useless=10125165), ccks=6974416, wck=17.518, mem=978M843
33.42/22.39	    decisions=152598, wrong=22154, backtracks=21914, failedAssignments=447, nogoods=214
33.42/22.39	    
34.63/23.51	    num=18, depth=7665..7786, filters=1477695, revisions=(12258853,useless=10844116), ccks=7349693, wck=18.636, mem=978M843
34.63/23.51	    decisions=163525, wrong=23727, backtracks=23445, failedAssignments=502, nogoods=256
34.63/23.51	    
36.15/25.06	    num=19, depth=7677..7896, filters=1811465, revisions=(13554769,useless=11815669), ccks=8416164, wck=20.19, mem=978M843
36.15/25.06	    decisions=182619, wrong=29334, backtracks=29042, failedAssignments=563, nogoods=267
36.15/25.06	    
37.90/26.76	    num=20, depth=7678..7894, filters=2229906, revisions=(15015804,useless=12869690), ccks=9722497, wck=21.887, mem=978M843
37.90/26.76	    decisions=204560, wrong=36454, backtracks=36158, failedAssignments=630, nogoods=269
37.90/26.76	    
38.90/27.77	    num=21, depth=7896..8029, filters=2260753, revisions=(15706399,useless=13531936), ccks=9904634, wck=22.895, mem=978M843
38.90/27.77	    decisions=213284, wrong=36802, backtracks=36434, failedAssignments=704, nogoods=333
38.90/27.77	    
40.82/29.64	    num=22, depth=7787..8006, filters=2763037, revisions=(17367383,useless=14704126), ccks=11464891, wck=24.77, mem=978M843
40.82/29.64	    decisions=238409, wrong=45383, backtracks=45010, failedAssignments=785, nogoods=336
40.82/29.64	    
41.82/30.65	    num=23, depth=8007..8115, filters=2787915, revisions=(18064720,useless=15379004), ccks=11623273, wck=25.779, mem=984M133
41.82/30.65	    decisions=246934, wrong=45598, backtracks=45136, failedAssignments=874, nogoods=425
41.82/30.65	    
44.95/32.32	    num=24, depth=7995..8116, filters=2892556, revisions=(18917434,useless=16131273), ccks=12010127, wck=27.451, mem=725M120
44.95/32.32	    decisions=258273, wrong=47214, backtracks=46667, failedAssignments=972, nogoods=510
44.95/32.32	    
45.89/33.28	    num=25, depth=8007..8116, filters=2911425, revisions=(19596875,useless=16794048), ccks=12140948, wck=28.414, mem=725M120
45.89/33.28	    decisions=266605, wrong=47323, backtracks=46668, failedAssignments=1080, nogoods=512
45.89/33.28	    
47.70/35.05	    num=26, depth=8007..8230, filters=3371724, revisions=(21218302,useless=17974516), ccks=13689188, wck=30.177, mem=725M120
47.70/35.05	    decisions=290147, wrong=54980, backtracks=54277, failedAssignments=1199, nogoods=518
47.70/35.05	    
48.78/36.03	    num=27, depth=8119..8229, filters=3398525, revisions=(21920727,useless=18652511), ccks=13850023, wck=31.162, mem=725M120
48.78/36.03	    decisions=298851, wrong=55219, backtracks=54386, failedAssignments=1330, nogoods=543
48.78/36.03	    
49.88/37.19	    num=28, depth=8164..8376, filters=3502074, revisions=(22862466,useless=19495411), ccks=14316437, wck=32.32, mem=725M120
49.88/37.19	    decisions=311170, wrong=57210, backtracks=56269, failedAssignments=1474, nogoods=549
49.88/37.19	    
51.97/39.28	    num=29, depth=8324..8543, filters=4178476, revisions=(24896385,useless=20870220), ccks=16394945, wck=34.413, mem=725M120
51.97/39.28	    decisions=342816, wrong=68765, backtracks=67770, failedAssignments=1632, nogoods=599
51.97/39.28	    
53.37/40.64	    num=30, depth=8434..8653, filters=4409460, revisions=(26025053,useless=21774984), ccks=17158073, wck=35.771, mem=725M120
53.37/40.64	    decisions=359352, wrong=72721, backtracks=71587, failedAssignments=1806, nogoods=628
53.37/40.64	    
55.17/42.41	    num=31, depth=8595..8763, filters=4817096, revisions=(27761094,useless=23116560), ccks=18524268, wck=37.539, mem=725M120
55.17/42.41	    decisions=384922, wrong=81162, backtracks=80031, failedAssignments=1997, nogoods=630
55.17/42.41	    
56.17/43.46	    num=32, depth=8905..8977, filters=4847946, revisions=(28491558,useless=23818375), ccks=18689692, wck=38.593, mem=733M72
56.17/43.46	    decisions=394611, wrong=81519, backtracks=80178, failedAssignments=2208, nogoods=726
56.17/43.46	    
57.27/44.54	    num=33, depth=5302..8946, filters=4898015, revisions=(29284829,useless=24564764), ccks=18935215, wck=39.671, mem=733M72
57.27/44.54	    decisions=405079, wrong=82291, backtracks=80720, failedAssignments=2440, nogoods=740
57.27/44.54	    
58.67/45.93	    num=34, depth=8756..8977, filters=5149461, revisions=(30464004,useless=25499771), ccks=19757047, wck=41.058, mem=733M72
58.67/45.93	    decisions=422410, wrong=86478, backtracks=84684, failedAssignments=2695, nogoods=748
58.67/45.93	    
59.67/46.98	    num=35, depth=9246..9248, filters=5180288, revisions=(31192296,useless=26199164), ccks=19928698, wck=42.112, mem=733M72
59.67/46.98	    decisions=432222, wrong=86761, backtracks=84686, failedAssignments=2976, nogoods=814
59.67/46.98	    
61.48/48.77	    num=36, depth=9138..9353, filters=5682060, revisions=(32923465,useless=27441681), ccks=21502500, wck=43.902, mem=733M72
61.48/48.77	    decisions=458818, wrong=95426, backtracks=93120, failedAssignments=3285, nogoods=833
61.48/48.77	    
62.89/50.18	    num=37, depth=9165..9384, filters=5937396, revisions=(34150939,useless=28421118), ccks=22354260, wck=45.312, mem=741M25
62.89/50.18	    decisions=476568, wrong=99641, backtracks=97032, failedAssignments=3625, nogoods=925
62.89/50.18	    
67.48/54.70	    num=38, depth=9267..9492, filters=8258483, revisions=(39593224,useless=31597628), ccks=29307509, wck=49.832, mem=741M25
67.48/54.70	    decisions=566506, wrong=139931, backtracks=137322, failedAssignments=3999, nogoods=927
67.48/54.70	    
71.08/58.38	    num=39, depth=9274..9604, filters=9998906, revisions=(43900923,useless=34208150), ccks=34553534, wck=53.504, mem=741M25
71.08/58.38	    decisions=636825, wrong=170291, backtracks=167545, failedAssignments=4410, nogoods=951
71.08/58.38	    
76.28/63.59	    num=40, depth=9385..9710, filters=12801471, revisions=(50404443,useless=37975956), ccks=42968638, wck=58.716, mem=748M941
76.28/63.59	    decisions=744057, wrong=219149, backtracks=216404, failedAssignments=4862, nogoods=954
76.28/63.59	    
77.58/64.83	    num=41, depth=9508..9727, filters=12938340, revisions=(51393040,useless=38831986), ccks=43466765, wck=59.96, mem=748M941
77.58/64.83	    decisions=758024, wrong=221297, backtracks=218072, failedAssignments=5359, nogoods=1009
77.58/64.83	    
78.68/65.96	    num=42, depth=9719..9742, filters=12984173, revisions=(52232654,useless=39628352), ccks=43722832, wck=61.086, mem=748M941
78.68/65.96	    decisions=769298, wrong=222067, backtracks=218359, failedAssignments=5906, nogoods=1073
78.68/65.96	    
80.90/68.15	    num=43, depth=9897..10048, filters=13514584, revisions=(54931259,useless=41817419), ccks=45730822, wck=63.276, mem=748M941
80.90/68.15	    decisions=808899, wrong=236898, backtracks=233150, failedAssignments=6508, nogoods=1075
80.90/68.15	    
81.99/69.27	    num=44, depth=10008..10105, filters=13573177, revisions=(55769360,useless=42599138), ccks=45994579, wck=64.398, mem=748M941
81.99/69.27	    decisions=820540, wrong=237680, backtracks=233272, failedAssignments=7170, nogoods=1090
81.99/69.27	    
83.39/70.61	    num=45, depth=9994..10210, filters=13785612, revisions=(56929339,useless=43552178), ccks=46719745, wck=65.74, mem=756M898
83.39/70.61	    decisions=837655, wrong=241175, backtracks=236067, failedAssignments=7898, nogoods=1151
83.39/70.61	    
86.00/73.26	    num=46, depth=9906..10235, filters=14923331, revisions=(59998031,useless=45511001), ccks=50194390, wck=68.386, mem=756M898
86.00/73.26	    decisions=887652, wrong=261104, backtracks=255355, failedAssignments=8699, nogoods=1260
86.00/73.26	    
87.92/75.18	    num=47, depth=10237..10475, filters=15526368, revisions=(62040999,useless=46974884), ccks=52194916, wck=70.308, mem=764M856
87.92/75.18	    decisions=918321, wrong=271205, backtracks=264662, failedAssignments=9580, nogoods=1306
87.92/75.18	    
89.71/76.93	    num=48, depth=10366..10582, filters=16032644, revisions=(63841873,useless=48282005), ccks=53796127, wck=72.058, mem=764M856
89.71/76.93	    decisions=946051, wrong=279844, backtracks=272404, failedAssignments=10550, nogoods=1348
89.71/76.93	    
99.42/86.62	    num=49, depth=10375..10630, filters=22643864, revisions=(78159249,useless=56143406), ccks=73510240, wck=81.744, mem=764M856
99.42/86.62	    decisions=1187133, wrong=395156, backtracks=387735, failedAssignments=11617, nogoods=1350
99.42/86.62	    
100.93/88.13	    num=50, depth=10522..10739, filters=22999548, revisions=(79646529,useless=57283381), ccks=74678348, wck=83.263, mem=772M815
100.93/88.13	    decisions=1209616, wrong=401091, backtracks=392533, failedAssignments=12790, nogoods=1415
100.93/88.13	    
102.22/89.49	    num=51, depth=10794..10842, filters=23061227, revisions=(80584245,useless=58174884), ccks=74907289, wck=84.623, mem=772M815
102.22/89.49	    decisions=1227553, wrong=404660, backtracks=395279, failedAssignments=14081, nogoods=1418
102.22/89.49	    
104.52/91.72	    num=52, depth=9668..10587, filters=23336610, revisions=(84065895,useless=61413694), ccks=76775415, wck=86.853, mem=772M815
104.52/91.72	    decisions=1274332, wrong=422790, backtracks=413533, failedAssignments=15501, nogoods=1432
104.52/91.72	    
106.42/93.65	    num=53, depth=9948..10855, filters=23607266, revisions=(85409055,useless=62512026), ccks=77571220, wck=88.783, mem=772M815
106.42/93.65	    decisions=1317137, wrong=438788, backtracks=429442, failedAssignments=17063, nogoods=1450
106.42/93.65	    
107.93/95.12	    num=54, depth=7831..10631, filters=23832088, revisions=(86826130,useless=63714836), ccks=78620311, wck=90.244, mem=780M773
107.93/95.12	    decisions=1337304, wrong=443616, backtracks=432568, failedAssignments=18781, nogoods=1499
107.93/95.12	    
112.83/100.02	    num=55, depth=7945..10622, filters=25852726, revisions=(91886369,useless=66846650), ccks=84571552, wck=95.15, mem=780M773
112.83/100.02	    decisions=1472351, wrong=505901, backtracks=494957, failedAssignments=20671, nogoods=1544
112.83/100.02	    
118.13/105.31	    num=56, depth=6076..10467, filters=27755288, revisions=(101172522,useless=74314095), ccks=92247928, wck=100.438, mem=780M773
118.13/105.31	    decisions=1605164, wrong=567104, backtracks=556282, failedAssignments=22750, nogoods=1571
118.13/105.31	    
125.95/113.11	    num=57, depth=8549..10645, filters=32077977, revisions=(110687707,useless=79645948), ccks=104916096, wck=108.236, mem=788M689
125.95/113.11	    decisions=1819839, wrong=669158, backtracks=658265, failedAssignments=25037, nogoods=1590
125.95/113.11	    
130.04/117.25	    num=58, depth=4077..10513, filters=33533992, revisions=(116325574,useless=83898046), ccks=113481465, wck=112.374, mem=788M689
130.04/117.25	    decisions=1908766, wrong=708437, backtracks=697126, failedAssignments=27553, nogoods=1638
130.04/117.25	    
139.38/126.57	    num=59, depth=4278..10570, filters=39369082, revisions=(129799203,useless=91691605), ccks=131065791, wck=121.701, mem=796M606
139.38/126.57	    decisions=2141508, wrong=819615, backtracks=808137, failedAssignments=30321, nogoods=1666
139.38/126.57	    
160.69/147.89	    num=60, depth=4517..10474, filters=53063348, revisions=(160855388,useless=109424874), ccks=172700441, wck=143.023, mem=804M522
160.69/147.89	    decisions=2700171, wrong=1093844, backtracks=1082413, failedAssignments=33365, nogoods=1740
160.69/147.89	    
172.10/159.27	    num=61, depth=4493..10532, filters=58492124, revisions=(171769417,useless=115110390), ccks=187870812, wck=154.401, mem=812M476
172.10/159.27	    decisions=3053633, wrong=1265384, backtracks=1253977, failedAssignments=36714, nogoods=1812
172.10/159.27	    
184.01/171.16	    num=62, depth=4709..10499, filters=64854889, revisions=(184900966,useless=122093663), ccks=206041666, wck=166.288, mem=820M434
184.01/171.16	    decisions=3399854, wrong=1433303, backtracks=1421958, failedAssignments=40398, nogoods=1902
184.01/171.16	    
190.60/177.74	    num=63, depth=4892..10455, filters=68065065, revisions=(192937578,useless=127035859), ccks=215809136, wck=172.873, mem=820M434
190.60/177.74	    decisions=3573912, wrong=1515167, backtracks=1503134, failedAssignments=44450, nogoods=1970
190.60/177.74	    
204.72/191.84	    num=64, depth=5214..10316, filters=74349083, revisions=(218810192,useless=146866070), ccks=240280171, wck=186.965, mem=828M350
204.72/191.84	    decisions=3936856, wrong=1691548, backtracks=1679533, failedAssignments=48907, nogoods=1999
204.72/191.84	    
210.32/197.49	    num=65, depth=8161..10640, filters=76765707, revisions=(227190900,useless=152931085), ccks=248508284, wck=192.622, mem=828M350
210.32/197.49	    decisions=4085076, wrong=1760441, backtracks=1748376, failedAssignments=53810, nogoods=2019
210.32/197.49	    
228.12/214.85	    num=66, depth=10561..11172, filters=83482380, revisions=(252349175,useless=171648846), ccks=273761896, wck=209.983, mem=844M182
228.12/214.85	    decisions=4461819, wrong=1943418, backtracks=2278852, failedAssignments=59204, nogoods=2033
228.12/214.85	    
241.52/228.28	    num=67, depth=4188..10721, filters=90256379, revisions=(266894164,useless=179701369), ccks=293388969, wck=223.409, mem=852M99
241.52/228.28	    decisions=4880734, wrong=2147585, backtracks=2481780, failedAssignments=65137, nogoods=2043
241.52/228.28	    
270.44/257.18	    num=68, depth=3884..10702, filters=108019239, revisions=(304958946,useless=200559757), ccks=345879197, wck=252.304, mem=860M15
270.44/257.18	    decisions=5681762, wrong=2542825, backtracks=2876852, failedAssignments=71663, nogoods=2087
270.44/257.18	    
284.84/271.51	    num=69, depth=5980..10597, filters=115634425, revisions=(325585577,useless=213835448), ccks=369432485, wck=266.638, mem=867M931
284.84/271.51	    decisions=6095078, wrong=2744256, backtracks=3078480, failedAssignments=78842, nogoods=2095
284.84/271.51	    
294.64/281.38	    num=70, depth=8556..10402, filters=121209182, revisions=(339064461,useless=221906631), ccks=386701553, wck=276.504, mem=867M931
294.64/281.38	    decisions=6330120, wrong=2856625, backtracks=3188080, failedAssignments=86739, nogoods=2108
294.64/281.38	    
323.37/310.02	    num=71, depth=6594..10700, filters=137634033, revisions=(374118909,useless=241102838), ccks=434755108, wck=305.152, mem=883M764
323.37/310.02	    decisions=7121463, wrong=3247060, backtracks=3577233, failedAssignments=95426, nogoods=2182
323.37/310.02	    
359.78/346.48	    num=72, depth=6438..10723, filters=160129970, revisions=(420306014,useless=265441856), ccks=500331277, wck=341.608, mem=899M596
359.78/346.48	    decisions=8124563, wrong=3743349, backtracks=4073008, failedAssignments=104981, nogoods=2195
359.78/346.48	    
374.29/360.95	    num=73, depth=5290..10591, filters=165740120, revisions=(431786614,useless=271625485), ccks=515595258, wck=356.083, mem=907M544
374.29/360.95	    decisions=8579306, wrong=3965477, backtracks=4292184, failedAssignments=115492, nogoods=2275
374.29/360.95	    
410.90/397.58	    num=74, depth=7631..10521, filters=186232145, revisions=(473635451,useless=293656610), ccks=574640149, wck=392.71, mem=915M460
410.90/397.58	    decisions=9609901, wrong=4475534, backtracks=4800186, failedAssignments=127054, nogoods=2287
410.90/397.58	    
415.90/402.57	    num=75, depth=6720..10474, filters=188093724, revisions=(479389519,useless=297626878), ccks=580609552, wck=397.695, mem=923M403
415.90/402.57	    decisions=9742477, wrong=4536618, backtracks=4849480, failedAssignments=139772, nogoods=2432
415.90/402.57	    
443.01/429.65	    num=76, depth=9840..10555, filters=198887042, revisions=(502501434,useless=310532731), ccks=611374849, wck=424.782, mem=939M236
443.01/429.65	    decisions=10601107, wrong=4960715, backtracks=5272501, failedAssignments=153762, nogoods=2437
443.01/429.65	    
516.05/502.66	    num=77, depth=6238..10456, filters=246191302, revisions=(599963580,useless=362016033), ccks=749923780, wck=497.784, mem=963M13
516.05/502.66	    decisions=12415924, wrong=5862995, backtracks=6173840, failedAssignments=169151, nogoods=2549
516.05/502.66	    
561.37/547.97	    num=78, depth=5961..10442, filters=268554254, revisions=(645175015,useless=385756963), ccks=813629994, wck=543.102, mem=986M803
561.37/547.97	    decisions=13764166, wrong=6531933, backtracks=6842025, failedAssignments=186079, nogoods=2677
561.37/547.97	    
681.13/667.64	    num=79, depth=6699..10065, filters=339748249, revisions=(792174306,useless=463585684), ccks=1022950406, wck=662.766, mem=1018M468
681.13/667.64	    decisions=16727204, wrong=8008556, backtracks=8318971, failedAssignments=204700, nogoods=2726
681.13/667.64	    
776.68/763.11	    num=80, depth=6516..10057, filters=394508261, revisions=(907364364,useless=525603067), ccks=1183345410, wck=758.242, mem=1050M133
776.68/763.11	    decisions=19023270, wrong=9151685, backtracks=9461416, failedAssignments=225184, nogoods=2765
776.68/763.11	    
799.71/786.14	    num=81, depth=6743..10182, filters=407256879, revisions=(937222191,useless=543094914), ccks=1222268306, wck=781.269, mem=1066M6
799.71/786.14	    decisions=19624827, wrong=9447440, backtracks=9737145, failedAssignments=247716, nogoods=2992
799.71/786.14	    
836.63/823.09	    num=82, depth=8130..10351, filters=420246986, revisions=(984155291,useless=577833808), ccks=1266870692, wck=818.223, mem=1081M838
836.63/823.09	    decisions=20766634, wrong=10013214, backtracks=10297161, failedAssignments=272501, nogoods=3089
836.63/823.09	    
857.13/843.52	    num=83, depth=7324..10641, filters=428119302, revisions=(1006793884,useless=593079410), ccks=1291542624, wck=838.652, mem=1097M703
857.13/843.52	    decisions=21421841, wrong=10335522, backtracks=10611700, failedAssignments=299765, nogoods=3220
857.13/843.52	    
924.27/910.28	    num=84, depth=8335..10575, filters=466294161, revisions=(1084632583,useless=634018434), ccks=1401631650, wck=905.408, mem=831M435
924.27/910.28	    decisions=23234273, wrong=11236511, backtracks=11498360, failedAssignments=329755, nogoods=3319
924.27/910.28	    
1005.19/991.15	    num=85, depth=7865..10629, filters=511709679, revisions=(1178319405,useless=683859821), ccks=1533537691, wck=986.282, mem=859M618
1005.19/991.15	    decisions=25515558, wrong=12371920, backtracks=12628143, failedAssignments=362744, nogoods=3431
1005.19/991.15	    
1175.06/1160.98	    num=86, depth=8059..10458, filters=610630243, revisions=(1400254924,useless=810267395), ccks=1830996448, wck=1156.106, mem=915M984
1175.06/1160.98	    decisions=29977606, wrong=14597799, backtracks=14850803, failedAssignments=399032, nogoods=3610
1175.06/1160.98	    
1282.00/1267.81	    num=87, depth=7052..10492, filters=664938044, revisions=(1509169987,useless=867252645), ccks=1993754253, wck=1262.938, mem=972M389
1282.00/1267.81	    decisions=33070201, wrong=16138959, backtracks=16389580, failedAssignments=438949, nogoods=3776
1282.00/1267.81	    
1431.77/1417.50	    num=88, depth=7316..10588, filters=739660822, revisions=(1674076716,useless=960413199), ccks=2214983138, wck=1412.633, mem=1028M786
1431.77/1417.50	    decisions=37538999, wrong=18368130, backtracks=18617555, failedAssignments=482858, nogoods=3974
1431.77/1417.50	    
1606.25/1591.95	    num=89, depth=7529..10571, filters=849404472, revisions=(1907958664,useless=1087767829), ccks=2540347949, wck=1587.074, mem=1085M152
1606.25/1591.95	    decisions=42143075, wrong=20664964, backtracks=20906369, failedAssignments=531158, nogoods=4108
1606.25/1591.95	    
1641.77/1627.41	    num=90, depth=7855..10547, filters=863900807, revisions=(1946239229,useless=1112411344), ccks=2586129498, wck=1622.534, mem=1113M374
1641.77/1627.41	    decisions=43262849, wrong=21219627, backtracks=21435352, failedAssignments=584288, nogoods=4217
1641.77/1627.41	    
1679.08/1664.70	    num=91, depth=8059..10613, filters=880315530, revisions=(1991238723,useless=1141868584), ccks=2638468611, wck=1659.833, mem=1127M465
1679.08/1664.70	    decisions=44432894, wrong=21799416, backtracks=22000805, failedAssignments=642731, nogoods=4330
1679.08/1664.70	    
1820.95/1806.57	    num=92, depth=8179..10759, filters=952751008, revisions=(2132313933,useless=1213656990), ccks=2840685949, wck=1801.696, mem=1183M831
1820.95/1806.57	    decisions=48897475, wrong=24026413, backtracks=24212983, failedAssignments=707018, nogoods=4442
1820.95/1806.57	    
2064.86/2050.35	    num=93, depth=8408..10739, filters=1113303032, revisions=(2467223903,useless=1392508542), ccks=3314138207, wck=2045.476, mem=1268M379
2064.86/2050.35	    decisions=55489437, wrong=27317166, backtracks=27479730, failedAssignments=777734, nogoods=4571
2064.86/2050.35	    
2205.72/2191.13	    num=94, depth=8844..10901, filters=1197359723, revisions=(2641903455,useless=1486301093), ccks=3559068585, wck=2186.259, mem=1324M744
2205.72/2191.13	    decisions=59650334, wrong=29392185, backtracks=29521872, failedAssignments=855521, nogoods=4712
2205.72/2191.13	    
2402.90/2388.26	    num=95, depth=9076..11131, filters=1295806236, revisions=(2867161145,useless=1618216814), ccks=3855489054, wck=2383.388, mem=1423M425
2402.90/2388.26	    decisions=66406681, wrong=32764868, backtracks=32887399, failedAssignments=941087, nogoods=4866
2402.90/2388.26	    
2493.54/2478.85	    num=96, depth=3787..11012, filters=1356618892, revisions=(3000775214,useless=1692723149), ccks=4038042016, wck=2473.974, mem=1451M608
2493.54/2478.85	    decisions=68781483, wrong=33946879, backtracks=33987849, failedAssignments=1035210, nogoods=5013
2493.54/2478.85	    
2520.05/2505.30	
2520.05/2505.30	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 (14510 MiB free)
  memory of node 1: 16384 MiB (15332 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391005-1568386116/watcher-4391005-1568386116 -o /tmp/evaluation-result-4391005-1568386116/solver-4391005-1568386116 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568380471-32431 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391005-1568386116.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
Current StackSize limit: 8192 KiB

solver pid=1783, runsolver pid=1780

[startup+0.100082 s]*
/proc/loadavg: 1.91 1.88 1.85 4/228 1798
/proc/meminfo: memFree=30543876/32770624 swapFree=67001900/67108860
[pid=1783] ppid=1780 vsize=10659884 memory=27968 CPUtime=0.13 cores=0,2,4,6
/proc/1783/stat : 1783 (java) S 1780 1783 32400 0 -1 1077944320 5499 0 0 0 13 0 0 0 20 0 15 0 414860314 10915721216 6992 33554432000 4194304 4196468 140736994616416 140736994598960 140251905105655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
/proc/1783/statm: 2664971 6992 2909 1 0 2627468 0
[pid=1783/tid=1785] ppid=1780 vsize=10659884 memory=576460756329955604 CPUtime=0.09 cores=0,2,4,6
/proc/1783/task/1785/stat : 1785 (java) R 1780 1783 32400 0 -1 4202560 3234 0 0 0 9 0 0 0 20 0 15 0 414860314 10915721216 6992 33554432000 4194304 4196468 140736994616416 140251909335312 140251897822807 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1786] ppid=1780 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1786/stat : 1786 (java) S 1780 1783 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414860315 10915721216 6992 33554432000 4194304 4196468 140736994616416 140251831179536 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1787] ppid=1780 vsize=10659884 memory=288230376154700387 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1787/stat : 1787 (java) S 1780 1783 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414860315 10915721216 6992 33554432000 4194304 4196468 140736994616416 140251830126992 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1788] ppid=1780 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1788/stat : 1788 (java) S 1780 1783 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414860315 10915721216 6992 33554432000 4194304 4196468 140736994616416 140251829074448 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1789] ppid=1780 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1789/stat : 1789 (java) S 1780 1783 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414860315 10915721216 6992 33554432000 4194304 4196468 140736994616416 140251828021904 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1790] ppid=1780 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1790/stat : 1790 (java) S 1780 1783 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414860317 10915721216 6992 33554432000 4194304 4196468 140736994616416 140250939611632 140251905116802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1791] ppid=1780 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1791/stat : 1791 (java) S 1780 1783 32400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414860317 10915721216 6992 33554432000 4194304 4196468 140736994616416 140250938557856 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1792] ppid=1780 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1792/stat : 1792 (java) S 1780 1783 32400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414860317 10915721216 6992 33554432000 4194304 4196468 140736994616416 140250937505264 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1793] ppid=1780 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1793/stat : 1793 (java) S 1780 1783 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414860320 10915721216 6992 33554432000 4194304 4196468 140736994616416 140250936453840 140251905124251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1794] ppid=1780 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1794/stat : 1794 (java) S 1780 1783 32400 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 414860320 10915721216 6992 33554432000 4194304 4196468 140736994616416 140250935400432 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1795] ppid=1780 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1795/stat : 1795 (java) S 1780 1783 32400 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 15 0 414860320 10915721216 6992 33554432000 4194304 4196468 140736994616416 140250934347888 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1796] ppid=1780 vsize=10659884 memory=140362689054336 CPUtime=0.02 cores=0,2,4,6
/proc/1783/task/1796/stat : 1796 (java) R 1780 1783 32400 0 -1 4202560 382 0 0 0 2 0 0 0 20 0 15 0 414860320 10915721216 6992 33554432000 4194304 4196468 140736994616416 140250933292344 140251883647124 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1797] ppid=1780 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1797/stat : 1797 (java) S 1780 1783 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414860320 10915721216 6992 33554432000 4194304 4196468 140736994616416 140250932243040 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1798] ppid=1780 vsize=10659884 memory=140362689054336 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1798/stat : 1798 (java) S 1780 1783 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414860320 10915721216 6992 33554432000 4194304 4196468 140736994616416 140250931190576 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27968 KiB

[startup+0.210791 s]*
/proc/loadavg: 1.91 1.88 1.85 3/228 1798
/proc/meminfo: memFree=30535040/32770624 swapFree=67001900/67108860
[pid=1783] ppid=1780 vsize=10659884 memory=35096 CPUtime=0.33 cores=0,2,4,6
/proc/1783/stat : 1783 (java) S 1780 1783 32400 0 -1 1077944320 6945 0 0 0 32 1 0 0 20 0 15 0 414860314 10915721216 8774 33554432000 4194304 4196468 140736994616416 140736994598960 140251905105655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
/proc/1783/statm: 2664971 8774 2989 1 0 2627468 0
[pid=1783/tid=1785] ppid=1780 vsize=10659884 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/1783/task/1785/stat : 1785 (java) R 1780 1783 32400 0 -1 4202560 3880 0 0 0 19 1 0 0 20 0 15 0 414860314 10915721216 8774 33554432000 4194304 4196468 140736994616416 140251909337744 140251905127581 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1786] ppid=1780 vsize=10659884 memory=4294967639 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1786/stat : 1786 (java) S 1780 1783 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414860315 10915721216 8774 33554432000 4194304 4196468 140736994616416 140251831179536 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1787] ppid=1780 vsize=10659884 memory=140362689079018 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1787/stat : 1787 (java) S 1780 1783 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414860315 10915721216 8774 33554432000 4194304 4196468 140736994616416 140251830126992 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1788] ppid=1780 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1788/stat : 1788 (java) S 1780 1783 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414860315 10915721216 8774 33554432000 4194304 4196468 140736994616416 140251829074448 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1789] ppid=1780 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1789/stat : 1789 (java) S 1780 1783 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414860315 10915721216 8774 33554432000 4194304 4196468 140736994616416 140251828021904 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1790] ppid=1780 vsize=10659884 memory=140362689054336 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1790/stat : 1790 (java) S 1780 1783 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414860317 10915721216 8774 33554432000 4194304 4196468 140736994616416 140250939611632 140251905116802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1791] ppid=1780 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1791/stat : 1791 (java) S 1780 1783 32400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414860317 10915721216 8774 33554432000 4194304 4196468 140736994616416 140250938557856 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1792] ppid=1780 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1792/stat : 1792 (java) S 1780 1783 32400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414860317 10915721216 8774 33554432000 4194304 4196468 140736994616416 140250937505264 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1793] ppid=1780 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1793/stat : 1793 (java) S 1780 1783 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414860320 10915721216 8774 33554432000 4194304 4196468 140736994616416 140250936453840 140251905124251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1794] ppid=1780 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1783/task/1794/stat : 1794 (java) S 1780 1783 32400 0 -1 1077944384 411 0 0 0 3 0 0 0 20 0 15 0 414860320 10915721216 8774 33554432000 4194304 4196468 140736994616416 140250935400432 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1795] ppid=1780 vsize=10659884 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/1783/task/1795/stat : 1795 (java) S 1780 1783 32400 0 -1 1077944384 613 0 0 0 3 0 0 0 20 0 15 0 414860320 10915721216 8774 33554432000 4194304 4196468 140736994616416 140250934347888 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1796] ppid=1780 vsize=10659884 memory=140362689054336 CPUtime=0.05 cores=0,2,4,6
/proc/1783/task/1796/stat : 1796 (java) S 1780 1783 32400 0 -1 1077944384 682 0 0 0 5 0 0 0 20 0 15 0 414860320 10915721216 8774 33554432000 4194304 4196468 140736994616416 140250933295344 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1797] ppid=1780 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1797/stat : 1797 (java) S 1780 1783 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414860320 10915721216 8774 33554432000 4194304 4196468 140736994616416 140250932243040 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1798] ppid=1780 vsize=10659884 memory=140362689054336 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1798/stat : 1798 (java) S 1780 1783 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414860320 10915721216 8774 33554432000 4194304 4196468 140736994616416 140250931190576 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35096 KiB

[startup+0.30992 s]*
/proc/loadavg: 1.91 1.88 1.85 4/228 1798
/proc/meminfo: memFree=30524652/32770624 swapFree=67001900/67108860
[pid=1783] ppid=1780 vsize=10659884 memory=40224 CPUtime=0.46 cores=0,2,4,6
/proc/1783/stat : 1783 (java) S 1780 1783 32400 0 -1 1077944320 9465 0 0 0 44 2 0 0 20 0 15 0 414860314 10915721216 10056 33554432000 4194304 4196468 140736994616416 140736994598960 140251905105655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
/proc/1783/statm: 2664971 10056 3001 1 0 2627468 0
[pid=1783/tid=1785] ppid=1780 vsize=10659884 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/1783/task/1785/stat : 1785 (java) R 1780 1783 32400 0 -1 4202560 6344 0 0 0 28 2 0 0 20 0 15 0 414860314 10915721216 10056 33554432000 4194304 4196468 140736994616416 140251909338064 140251905127581 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1786] ppid=1780 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1786/stat : 1786 (java) S 1780 1783 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414860315 10915721216 10056 33554432000 4194304 4196468 140736994616416 140251831179536 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1787] ppid=1780 vsize=10659884 memory=140362689078477 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1787/stat : 1787 (java) S 1780 1783 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414860315 10915721216 10056 33554432000 4194304 4196468 140736994616416 140251830126992 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1788] ppid=1780 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1788/stat : 1788 (java) S 1780 1783 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414860315 10915721216 10056 33554432000 4194304 4196468 140736994616416 140251829074448 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1789] ppid=1780 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1789/stat : 1789 (java) S 1780 1783 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414860315 10915721216 10056 33554432000 4194304 4196468 140736994616416 140251828021904 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1790] ppid=1780 vsize=10659884 memory=140362689054336 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1790/stat : 1790 (java) S 1780 1783 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414860317 10915721216 10056 33554432000 4194304 4196468 140736994616416 140250939611632 140251905116802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1791] ppid=1780 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1791/stat : 1791 (java) S 1780 1783 32400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414860317 10915721216 10056 33554432000 4194304 4196468 140736994616416 140250938557856 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1792] ppid=1780 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1792/stat : 1792 (java) S 1780 1783 32400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414860317 10915721216 10056 33554432000 4194304 4196468 140736994616416 140250937505264 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1793] ppid=1780 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1793/stat : 1793 (java) S 1780 1783 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414860320 10915721216 10056 33554432000 4194304 4196468 140736994616416 140250936453840 140251905124251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1794] ppid=1780 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1783/task/1794/stat : 1794 (java) S 1780 1783 32400 0 -1 1077944384 419 0 0 0 3 0 0 0 20 0 15 0 414860320 10915721216 10056 33554432000 4194304 4196468 140736994616416 140250935400432 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1795] ppid=1780 vsize=10659884 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/1783/task/1795/stat : 1795 (java) S 1780 1783 32400 0 -1 1077944384 659 0 0 0 4 0 0 0 20 0 15 0 414860320 10915721216 10056 33554432000 4194304 4196468 140736994616416 140250934347888 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1796] ppid=1780 vsize=10659884 memory=140362689054336 CPUtime=0.08 cores=0,2,4,6
/proc/1783/task/1796/stat : 1796 (java) R 1780 1783 32400 0 -1 4202560 704 0 0 0 8 0 0 0 20 0 15 0 414860320 10915721216 10056 33554432000 4194304 4196468 140736994616416 140250933295344 140251905127002 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1797] ppid=1780 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1797/stat : 1797 (java) S 1780 1783 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414860320 10915721216 10056 33554432000 4194304 4196468 140736994616416 140250932243040 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1798] ppid=1780 vsize=10659884 memory=140362689054336 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1798/stat : 1798 (java) S 1780 1783 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414860320 10915721216 10056 33554432000 4194304 4196468 140736994616416 140250931190576 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40224 KiB

[startup+0.700772 s]
/proc/loadavg: 1.91 1.88 1.85 3/228 1798
/proc/meminfo: memFree=30513980/32770624 swapFree=67001900/67108860
[pid=1783] ppid=1780 vsize=10661932 memory=64088 CPUtime=1.1 cores=0,2,4,6
/proc/1783/stat : 1783 (java) S 1780 1783 32400 0 -1 1077944320 13197 0 0 0 106 4 0 0 20 0 15 0 414860314 10917818368 16022 33554432000 4194304 4196468 140736994616416 140736994598960 140251905105655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
/proc/1783/statm: 2665483 16022 3073 1 0 2627980 0
[pid=1783/tid=1785] ppid=1780 vsize=10661932 memory=7301550365703684195 CPUtime=0.67 cores=0,2,4,6
/proc/1783/task/1785/stat : 1785 (java) R 1780 1783 32400 0 -1 4202560 8888 0 0 0 64 3 0 0 20 0 15 0 414860314 10917818368 16022 33554432000 4194304 4196468 140736994616416 140251909338048 140251889186142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1786] ppid=1780 vsize=10661932 memory=4644 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1786/stat : 1786 (java) S 1780 1783 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414860315 10917818368 16022 33554432000 4194304 4196468 140736994616416 140251831179536 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1787] ppid=1780 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1787/stat : 1787 (java) S 1780 1783 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414860315 10917818368 16022 33554432000 4194304 4196468 140736994616416 140251830126992 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1788] ppid=1780 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1788/stat : 1788 (java) S 1780 1783 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414860315 10917818368 16022 33554432000 4194304 4196468 140736994616416 140251829074448 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1789] ppid=1780 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1789/stat : 1789 (java) S 1780 1783 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414860315 10917818368 16022 33554432000 4194304 4196468 140736994616416 140251828021904 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1790] ppid=1780 vsize=10661932 memory=7 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1790/stat : 1790 (java) S 1780 1783 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414860317 10917818368 16022 33554432000 4194304 4196468 140736994616416 140250939611632 140251905116802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1791] ppid=1780 vsize=10661932 memory=354 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1791/stat : 1791 (java) S 1780 1783 32400 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414860317 10917818368 16022 33554432000 4194304 4196468 140736994616416 140250938557856 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1792] ppid=1780 vsize=10661932 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1792/stat : 1792 (java) S 1780 1783 32400 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414860317 10917818368 16022 33554432000 4194304 4196468 140736994616416 140250937505264 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1793] ppid=1780 vsize=10661932 memory=4121 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1793/stat : 1793 (java) S 1780 1783 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414860320 10917818368 16022 33554432000 4194304 4196468 140736994616416 140250936453840 140251905124251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1794] ppid=1780 vsize=10661932 memory=971 CPUtime=0.1 cores=0,2,4,6
/proc/1783/task/1794/stat : 1794 (java) S 1780 1783 32400 0 -1 1077944384 760 0 0 0 10 0 0 0 20 0 15 0 414860320 10917818368 16022 33554432000 4194304 4196468 140736994616416 140250935400432 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1795] ppid=1780 vsize=10661932 memory=625 CPUtime=0.11 cores=0,2,4,6
/proc/1783/task/1795/stat : 1795 (java) R 1780 1783 32400 0 -1 4202560 992 0 0 0 11 0 0 0 20 0 15 0 414860320 10917818368 16022 33554432000 4194304 4196468 140736994616416 140250934347888 140251891169811 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1796] ppid=1780 vsize=10661932 memory=151 CPUtime=0.18 cores=0,2,4,6
/proc/1783/task/1796/stat : 1796 (java) S 1780 1783 32400 0 -1 1077944384 1199 0 0 0 18 0 0 0 20 0 15 0 414860320 10917818368 16022 33554432000 4194304 4196468 140736994616416 140250933295344 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1797] ppid=1780 vsize=10661932 memory=140362551192296 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1797/stat : 1797 (java) S 1780 1783 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414860320 10917818368 16022 33554432000 4194304 4196468 140736994616416 140250932243040 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1798] ppid=1780 vsize=10661932 memory=280725102392384 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1798/stat : 1798 (java) S 1780 1783 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414860320 10917818368 16022 33554432000 4194304 4196468 140736994616416 140250931190576 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
Current children cumulated CPU time: 1.1 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 64088 KiB

[startup+1.5007 s]
/proc/loadavg: 1.91 1.88 1.85 3/228 1798
/proc/meminfo: memFree=30491680/32770624 swapFree=67001900/67108860
[pid=1783] ppid=1780 vsize=10663980 memory=76016 CPUtime=2 cores=0,2,4,6
/proc/1783/stat : 1783 (java) S 1780 1783 32400 0 -1 1077944320 17328 0 0 0 195 5 0 0 20 0 15 0 414860314 10919915520 19004 33554432000 4194304 4196468 140736994616416 140736994598960 140251905105655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
/proc/1783/statm: 2665995 19004 3094 1 0 2628492 0
[pid=1783/tid=1785] ppid=1780 vsize=10663980 memory=280725102273312 CPUtime=1.48 cores=0,2,4,6
/proc/1783/task/1785/stat : 1785 (java) R 1780 1783 32400 0 -1 4202560 11861 0 0 0 144 4 0 0 20 0 15 0 414860314 10919915520 19004 33554432000 4194304 4196468 140736994616416 140251909345936 140251905127581 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1786] ppid=1780 vsize=10663980 memory=4644 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1786/stat : 1786 (java) S 1780 1783 32400 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414860315 10919915520 19004 33554432000 4194304 4196468 140736994616416 140251831179536 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1787] ppid=1780 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1787/stat : 1787 (java) S 1780 1783 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414860315 10919915520 19004 33554432000 4194304 4196468 140736994616416 140251830126992 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1788] ppid=1780 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1788/stat : 1788 (java) S 1780 1783 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414860315 10919915520 19004 33554432000 4194304 4196468 140736994616416 140251829074448 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1789] ppid=1780 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1789/stat : 1789 (java) S 1780 1783 32400 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414860315 10919915520 19004 33554432000 4194304 4196468 140736994616416 140251828021904 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1790] ppid=1780 vsize=10663980 memory=7 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1790/stat : 1790 (java) S 1780 1783 32400 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 414860317 10919915520 19004 33554432000 4194304 4196468 140736994616416 140250939611632 140251905116802 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0

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

/proc/1783/task/1789/stat : 1789 (java) S 1780 1783 32400 0 -1 1077944384 3134 0 0 0 64 33 0 0 20 0 16 0 414860315 11006283776 457766 33554432000 4194304 4196468 140736994616416 140251828021904 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1790] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0.08 cores=0,2,4,6
/proc/1783/task/1790/stat : 1790 (java) S 1780 1783 32400 0 -1 1077944384 9650 0 0 0 7 1 0 0 20 0 16 0 414860317 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250939611632 140251905116802 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1791] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1791/stat : 1791 (java) S 1780 1783 32400 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414860317 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250938557920 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1792] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1792/stat : 1792 (java) S 1780 1783 32400 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414860317 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250937505280 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1793] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1793/stat : 1793 (java) S 1780 1783 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414860320 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250936453840 140251905124251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1794] ppid=1780 vsize=10748324 memory=1831064 CPUtime=4.01 cores=0,2,4,6
/proc/1783/task/1794/stat : 1794 (java) S 1780 1783 32400 0 -1 1077944384 16477 0 0 0 400 1 0 0 20 0 16 0 414860320 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250935400432 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1795] ppid=1780 vsize=10748324 memory=1831064 CPUtime=5.59 cores=0,2,4,6
/proc/1783/task/1795/stat : 1795 (java) S 1780 1783 32400 0 -1 1077944384 23677 0 0 0 556 3 0 0 20 0 16 0 414860320 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250934347888 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1796] ppid=1780 vsize=10748324 memory=1831064 CPUtime=1.16 cores=0,2,4,6
/proc/1783/task/1796/stat : 1796 (java) S 1780 1783 32400 0 -1 1077944384 18816 0 0 0 112 4 0 0 20 0 16 0 414860320 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250933295344 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1797] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1797/stat : 1797 (java) S 1780 1783 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414860320 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250932243040 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1798] ppid=1780 vsize=10748324 memory=3616 CPUtime=0.74 cores=0,2,4,6
/proc/1783/task/1798/stat : 1798 (java) S 1780 1783 32400 0 -1 1077944384 2628 0 0 0 36 38 0 0 20 0 16 0 414860320 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250931190576 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1799] ppid=1780 vsize=10748324 memory=38244 CPUtime=2439.49 cores=0,2,4,6
/proc/1783/task/1799/stat : 1799 (java) R 1780 1783 32400 0 -1 4202560 35444 0 0 0 243940 9 0 0 20 0 16 0 414860505 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250914520832 140251508067874 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
Current children cumulated CPU time: 2457.03 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1831064 KiB

[startup+2502.3 s]
/proc/loadavg: 1.09 1.53 1.73 2/207 2109
/proc/meminfo: memFree=29394080/32770624 swapFree=67001932/67108860
[pid=1783] ppid=1780 vsize=10748324 memory=1831064 CPUtime=2517.05 cores=0,2,4,6
/proc/1783/stat : 1783 (java) S 1780 1783 32400 0 -1 1077944320 130964 0 0 0 251515 190 0 0 20 0 16 0 414860314 11006283776 457766 33554432000 4194304 4196468 140736994616416 140736994598960 140251905105655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
/proc/1783/statm: 2687081 457766 3385 1 0 2647217 0
[pid=1783/tid=1785] ppid=1780 vsize=10748324 memory=1831064 CPUtime=1.89 cores=0,2,4,6
/proc/1783/task/1785/stat : 1785 (java) S 1780 1783 32400 0 -1 1077944384 13727 0 0 0 183 6 0 0 20 0 16 0 414860314 11006283776 457766 33554432000 4194304 4196468 140736994616416 140251909348528 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1786] ppid=1780 vsize=10748324 memory=1831064 CPUtime=1.01 cores=0,2,4,6
/proc/1783/task/1786/stat : 1786 (java) S 1780 1783 32400 0 -1 1077944384 1521 0 0 0 65 36 0 0 20 0 16 0 414860315 11006283776 457766 33554432000 4194304 4196468 140736994616416 140251831179536 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1787] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0.99 cores=0,2,4,6
/proc/1783/task/1787/stat : 1787 (java) S 1780 1783 32400 0 -1 1077944384 1384 0 0 0 67 32 0 0 20 0 16 0 414860315 11006283776 457766 33554432000 4194304 4196468 140736994616416 140251830126992 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1788] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0.97 cores=0,2,4,6
/proc/1783/task/1788/stat : 1788 (java) S 1780 1783 32400 0 -1 1077944384 2301 0 0 0 64 33 0 0 20 0 16 0 414860315 11006283776 457766 33554432000 4194304 4196468 140736994616416 140251829074448 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1789] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0.97 cores=0,2,4,6
/proc/1783/task/1789/stat : 1789 (java) S 1780 1783 32400 0 -1 1077944384 3134 0 0 0 64 33 0 0 20 0 16 0 414860315 11006283776 457766 33554432000 4194304 4196468 140736994616416 140251828021904 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1790] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0.08 cores=0,2,4,6
/proc/1783/task/1790/stat : 1790 (java) S 1780 1783 32400 0 -1 1077944384 9655 0 0 0 7 1 0 0 20 0 16 0 414860317 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250939611632 140251905116802 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1791] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1791/stat : 1791 (java) S 1780 1783 32400 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414860317 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250938557920 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1792] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1792/stat : 1792 (java) S 1780 1783 32400 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414860317 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250937505280 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1793] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1793/stat : 1793 (java) S 1780 1783 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414860320 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250936453840 140251905124251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1794] ppid=1780 vsize=10748324 memory=3616 CPUtime=4.01 cores=0,2,4,6
/proc/1783/task/1794/stat : 1794 (java) S 1780 1783 32400 0 -1 1077944384 16479 0 0 0 400 1 0 0 20 0 16 0 414860320 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250935400432 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1795] ppid=1780 vsize=10748324 memory=38244 CPUtime=5.59 cores=0,2,4,6
/proc/1783/task/1795/stat : 1795 (java) S 1780 1783 32400 0 -1 1077944384 23679 0 0 0 556 3 0 0 20 0 16 0 414860320 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250934347888 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1796] ppid=1780 vsize=10748324 memory=1568 CPUtime=1.16 cores=0,2,4,6
/proc/1783/task/1796/stat : 1796 (java) S 1780 1783 32400 0 -1 1077944384 19070 0 0 0 112 4 0 0 20 0 16 0 414860320 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250933295344 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1797] ppid=1780 vsize=10748324 memory=1040 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1797/stat : 1797 (java) S 1780 1783 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414860320 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250932243040 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1798] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0.76 cores=0,2,4,6
/proc/1783/task/1798/stat : 1798 (java) S 1780 1783 32400 0 -1 1077944384 2659 0 0 0 37 39 0 0 20 0 16 0 414860320 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250931190576 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1799] ppid=1780 vsize=10748324 memory=1428 CPUtime=2499.5 cores=0,2,4,6
/proc/1783/task/1799/stat : 1799 (java) R 1780 1783 32400 0 -1 4202560 35931 0 0 0 249941 9 0 0 20 0 16 0 414860505 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250914520832 140251505719753 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
Current children cumulated CPU time: 2517.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1831064 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2505.3 s]
/proc/loadavg: 1.09 1.53 1.73 2/207 2109
/proc/meminfo: memFree=29394080/32770624 swapFree=67001932/67108860
[pid=1783] ppid=1780 vsize=10748324 memory=1831064 CPUtime=2520.05 cores=0,2,4,6
/proc/1783/stat : 1783 (java) S 1780 1783 32400 0 -1 1077944320 130965 0 0 0 251815 190 0 0 20 0 16 0 414860314 11006283776 457766 33554432000 4194304 4196468 140736994616416 140736994598960 140251905105655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
/proc/1783/statm: 2687081 457766 3385 1 0 2647217 0
[pid=1783/tid=1785] ppid=1780 vsize=10748324 memory=1831064 CPUtime=1.89 cores=0,2,4,6
/proc/1783/task/1785/stat : 1785 (java) S 1780 1783 32400 0 -1 1077944384 13727 0 0 0 183 6 0 0 20 0 16 0 414860314 11006283776 457766 33554432000 4194304 4196468 140736994616416 140251909348528 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1786] ppid=1780 vsize=10748324 memory=1831064 CPUtime=1.01 cores=0,2,4,6
/proc/1783/task/1786/stat : 1786 (java) S 1780 1783 32400 0 -1 1077944384 1521 0 0 0 65 36 0 0 20 0 16 0 414860315 11006283776 457766 33554432000 4194304 4196468 140736994616416 140251831179536 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1787] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0.99 cores=0,2,4,6
/proc/1783/task/1787/stat : 1787 (java) S 1780 1783 32400 0 -1 1077944384 1384 0 0 0 67 32 0 0 20 0 16 0 414860315 11006283776 457766 33554432000 4194304 4196468 140736994616416 140251830126992 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1788] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0.97 cores=0,2,4,6
/proc/1783/task/1788/stat : 1788 (java) S 1780 1783 32400 0 -1 1077944384 2301 0 0 0 64 33 0 0 20 0 16 0 414860315 11006283776 457766 33554432000 4194304 4196468 140736994616416 140251829074448 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1789] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0.97 cores=0,2,4,6
/proc/1783/task/1789/stat : 1789 (java) S 1780 1783 32400 0 -1 1077944384 3134 0 0 0 64 33 0 0 20 0 16 0 414860315 11006283776 457766 33554432000 4194304 4196468 140736994616416 140251828021904 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1790] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0.08 cores=0,2,4,6
/proc/1783/task/1790/stat : 1790 (java) S 1780 1783 32400 0 -1 1077944384 9655 0 0 0 7 1 0 0 20 0 16 0 414860317 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250939611632 140251905116802 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1791] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1791/stat : 1791 (java) S 1780 1783 32400 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414860317 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250938557920 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1792] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1792/stat : 1792 (java) S 1780 1783 32400 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414860317 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250937505280 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1793] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1793/stat : 1793 (java) S 1780 1783 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414860320 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250936453840 140251905124251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1794] ppid=1780 vsize=10748324 memory=1831064 CPUtime=4.01 cores=0,2,4,6
/proc/1783/task/1794/stat : 1794 (java) S 1780 1783 32400 0 -1 1077944384 16479 0 0 0 400 1 0 0 20 0 16 0 414860320 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250935400432 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1795] ppid=1780 vsize=10748324 memory=20968 CPUtime=5.59 cores=0,2,4,6
/proc/1783/task/1795/stat : 1795 (java) S 1780 1783 32400 0 -1 1077944384 23679 0 0 0 556 3 0 0 20 0 16 0 414860320 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250934347888 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1796] ppid=1780 vsize=10748324 memory=1831064 CPUtime=1.16 cores=0,2,4,6
/proc/1783/task/1796/stat : 1796 (java) S 1780 1783 32400 0 -1 1077944384 19070 0 0 0 112 4 0 0 20 0 16 0 414860320 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250933295344 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1797] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1797/stat : 1797 (java) S 1780 1783 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414860320 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250932243040 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1798] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0.76 cores=0,2,4,6
/proc/1783/task/1798/stat : 1798 (java) S 1780 1783 32400 0 -1 1077944384 2659 0 0 0 37 39 0 0 20 0 16 0 414860320 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250931190576 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1799] ppid=1780 vsize=10748324 memory=3616 CPUtime=2502.5 cores=0,2,4,6
/proc/1783/task/1799/stat : 1799 (java) R 1780 1783 32400 0 -1 4202560 35932 0 0 0 250241 9 0 0 20 0 16 0 414860505 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250914520832 140251507312483 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1831064 KiB

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

[startup+2505.32 s]
# the end of solver process 1783 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.17 s, system=1.9165 s

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

[startup+2505.3 s]
/proc/loadavg: 1.09 1.53 1.73 2/207 2109
/proc/meminfo: memFree=29394080/32770624 swapFree=67001932/67108860
[pid=1783] ppid=1780 vsize=10748324 memory=1831064 CPUtime=2520.05 cores=0,2,4,6
/proc/1783/stat : 1783 (java) S 1780 1783 32400 0 -1 1077944320 130965 0 0 0 251815 190 0 0 20 0 16 0 414860314 11006283776 457766 33554432000 4194304 4196468 140736994616416 140736994598960 140251905105655 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
/proc/1783/statm: 2687081 457766 3385 1 0 2647217 0
[pid=1783/tid=1785] ppid=1780 vsize=10748324 memory=1831064 CPUtime=1.89 cores=0,2,4,6
/proc/1783/task/1785/stat : 1785 (java) S 1780 1783 32400 0 -1 1077944384 13727 0 0 0 183 6 0 0 20 0 16 0 414860314 11006283776 457766 33554432000 4194304 4196468 140736994616416 140251909348528 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1786] ppid=1780 vsize=10748324 memory=1831064 CPUtime=1.01 cores=0,2,4,6
/proc/1783/task/1786/stat : 1786 (java) S 1780 1783 32400 0 -1 1077944384 1521 0 0 0 65 36 0 0 20 0 16 0 414860315 11006283776 457766 33554432000 4194304 4196468 140736994616416 140251831179536 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1787] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0.99 cores=0,2,4,6
/proc/1783/task/1787/stat : 1787 (java) S 1780 1783 32400 0 -1 1077944384 1384 0 0 0 67 32 0 0 20 0 16 0 414860315 11006283776 457766 33554432000 4194304 4196468 140736994616416 140251830126992 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1788] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0.97 cores=0,2,4,6
/proc/1783/task/1788/stat : 1788 (java) S 1780 1783 32400 0 -1 1077944384 2301 0 0 0 64 33 0 0 20 0 16 0 414860315 11006283776 457766 33554432000 4194304 4196468 140736994616416 140251829074448 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1789] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0.97 cores=0,2,4,6
/proc/1783/task/1789/stat : 1789 (java) S 1780 1783 32400 0 -1 1077944384 3134 0 0 0 64 33 0 0 20 0 16 0 414860315 11006283776 457766 33554432000 4194304 4196468 140736994616416 140251828021904 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1790] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0.08 cores=0,2,4,6
/proc/1783/task/1790/stat : 1790 (java) S 1780 1783 32400 0 -1 1077944384 9655 0 0 0 7 1 0 0 20 0 16 0 414860317 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250939611632 140251905116802 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1791] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1791/stat : 1791 (java) S 1780 1783 32400 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 16 0 414860317 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250938557920 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1792] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1792/stat : 1792 (java) S 1780 1783 32400 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 414860317 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250937505280 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1793] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1793/stat : 1793 (java) S 1780 1783 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414860320 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250936453840 140251905124251 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1794] ppid=1780 vsize=10748324 memory=1831064 CPUtime=4.01 cores=0,2,4,6
/proc/1783/task/1794/stat : 1794 (java) S 1780 1783 32400 0 -1 1077944384 16479 0 0 0 400 1 0 0 20 0 16 0 414860320 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250935400432 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1795] ppid=1780 vsize=10748324 memory=20968 CPUtime=5.59 cores=0,2,4,6
/proc/1783/task/1795/stat : 1795 (java) S 1780 1783 32400 0 -1 1077944384 23679 0 0 0 556 3 0 0 20 0 16 0 414860320 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250934347888 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1796] ppid=1780 vsize=10748324 memory=1831064 CPUtime=1.16 cores=0,2,4,6
/proc/1783/task/1796/stat : 1796 (java) S 1780 1783 32400 0 -1 1077944384 19070 0 0 0 112 4 0 0 20 0 16 0 414860320 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250933295344 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1797] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0 cores=0,2,4,6
/proc/1783/task/1797/stat : 1797 (java) S 1780 1783 32400 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414860320 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250932243040 140251905115861 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1798] ppid=1780 vsize=10748324 memory=1831064 CPUtime=0.76 cores=0,2,4,6
/proc/1783/task/1798/stat : 1798 (java) S 1780 1783 32400 0 -1 1077944384 2659 0 0 0 37 39 0 0 20 0 16 0 414860320 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250931190576 140251905116802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
[pid=1783/tid=1799] ppid=1780 vsize=10748324 memory=3616 CPUtime=2502.5 cores=0,2,4,6
/proc/1783/task/1799/stat : 1799 (java) R 1780 1783 32400 0 -1 4202560 35932 0 0 0 250241 9 0 0 20 0 16 0 414860505 11006283776 457766 33554432000 4194304 4196468 140736994616416 140250914520832 140251507312483 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9736192 140736994620427 140736994620530 140736994620530 140736994623439 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1831064 KiB

Child status: 143
Real time (s): 2505.32
CPU time (s): 2520.08
CPU user time (s): 2518.17
CPU system time (s): 1.9165
CPU usage (%): 100.589
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 1831064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.17
system time used= 1.9165
maximum resident set size= 1831472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131419
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58210
involuntary context switches= 842


# summary of solver processes directly reported to runsolver:
#   pid: 1783
#   total CPU time (s): 2520.08
#   total CPU user time (s): 2518.17
#   total CPU system time (s): 1.9165

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.9734 second user time and 22.8651 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-13 16:47:52
IDJOB=4391005
IDBENCH=139378
IDSOLVER=2832
FILE ID=node136/4391005-1568386116
RUNJOBID= node136-1568380471-32431
PBS_JOBID= 21701832
Free space on /tmp= 56784 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/SteelMillSlab/SteelMillSlab-bench_15_2.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391005-1568386116/watcher-4391005-1568386116 -o /tmp/evaluation-result-4391005-1568386116/solver-4391005-1568386116 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1568380471-32431 --watchdog 2580  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391005-1568386116.xml -cm

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

MD5SUM BENCH= 5f96bf565600cbf50f8c2cf3fe757a5f
RANDOM SEED=1138934892

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30559008 kB
MemAvailable:   31349836 kB
Buffers:           41940 kB
Cached:          1033136 kB
SwapCached:         3252 kB
Active:          1107440 kB
Inactive:         526276 kB
Active(anon):     556936 kB
Inactive(anon):    42116 kB
Active(file):     550504 kB
Inactive(file):   484160 kB
Unevictable:      107848 kB
Mlocked:          107848 kB
SwapTotal:      67108860 kB
SwapFree:       67001900 kB
Dirty:              8772 kB
Writeback:             0 kB
AnonPages:        666980 kB
Mapped:            54744 kB
Shmem:             31852 kB
Slab:             172928 kB
SReclaimable:     144000 kB
SUnreclaim:        28928 kB
KernelStack:        4000 kB
PageTables:         6920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1725744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    550912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61160 MiB
End job on node136 at 2019-09-13 17:29:38