Trace number 4391325

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
AbsCon 2019-07-23? (TO) 2400.11 2384.32

General information on the benchmark

NameSteelMillSlab/
SteelMillSlab-bench_17_11.xml
MD5SUMec43b711d2aa9c243757c5391c9c8921
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark2400.17
Satisfiable
(Un)Satisfiability was proved
Number of variables12654
Number of constraints466
Number of domains4
Minimum domain size2
Maximum domain size111
Distribution of domain sizes[{"size":2,"count":12321},{"size":10,"count":111},{"size":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.38/1.89	
2.38/1.89	AbsCon 2 
2.61/1.90	
3.98/2.33	  Instance
3.98/2.33	    name=instance-4391325-1568391211, framework=COP, bounds=-infty..+infty
3.98/2.33	
3.98/2.33	  Loading variables...
4.64/2.57	  Loading constraints...[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@42e7a3ff
10.91/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@479900fd
10.91/4.45	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6d82dee4
10.91/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7fbd2290
10.91/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1e66037a
10.91/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f4126fd
10.91/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30fdaec8
10.91/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5edc1caf
10.91/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dd7e455
10.91/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e0da96b
10.91/4.46	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@30acb28e
10.91/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@34213c3a
10.91/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b434356
10.91/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4513aee4
10.91/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f1823bc
10.91/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b2fba1d
10.91/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2fd84b34
10.91/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@10fb6ea9
10.91/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@70822a94
10.91/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b9cb817
10.91/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65b56b6f
10.91/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3f2dbf5
10.91/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58faa6e2
10.91/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@44d95db7
10.91/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcd5f4d
10.91/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5a07cd5d
10.91/4.47	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@541309f3
10.91/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@caf09c3
10.91/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ba87a35
10.91/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4524f6bf
10.91/4.48	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f325703
10.91/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@54cbb410
10.91/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@71476d7f
10.91/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f8162d4
10.91/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cf3d658
10.91/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@37f557cd
10.91/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4845f428
10.91/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5653ff29
10.91/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7ec8cd5a
10.91/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@505c165b
10.91/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2d3ffbaa
10.91/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7cf827e6
10.91/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@116070c5
10.91/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@50374870
10.91/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@dcf251
10.91/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6b277fa8
10.91/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5c821b0d
10.91/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@43e7bcab
10.91/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6dfa40f7
10.91/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ac84d93
10.91/4.49	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17c98cad
10.91/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@e0aec71
10.91/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2167d09c
10.91/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a0c3784
10.91/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ba2f84a
10.91/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@521012e2
10.91/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2b9c9292
11.16/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7d145033
11.16/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e264b5
11.16/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@794975d1
11.16/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@ee58199
11.16/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36b0458
11.16/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@f75734d
11.16/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@155a1a35
11.16/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6a45fca5
11.16/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@253a619a
11.16/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5ee6041f
11.16/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6ab08329
11.16/4.50	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@403a144
11.16/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@76947bc7
11.16/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@592e6f23
11.16/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@c33167a
11.16/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@11380646
11.16/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3c9f015b
11.16/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7f9800fb
11.16/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4927acb0
11.16/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@41394586
11.16/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@fcfc74f
11.16/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@32957e2f
11.16/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@756b28fa
11.16/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@d33f3fb
11.16/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5e3789d4
11.16/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2c3d1d92
11.16/4.51	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@645ac30
11.16/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@601d9679
11.16/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@58dd109a
11.16/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@36e2e57f
11.16/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@650d73cf
11.16/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7e8f6262
11.16/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2853965
11.16/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@65760e89
11.16/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7436145
11.16/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4d006130
11.16/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4cb30a26
11.16/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@23b59824
11.16/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@17041b2e
11.16/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@66997510
11.16/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@4ce5a4d
11.16/4.52	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@55e962bb
11.16/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@3760333e
11.16/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7c68f96b
11.16/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@5b1775d5
11.16/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@57ab092b
11.16/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1811ee96
11.16/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6388fdbb
11.16/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@48a298d2
11.16/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2ada84ed
11.16/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@2cafccb6
11.16/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@24a34ce
11.16/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@1dfb2101
11.16/4.53	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@7b6a0ee2
11.16/4.54	[Lorg.xcsp.parser.entries.XVariables$XVarInteger;@6c9ceab3
11.52/4.63	
11.52/4.63	
11.52/4.63	  Domains
11.52/4.63	    nTypes=4, nValues=43734, sizes=[2#12321,10#111,51#111,111#111]
11.52/4.63	  Variables
11.52/4.63	    count=12654, degrees=[2#12432,3#111,222#78,223#24,224#9]
11.52/4.63	  Objectives
11.52/4.63	    way=min, type=SumSimpleLE
11.52/4.63	  Constraints
11.52/4.63	    count=12677, nSpecific=134, arities=[2#12453,111#113,112#111]
11.52/4.63	    distribution=[CtrExtensionV-Bits#111,CtrIntension#12432,LE#21,SumSimpleEQ#1,SumSimpleLE#1,SumWeightedEQ#111]
11.52/4.63	    nExtStructures=(111,shared:0), nIntStructures=(222,shared:12210)
11.52/4.63	    wck=2.773, cpu=4.141, mem=929M257
11.52/4.66	  Solver SolverBacktrack being built...
11.52/4.66	
11.84/4.77	
11.84/4.77	  Solver
11.84/4.77	    guaranteedGAC=false
11.84/4.77	    wck=2.911, cpu=4.276, mem=961M507
13.07/5.52	
13.07/5.52	  Preprocessing
13.07/5.52	    filters=0, revisions=(24864,useless=24864), ccks=1379952, nACremovedValues=0, nTotalRemovedValues=0, inconcistency=false
13.07/5.52	    wck=0.747, cpu=5.028, mem=961M507
13.07/5.52	
13.07/5.58	    num=0, depth=111..111, filters=1196, revisions=(27195,useless=26009), ccks=1383293, wck=0.801, mem=961M507
13.07/5.58	    decisions=131, wrong=10, backtracks=0, failedAssignments=10, nogoods=10
13.07/5.58	    
13.36/5.62	    num=1, depth=111..111, filters=2607, revisions=(29859,useless=27274), ccks=1387167, wck=0.846, mem=961M507
13.36/5.62	    decisions=264, wrong=21, backtracks=0, failedAssignments=21, nogoods=21
13.36/5.62	    
13.36/5.66	    num=2, depth=220..220, filters=4235, revisions=(38962,useless=34766), ccks=1397675, wck=0.892, mem=969M590
13.36/5.66	    decisions=508, wrong=33, backtracks=0, failedAssignments=33, nogoods=33
13.36/5.66	    
13.68/5.73	    num=3, depth=329..329, filters=6079, revisions=(54504,useless=48486), ccks=1408602, wck=0.961, mem=969M590
13.68/5.73	    decisions=863, wrong=46, backtracks=0, failedAssignments=46, nogoods=46
13.68/5.73	    
13.98/5.81	    num=4, depth=438..438, filters=8138, revisions=(76485,useless=68435), ccks=1419946, wck=1.042, mem=969M590
13.98/5.81	    decisions=1329, wrong=60, backtracks=0, failedAssignments=60, nogoods=60
13.98/5.81	    
14.29/5.91	    num=5, depth=547..547, filters=10573, revisions=(108679,useless=98259), ccks=1435287, wck=1.136, mem=969M590
14.29/5.91	    decisions=1908, wrong=76, backtracks=0, failedAssignments=76, nogoods=76
14.29/5.91	    
14.61/6.01	    num=6, depth=656..656, filters=13156, revisions=(143760,useless=130795), ccks=1447759, wck=1.241, mem=969M590
14.61/6.01	    decisions=2598, wrong=93, backtracks=0, failedAssignments=93, nogoods=93
14.61/6.01	    
14.85/6.14	    num=7, depth=763..763, filters=16531, revisions=(212035,useless=195984), ccks=1475067, wck=1.374, mem=969M590
14.85/6.14	    decisions=3399, wrong=112, backtracks=0, failedAssignments=112, nogoods=112
14.85/6.14	    
15.08/6.28	    num=8, depth=872..872, filters=20170, revisions=(284862,useless=265448), ccks=1501153, wck=1.511, mem=969M590
15.08/6.28	    decisions=4313, wrong=133, backtracks=0, failedAssignments=133, nogoods=133
15.08/6.28	    
15.49/6.43	    num=9, depth=980..980, filters=24331, revisions=(376562,useless=353382), ccks=1534034, wck=1.664, mem=969M590
15.49/6.43	    decisions=5339, wrong=156, backtracks=0, failedAssignments=156, nogoods=156
15.49/6.43	    
15.94/6.60	    num=10, depth=1089..1089, filters=28786, revisions=(474923,useless=447689), ccks=1567596, wck=1.831, mem=969M590
15.94/6.60	    decisions=6478, wrong=181, backtracks=0, failedAssignments=181, nogoods=181
15.94/6.60	    
16.17/6.78	    num=11, depth=1198..1199, filters=33759, revisions=(580500,useless=548704), ccks=1602628, wck=2.007, mem=972M227
16.17/6.78	    decisions=7733, wrong=209, backtracks=0, failedAssignments=209, nogoods=209
16.17/6.78	    
16.58/6.98	    num=12, depth=1416..1417, filters=39360, revisions=(702951,useless=666010), ccks=1645908, wck=2.211, mem=972M227
16.58/6.98	    decisions=9212, wrong=240, backtracks=0, failedAssignments=240, nogoods=240
16.58/6.98	    
17.19/7.22	    num=13, depth=1632..1634, filters=46026, revisions=(861927,useless=819004), ccks=1701697, wck=2.45, mem=972M227
17.19/7.22	    decisions=10914, wrong=274, backtracks=0, failedAssignments=274, nogoods=274
17.19/7.22	    
17.61/7.49	    num=14, depth=1849..1850, filters=53320, revisions=(1043218,useless=993782), ccks=1771265, wck=2.719, mem=972M227
17.61/7.49	    decisions=12838, wrong=311, backtracks=0, failedAssignments=311, nogoods=311
17.61/7.49	    
18.14/7.78	    num=15, depth=2067..2068, filters=61276, revisions=(1239496,useless=1182912), ccks=1834589, wck=3.014, mem=972M227
18.14/7.78	    decisions=14988, wrong=352, backtracks=0, failedAssignments=352, nogoods=352
18.14/7.78	    
18.45/8.10	    num=16, depth=2285..2286, filters=69818, revisions=(1447431,useless=1383110), ccks=1897786, wck=3.33, mem=972M227
18.45/8.10	    decisions=17364, wrong=397, backtracks=0, failedAssignments=397, nogoods=397
18.45/8.10	    
18.84/8.44	    num=17, depth=2503..2504, filters=79050, revisions=(1668910,useless=1596175), ccks=1962655, wck=3.671, mem=980M321
18.84/8.44	    decisions=19968, wrong=447, backtracks=0, failedAssignments=447, nogoods=447
18.84/8.44	    
19.24/8.81	    num=18, depth=2721..2723, filters=89111, revisions=(1904044,useless=1822080), ccks=2029498, wck=4.038, mem=980M321
19.24/8.81	    decisions=22801, wrong=502, backtracks=0, failedAssignments=502, nogoods=502
19.24/8.81	    
19.65/9.22	    num=19, depth=3048..3050, filters=100198, revisions=(2161159,useless=2068976), ccks=2104160, wck=4.446, mem=980M321
19.65/9.22	    decisions=25973, wrong=563, backtracks=0, failedAssignments=563, nogoods=563
19.65/9.22	    
20.06/9.66	    num=20, depth=3375..3377, filters=112233, revisions=(2437924,useless=2334589), ccks=2180646, wck=4.891, mem=980M321
20.06/9.66	    decisions=29484, wrong=630, backtracks=0, failedAssignments=630, nogoods=630
20.06/9.66	    
20.57/10.15	    num=21, depth=3700..3702, filters=125748, revisions=(2760539,useless=2644828), ccks=2272739, wck=5.377, mem=980M321
20.57/10.15	    decisions=33334, wrong=704, backtracks=0, failedAssignments=704, nogoods=704
20.57/10.15	    
21.06/10.67	    num=22, depth=4025..4028, filters=140790, revisions=(3125341,useless=2995950), ccks=2377495, wck=5.903, mem=988M420
21.06/10.67	    decisions=37524, wrong=785, backtracks=0, failedAssignments=785, nogoods=785
21.06/10.67	    
21.66/11.25	    num=23, depth=4461..4464, filters=157242, revisions=(3522226,useless=3377818), ccks=2493642, wck=6.477, mem=988M420
21.66/11.25	    decisions=42166, wrong=874, backtracks=0, failedAssignments=874, nogoods=874
21.66/11.25	    
22.26/11.87	    num=24, depth=4894..4897, filters=175604, revisions=(3976841,useless=3815818), ccks=2626199, wck=7.102, mem=988M420
22.26/11.87	    decisions=47259, wrong=972, backtracks=0, failedAssignments=972, nogoods=972
22.26/11.87	    
22.96/12.54	    num=25, depth=5330..5334, filters=195501, revisions=(4458655,useless=4279509), ccks=2762434, wck=7.769, mem=993M845
22.96/12.54	    decisions=52809, wrong=1080, backtracks=0, failedAssignments=1080, nogoods=1080
22.96/12.54	    
25.45/13.77	    num=26, depth=5875..5879, filters=217117, revisions=(4973996,useless=4775039), ccks=2906330, wck=9.002, mem=727M179
25.45/13.77	    decisions=58926, wrong=1199, backtracks=0, failedAssignments=1199, nogoods=1199
25.45/13.77	    
26.47/14.54	    num=27, depth=6420..6425, filters=240530, revisions=(5523197,useless=5302665), ccks=3054520, wck=9.765, mem=727M179
26.47/14.54	    decisions=65613, wrong=1330, backtracks=0, failedAssignments=1330, nogoods=1330
26.47/14.54	    
27.27/15.37	    num=28, depth=7074..7077, filters=264436, revisions=(6112364,useless=5869800), ccks=3207963, wck=10.602, mem=735M271
27.27/15.37	    decisions=72978, wrong=1474, backtracks=0, failedAssignments=1474, nogoods=1474
27.27/15.37	    
28.21/16.24	    num=29, depth=7369..7477, filters=286382, revisions=(6730141,useless=6467590), ccks=3351047, wck=11.471, mem=735M271
28.21/16.24	    decisions=80782, wrong=1644, backtracks=14, failedAssignments=1632, nogoods=1525
28.21/16.24	    
30.22/18.08	    num=30, depth=7489..7695, filters=781670, revisions=(8305681,useless=7561806), ccks=4867704, wck=13.313, mem=759M462
30.22/18.08	    decisions=106531, wrong=10758, backtracks=9053, failedAssignments=1806, nogoods=1530
30.22/18.08	    
33.31/21.01	    num=31, depth=211..7824, filters=1904636, revisions=(11236025,useless=9396900), ccks=8284170, wck=16.244, mem=815M908
33.31/21.01	    decisions=153386, wrong=30369, backtracks=28656, failedAssignments=1997, nogoods=1535
33.31/21.01	    
34.40/22.05	    num=32, depth=7637..7759, filters=2014495, revisions=(12029834,useless=10084853), ccks=8667429, wck=17.277, mem=823M972
34.40/22.05	    decisions=164933, wrong=32293, backtracks=30384, failedAssignments=2208, nogoods=1610
34.40/22.05	    
35.99/23.66	    num=33, depth=7540..7764, filters=2446547, revisions=(13494281,useless=11128632), ccks=10001799, wck=18.889, mem=848M163
35.99/23.66	    decisions=187197, wrong=39544, backtracks=37468, failedAssignments=2440, nogoods=1671
35.99/23.66	    
37.40/25.07	    num=34, depth=7807..7897, filters=2575073, revisions=(15016881,useless=12532234), ccks=10905634, wck=20.296, mem=856M226
37.40/25.07	    decisions=206157, wrong=45119, backtracks=43040, failedAssignments=2695, nogoods=1673
37.40/25.07	    
38.30/25.93	    num=35, depth=8077..8129, filters=2597079, revisions=(15650047,useless=13145317), ccks=11045602, wck=21.162, mem=856M226
38.30/25.93	    decisions=214900, wrong=45452, backtracks=43092, failedAssignments=2976, nogoods=1677
38.30/25.93	    
42.61/30.21	    num=36, depth=7754..8082, filters=4550979, revisions=(20217972,useless=15805757), ccks=16876639, wck=25.438, mem=952M991
42.61/30.21	    decisions=290279, wrong=79203, backtracks=76841, failedAssignments=3285, nogoods=1680
42.61/30.21	    
44.31/31.94	    num=37, depth=7920..8141, filters=5054567, revisions=(21831729,useless=16928547), ccks=18428818, wck=27.169, mem=977M182
44.31/31.94	    decisions=315478, wrong=87734, backtracks=85107, failedAssignments=3625, nogoods=1732
44.31/31.94	    
46.61/34.22	    num=38, depth=7920..8139, filters=5872341, revisions=(24119540,useless=18418749), ccks=20925987, wck=29.452, mem=1017M501
46.61/34.22	    decisions=351585, wrong=101723, backtracks=98848, failedAssignments=3999, nogoods=1768
46.61/34.22	    
47.81/35.45	    num=39, depth=8133..8251, filters=6012639, revisions=(25077864,useless=19243349), ccks=21406305, wck=30.679, mem=1025M564
47.81/35.45	    decisions=366663, wrong=105170, backtracks=102297, failedAssignments=4410, nogoods=1770
47.81/35.45	    
49.21/36.80	    num=40, depth=8249..8467, filters=6293614, revisions=(26305583,useless=20197831), ccks=22326816, wck=32.033, mem=1041M692
49.21/36.80	    decisions=384802, wrong=110008, backtracks=106723, failedAssignments=4862, nogoods=1857
49.21/36.80	    
50.11/37.71	    num=41, depth=8323..8359, filters=6314875, revisions=(27004747,useless=20878165), ccks=22487530, wck=32.939, mem=1049M755
50.11/37.71	    decisions=394189, wrong=110540, backtracks=106760, failedAssignments=5359, nogoods=1888
50.11/37.71	    
51.91/39.52	    num=42, depth=8135..8354, filters=6862986, revisions=(28774410,useless=22114086), ccks=24197940, wck=34.746, mem=1073M947
51.91/39.52	    decisions=420980, wrong=119846, backtracks=115603, failedAssignments=5906, nogoods=1925
51.91/39.52	    
52.83/40.47	    num=43, depth=8499..8571, filters=6905331, revisions=(29524015,useless=22824033), ccks=24439305, wck=35.699, mem=1082M10
52.83/40.47	    decisions=430848, wrong=120530, backtracks=115690, failedAssignments=6508, nogoods=1975
52.83/40.47	    
60.44/47.75	    num=44, depth=8389..8709, filters=10563127, revisions=(37891656,useless=27622277), ccks=35442932, wck=42.978, mem=887M379
60.44/47.75	    decisions=570614, wrong=186100, backtracks=181294, failedAssignments=7170, nogoods=1978
60.44/47.75	    
63.54/50.81	    num=45, depth=8553..8682, filters=11704573, revisions=(40886953,useless=29509905), ccks=38838965, wck=46.035, mem=930M482
63.54/50.81	    decisions=622036, wrong=207497, backtracks=202514, failedAssignments=7898, nogoods=1982
63.54/50.81	    
72.75/60.08	    num=46, depth=3485..8678, filters=16648444, revisions=(51642779,useless=35439510), ccks=53499856, wck=55.307, mem=1174M736
72.75/60.08	    decisions=802040, wrong=293282, backtracks=288298, failedAssignments=8699, nogoods=1991
72.75/60.08	    
73.95/61.28	    num=47, depth=4282..8681, filters=16870967, revisions=(52747302,useless=36327224), ccks=54252955, wck=56.509, mem=1189M103
73.95/61.28	    decisions=817914, wrong=296940, backtracks=291091, failedAssignments=9580, nogoods=2000
73.95/61.28	    
84.54/71.81	    num=48, depth=8463..8786, filters=22634099, revisions=(65229604,useless=43183297), ccks=71382245, wck=67.035, mem=1462M92
84.54/71.81	    decisions=1029446, wrong=398431, backtracks=392620, failedAssignments=10550, nogoods=2003
84.54/71.81	    
85.54/72.88	    num=49, depth=8682..8794, filters=22722344, revisions=(66087442,useless=43955391), ccks=71744331, wck=68.105, mem=764M971
85.54/72.88	    decisions=1040809, wrong=399721, backtracks=392844, failedAssignments=11617, nogoods=2103
85.54/72.88	    
87.96/75.07	    num=50, depth=8573..8792, filters=23532034, revisions=(68434672,useless=45512213), ccks=74246767, wck=70.302, mem=808M137
87.96/75.07	    decisions=1077219, wrong=413542, backtracks=405607, failedAssignments=12790, nogoods=2199
87.96/75.07	    
101.96/89.02	    num=51, depth=8631..8900, filters=31494399, revisions=(85463912,useless=54766448), ccks=97909172, wck=84.248, mem=1182M247
101.96/89.02	    decisions=1364080, wrong=552655, backtracks=544744, failedAssignments=14081, nogoods=2201
101.96/89.02	    
102.96/90.06	    num=52, depth=8902..9012, filters=31614945, revisions=(86429208,useless=55614288), ccks=98391298, wck=85.286, mem=1196M635
102.96/90.06	    decisions=1376653, wrong=554480, backtracks=545151, failedAssignments=15501, nogoods=2229
102.96/90.06	    
119.52/106.54	    num=53, depth=8684..9010, filters=41164180, revisions=(106752661,useless=66613285), ccks=126754144, wck=101.77, mem=936M854
119.52/106.54	    decisions=1719831, wrong=721669, backtracks=712388, failedAssignments=17063, nogoods=2232
119.52/106.54	    
120.92/107.96	    num=54, depth=9012..9231, filters=41481336, revisions=(108223551,useless=67775745), ccks=127851795, wck=103.185, mem=956M992
120.92/107.96	    decisions=1741135, wrong=727712, backtracks=716749, failedAssignments=18781, nogoods=2237
120.92/107.96	    
122.72/109.77	    num=55, depth=9122..9430, filters=42081199, revisions=(110242764,useless=69209424), ccks=129772370, wck=104.999, mem=997M270
122.72/109.77	    decisions=1771143, wrong=738071, backtracks=725289, failedAssignments=20671, nogoods=2240
122.72/109.77	    
124.04/111.10	    num=56, depth=9312..9450, filters=42379107, revisions=(111660050,useless=70335834), ccks=130806102, wck=106.331, mem=997M270
124.04/111.10	    decisions=1790300, wrong=742993, backtracks=728146, failedAssignments=22750, nogoods=2262
124.04/111.10	    
143.43/130.46	    num=57, depth=9257..9562, filters=53837382, revisions=(135438293,useless=82928656), ccks=164450984, wck=125.689, mem=1561M151
143.43/130.46	    decisions=2230634, wrong=958475, backtracks=943709, failedAssignments=25037, nogoods=2265
143.43/130.46	    
144.63/131.68	    num=58, depth=3736..9541, filters=54009762, revisions=(136917201,useless=84241645), ccks=165256374, wck=126.909, mem=1561M151
144.63/131.68	    decisions=2245263, wrong=961049, backtracks=943768, failedAssignments=27553, nogoods=2320
144.63/131.68	    
146.93/134.00	    num=59, depth=9364..9650, filters=54853084, revisions=(139646774,useless=86155962), ccks=168033518, wck=129.226, mem=1601M428
146.93/134.00	    decisions=2286851, wrong=977082, backtracks=957249, failedAssignments=30321, nogoods=2408
146.93/134.00	    
175.77/162.74	    num=60, depth=7254..9823, filters=72967860, revisions=(177739165,useless=106564254), ccks=221876020, wck=157.967, mem=1487M800
175.77/162.74	    decisions=2933545, wrong=1295680, backtracks=1275935, failedAssignments=33365, nogoods=2414
175.77/162.74	    
187.60/174.51	    num=61, depth=9615..9934, filters=78420169, revisions=(195867779,useless=119420270), ccks=241424437, wck=169.735, mem=789M103
187.60/174.51	    decisions=3205752, wrong=1426905, backtracks=1406533, failedAssignments=36714, nogoods=2420
187.60/174.51	    
209.22/196.19	    num=62, depth=8021..10046, filters=92597755, revisions=(226009597,useless=135718138), ccks=283638617, wck=191.418, mem=1478M881
209.22/196.19	    decisions=3712833, wrong=1675551, backtracks=1653835, failedAssignments=40398, nogoods=2426
209.22/196.19	    
233.73/220.60	    num=63, depth=9723..10050, filters=108587594, revisions=(259841179,useless=153934003), ccks=331231655, wck=215.832, mem=922M157
233.73/220.60	    decisions=4281318, wrong=1954839, backtracks=1931710, failedAssignments=44450, nogoods=2493
233.73/220.60	    
258.45/245.38	    num=64, depth=9748..10052, filters=123173996, revisions=(297827258,useless=177730731), ccks=378142962, wck=240.605, mem=1691M728
258.45/245.38	    decisions=4868089, wrong=2243293, backtracks=2218900, failedAssignments=48907, nogoods=2547
258.45/245.38	    
262.05/248.94	    num=65, depth=9994..10295, filters=124945963, revisions=(302655011,useless=180831487), ccks=383687110, wck=244.17, mem=1771M339
262.05/248.94	    decisions=4943553, wrong=2275997, backtracks=2246994, failedAssignments=53810, nogoods=2550
262.05/248.94	    
263.55/250.42	    num=66, depth=10321..10349, filters=125221761, revisions=(304802098,useless=182712158), ccks=385025345, wck=245.645, mem=1797M876
263.55/250.42	    decisions=4967818, wrong=2282966, backtracks=2248641, failedAssignments=59204, nogoods=2629
263.55/250.42	    
270.55/257.44	    num=67, depth=10321..10545, filters=129408877, revisions=(314789461,useless=188621647), ccks=397779283, wck=252.669, mem=2013M817
270.55/257.44	    decisions=5131744, wrong=2359712, backtracks=2320818, failedAssignments=65137, nogoods=2631
270.55/257.44	    
303.17/289.99	    num=68, depth=10229..10626, filters=151838828, revisions=(361760001,useless=213723818), ccks=464207200, wck=285.225, mem=1783M565
303.17/289.99	    decisions=5989112, wrong=2783205, backtracks=2743632, failedAssignments=71663, nogoods=2636
303.17/289.99	    
309.77/296.55	    num=69, depth=6580..10586, filters=154565254, revisions=(370844116,useless=220227311), ccks=473362275, wck=291.78, mem=1914M176
309.77/296.55	    decisions=6147089, wrong=2856923, backtracks=2813754, failedAssignments=78842, nogoods=2655
309.77/296.55	    
341.81/328.53	    num=70, depth=10180..10658, filters=171712524, revisions=(423182854,useless=256016487), ccks=531953963, wck=323.757, mem=1262M284
341.81/328.53	    decisions=7028402, wrong=3292326, backtracks=3249263, failedAssignments=86739, nogoods=2675
341.81/328.53	    
351.51/338.28	    num=71, depth=6296..10746, filters=175058431, revisions=(437217560,useless=266917095), ccks=544848062, wck=333.505, mem=1458M288
351.51/338.28	    decisions=7308178, wrong=3426936, backtracks=3378354, failedAssignments=95426, nogoods=2694
351.51/338.28	    
394.16/380.80	    num=72, depth=7054..10818, filters=201041069, revisions=(490074632,useless=294579732), ccks=620260869, wck=376.028, mem=1076M323
394.16/380.80	    decisions=8553913, wrong=4044477, backtracks=3996234, failedAssignments=104981, nogoods=2718
394.16/380.80	    
404.37/391.02	    num=73, depth=4339..10854, filters=205898385, revisions=(507232132,useless=307089367), ccks=640310658, wck=386.248, mem=1341M8
404.37/391.02	    decisions=8810708, wrong=4167528, backtracks=4111862, failedAssignments=115492, nogoods=2744
404.37/391.02	    
427.25/413.87	    num=74, depth=7465..10842, filters=220936372, revisions=(542110390,useless=327406137), ccks=686021987, wck=409.101, mem=2097M251
427.25/413.87	    decisions=9375459, wrong=4444576, backtracks=4382426, failedAssignments=127054, nogoods=2760
427.25/413.87	    
457.08/443.48	    num=75, depth=7827..10983, filters=221887162, revisions=(562015675,useless=346474634), ccks=691040265, wck=438.712, mem=2248M500
457.08/443.48	    decisions=9521001, wrong=4512012, backtracks=6684229, failedAssignments=139772, nogoods=2778
457.08/443.48	    
485.93/472.20	    num=76, depth=4855..10907, filters=234069044, revisions=(608916166,useless=381786281), ccks=738021902, wck=467.432, mem=1117M54
485.93/472.20	    decisions=10307380, wrong=4899921, backtracks=7244800, failedAssignments=153762, nogoods=2808
485.93/472.20	    
521.34/507.62	    num=77, depth=5118..10920, filters=234328095, revisions=(628518365,useless=401169937), ccks=740602939, wck=502.849, mem=1230M512
521.34/507.62	    decisions=10364590, wrong=4923201, backtracks=10157645, failedAssignments=169151, nogoods=2856
521.34/507.62	    
553.35/539.62	    num=78, depth=6444..10668, filters=234825727, revisions=(649175722,useless=421384028), ccks=744154002, wck=534.846, mem=1343M970
553.35/539.62	    decisions=10445517, wrong=4958437, backtracks=13283145, failedAssignments=186079, nogoods=2901
553.35/539.62	    
707.67/693.87	    num=79, depth=5011..10427, filters=334591563, revisions=(890577968,useless=566008966), ccks=1062055423, wck=689.098, mem=2634M131
707.67/693.87	    decisions=14372756, wrong=6916953, backtracks=15241912, failedAssignments=204700, nogoods=2934
707.67/693.87	    
745.62/731.79	    num=80, depth=6953..10743, filters=334787416, revisions=(909018430,useless=584275072), ccks=1064475786, wck=727.02, mem=855M683
745.62/731.79	    decisions=14432806, wrong=6941753, backtracks=19172310, failedAssignments=225184, nogoods=2964
745.62/731.79	    
788.24/774.31	    num=81, depth=8647..10581, filters=336731374, revisions=(931882681,useless=605282604), ccks=1072870133, wck=769.539, mem=1077M435
788.24/774.31	    decisions=14575808, wrong=7008132, backtracks=23432213, failedAssignments=247716, nogoods=2981
788.24/774.31	    
797.54/783.67	    num=82, depth=8741..10183, filters=341543469, revisions=(945209264,useless=613968621), ccks=1088209261, wck=778.901, mem=1336M146
797.54/783.67	    decisions=14832672, wrong=7131520, backtracks=23533424, failedAssignments=272501, nogoods=3079
797.54/783.67	    
850.79/836.88	    num=83, depth=9092..10399, filters=372354779, revisions=(1015133949,useless=654267161), ccks=1181735313, wck=832.109, mem=1034M960
850.79/836.88	    decisions=16354958, wrong=7887523, backtracks=24288859, failedAssignments=299765, nogoods=3100
850.79/836.88	    
967.91/953.86	    num=84, depth=4798..9920, filters=434604443, revisions=(1214354781,useless=793348164), ccks=1399653288, wck=949.087, mem=1145M98
967.91/953.86	    decisions=19319625, wrong=9365015, backtracks=25765181, failedAssignments=329755, nogoods=3146
967.91/953.86	    
1037.54/1023.46	    num=85, depth=9066..10150, filters=449093405, revisions=(1270648568,useless=835819229), ccks=1446746312, wck=1018.685, mem=2021M317
1037.54/1023.46	    decisions=20226476, wrong=9813508, backtracks=30569780, failedAssignments=362744, nogoods=3230
1037.54/1023.46	    
1101.00/1086.83	    num=86, depth=5148..9864, filters=474117218, revisions=(1358716536,useless=900353355), ccks=1541419369, wck=1082.056, mem=1881M154
1101.00/1086.83	    decisions=22092161, wrong=10741474, backtracks=31494177, failedAssignments=399032, nogoods=3289
1101.00/1086.83	    
1147.06/1132.86	    num=87, depth=5388..9727, filters=497414212, revisions=(1418812691,useless=938190931), ccks=1614789705, wck=1128.085, mem=1539M823
1147.06/1132.86	    decisions=23256829, wrong=11319005, backtracks=32053188, failedAssignments=438949, nogoods=3335
1147.06/1132.86	    
1189.24/1174.99	    num=88, depth=6442..9679, filters=518672914, revisions=(1469030743,useless=967896602), ccks=1679335807, wck=1170.218, mem=1110M478
1189.24/1174.99	    decisions=24453183, wrong=11912412, backtracks=32611635, failedAssignments=482858, nogoods=3418
1189.24/1174.99	    
1221.25/1206.95	    num=89, depth=6728..9706, filters=535400193, revisions=(1510087888,useless=992894620), ccks=1731315821, wck=1202.181, mem=1967M682
1221.25/1206.95	    decisions=25301125, wrong=12331591, backtracks=32998580, failedAssignments=531158, nogoods=3495
1221.25/1206.95	    
1344.13/1329.62	    num=90, depth=7107..9844, filters=603616852, revisions=(1648057801,useless=1065099363), ccks=1927911905, wck=1324.848, mem=1104M361
1344.13/1329.62	    decisions=28831322, wrong=14091814, backtracks=34742014, failedAssignments=584288, nogoods=3558
1344.13/1329.62	    
1459.25/1444.66	    num=91, depth=6567..10169, filters=636593317, revisions=(1768798909,useless=1154579893), ccks=2039672062, wck=1439.894, mem=1796M932
1459.25/1444.66	    decisions=31091727, wrong=15217060, backtracks=40212498, failedAssignments=642731, nogoods=3625
1459.25/1444.66	    
1728.57/1713.68	    num=92, depth=6810..10060, filters=775185062, revisions=(2122093203,useless=1374019238), ccks=2478970637, wck=1708.913, mem=1523M467
1728.57/1713.68	    decisions=37356417, wrong=18344578, backtracks=46547776, failedAssignments=707018, nogoods=3698
1728.57/1713.68	    
2122.09/2106.73	    num=93, depth=2982..9862, filters=1007974202, revisions=(2626639014,useless=1652840144), ccks=3179932916, wck=2101.964, mem=1134M236
2122.09/2106.73	    decisions=47420097, wrong=23371586, backtracks=51571995, failedAssignments=777734, nogoods=3779
2122.09/2106.73	    
2400.08/2384.30	
2400.08/2384.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 (15323 MiB free)
  memory of node 1: 16384 MiB (15382 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391325-1568391211/watcher-4391325-1568391211 -o /tmp/evaluation-result-4391325-1568391211/solver-4391325-1568391211 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568388776-32032 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391325-1568391211.xml -cm 

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

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


[startup+0.100058 s]*
/proc/loadavg: 1.70 1.62 1.61 4/228 32495
/proc/meminfo: memFree=31427256/32770624 swapFree=66995008/67108860
[pid=32480] ppid=32477 vsize=10659884 memory=29288 CPUtime=0.13 cores=0,2,4,6
/proc/32480/stat : 32480 (java) S 32477 32480 29470 0 -1 1077944320 5814 0 0 0 12 1 0 0 20 0 15 0 415372536 10915721216 7322 33554432000 4194304 4196468 140736983706448 140736983688992 140590795738871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
/proc/32480/statm: 2664971 7322 2897 1 0 2627468 0
[pid=32480/tid=32482] ppid=32477 vsize=10659884 memory=-8125511277465210241 CPUtime=0.09 cores=0,2,4,6
/proc/32480/task/32482/stat : 32482 (java) R 32477 32480 29470 0 -1 4202560 3215 0 0 0 8 1 0 0 20 0 15 0 415372536 10915721216 7322 33554432000 4194304 4196468 140736983706448 140590799967928 140590788074443 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32483] ppid=32477 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32483/stat : 32483 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10915721216 7322 33554432000 4194304 4196468 140736983706448 140590402497680 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32484] ppid=32477 vsize=10659884 memory=140206800914048 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32484/stat : 32484 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10915721216 7322 33554432000 4194304 4196468 140736983706448 140590401444880 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32485] ppid=32477 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32485/stat : 32485 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10915721216 7322 33554432000 4194304 4196468 140736983706448 140590400392080 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32486] ppid=32477 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32486/stat : 32486 (java) S 32477 32480 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415372537 10915721216 7322 33554432000 4194304 4196468 140736983706448 140590399339280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32487] ppid=32477 vsize=10659884 memory=140206800914048 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32487/stat : 32487 (java) S 32477 32480 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415372538 10915721216 7322 33554432000 4194304 4196468 140736983706448 140589831547248 140590795750018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32488] ppid=32477 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32488/stat : 32488 (java) S 32477 32480 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415372539 10915721216 7322 33554432000 4194304 4196468 140736983706448 140589830493216 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32489] ppid=32477 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32489/stat : 32489 (java) S 32477 32480 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415372539 10915721216 7322 33554432000 4194304 4196468 140736983706448 140589829440368 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32490] ppid=32477 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32490/stat : 32490 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415372541 10915721216 7322 33554432000 4194304 4196468 140736983706448 140589828388688 140590795757467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32491] ppid=32477 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32491/stat : 32491 (java) S 32477 32480 29470 0 -1 1077944384 578 0 0 0 0 0 0 0 20 0 15 0 415372541 10915721216 7322 33554432000 4194304 4196468 140736983706448 140589827337072 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32492] ppid=32477 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32492/stat : 32492 (java) S 32477 32480 29470 0 -1 1077944384 111 0 0 0 0 0 0 0 20 0 15 0 415372541 10915721216 7322 33554432000 4194304 4196468 140736983706448 140589826284272 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32493] ppid=32477 vsize=10659884 memory=140206800914048 CPUtime=0.02 cores=0,2,4,6
/proc/32480/task/32493/stat : 32493 (java) R 32477 32480 29470 0 -1 4202560 561 0 0 0 2 0 0 0 20 0 15 0 415372541 10915721216 7322 33554432000 4194304 4196468 140736983706448 140589825228152 140590780287913 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32494] ppid=32477 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32494/stat : 32494 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415372541 10915721216 7322 33554432000 4194304 4196468 140736983706448 140589824178912 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32495] ppid=32477 vsize=10659884 memory=140206800914048 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32495/stat : 32495 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372542 10915721216 7322 33554432000 4194304 4196468 140736983706448 140589823126192 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29288 KiB

[startup+0.21067 s]*
/proc/loadavg: 1.70 1.62 1.61 3/228 32495
/proc/meminfo: memFree=31420356/32770624 swapFree=66995008/67108860
[pid=32480] ppid=32477 vsize=10659884 memory=34852 CPUtime=0.33 cores=0,2,4,6
/proc/32480/stat : 32480 (java) S 32477 32480 29470 0 -1 1077944320 6815 0 0 0 31 2 0 0 20 0 15 0 415372536 10915721216 8713 33554432000 4194304 4196468 140736983706448 140736983688992 140590795738871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
/proc/32480/statm: 2664971 8713 2991 1 0 2627468 0
[pid=32480/tid=32482] ppid=32477 vsize=10659884 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/32480/task/32482/stat : 32482 (java) R 32477 32480 29470 0 -1 4202560 3884 0 0 0 19 1 0 0 20 0 15 0 415372536 10915721216 8713 33554432000 4194304 4196468 140736983706448 140590799965232 140590795760797 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32483] ppid=32477 vsize=10659884 memory=343 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32483/stat : 32483 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10915721216 8713 33554432000 4194304 4196468 140736983706448 140590402497680 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32484] ppid=32477 vsize=10659884 memory=140206800943775 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32484/stat : 32484 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10915721216 8713 33554432000 4194304 4196468 140736983706448 140590401444880 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32485] ppid=32477 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32485/stat : 32485 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10915721216 8713 33554432000 4194304 4196468 140736983706448 140590400392080 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32486] ppid=32477 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32486/stat : 32486 (java) S 32477 32480 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415372537 10915721216 8713 33554432000 4194304 4196468 140736983706448 140590399339280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32487] ppid=32477 vsize=10659884 memory=140206800914048 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32487/stat : 32487 (java) S 32477 32480 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415372538 10915721216 8713 33554432000 4194304 4196468 140736983706448 140589831547248 140590795750018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32488] ppid=32477 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32488/stat : 32488 (java) S 32477 32480 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415372539 10915721216 8713 33554432000 4194304 4196468 140736983706448 140589830493216 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32489] ppid=32477 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32489/stat : 32489 (java) S 32477 32480 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415372539 10915721216 8713 33554432000 4194304 4196468 140736983706448 140589829440368 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32490] ppid=32477 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32490/stat : 32490 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415372541 10915721216 8713 33554432000 4194304 4196468 140736983706448 140589828388688 140590795757467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32491] ppid=32477 vsize=10659884 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/32480/task/32491/stat : 32491 (java) S 32477 32480 29470 0 -1 1077944384 786 0 0 0 3 0 0 0 20 0 15 0 415372541 10915721216 8713 33554432000 4194304 4196468 140736983706448 140589827337072 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32492] ppid=32477 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/32480/task/32492/stat : 32492 (java) S 32477 32480 29470 0 -1 1077944384 185 0 0 0 2 0 0 0 20 0 15 0 415372541 10915721216 8713 33554432000 4194304 4196468 140736983706448 140589826284272 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32493] ppid=32477 vsize=10659884 memory=140206800914048 CPUtime=0.05 cores=0,2,4,6
/proc/32480/task/32493/stat : 32493 (java) S 32477 32480 29470 0 -1 1077944384 601 0 0 0 5 0 0 0 20 0 15 0 415372541 10915721216 8713 33554432000 4194304 4196468 140736983706448 140589825231472 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32494] ppid=32477 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32494/stat : 32494 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415372541 10915721216 8713 33554432000 4194304 4196468 140736983706448 140589824178912 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32495] ppid=32477 vsize=10659884 memory=140206800914048 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32495/stat : 32495 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372542 10915721216 8713 33554432000 4194304 4196468 140736983706448 140589823126192 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34852 KiB

[startup+0.310195 s]*
/proc/loadavg: 1.72 1.62 1.61 3/228 32495
/proc/meminfo: memFree=31413004/32770624 swapFree=66995008/67108860
[pid=32480] ppid=32477 vsize=10659884 memory=40028 CPUtime=0.47 cores=0,2,4,6
/proc/32480/stat : 32480 (java) S 32477 32480 29470 0 -1 1077944320 9378 0 0 0 44 3 0 0 20 0 15 0 415372536 10915721216 10007 33554432000 4194304 4196468 140736983706448 140736983688992 140590795738871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
/proc/32480/statm: 2664971 10007 3003 1 0 2627468 0
[pid=32480/tid=32482] ppid=32477 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/32480/task/32482/stat : 32482 (java) R 32477 32480 29470 0 -1 4202560 6362 0 0 0 28 2 0 0 20 0 15 0 415372536 10915721216 10007 33554432000 4194304 4196468 140736983706448 140590799971280 140590795760797 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32483] ppid=32477 vsize=10659884 memory=4297776180 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32483/stat : 32483 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10915721216 10007 33554432000 4194304 4196468 140736983706448 140590402497680 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32484] ppid=32477 vsize=10659884 memory=140206800943717 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32484/stat : 32484 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10915721216 10007 33554432000 4194304 4196468 140736983706448 140590401444880 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32485] ppid=32477 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32485/stat : 32485 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10915721216 10007 33554432000 4194304 4196468 140736983706448 140590400392080 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32486] ppid=32477 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32486/stat : 32486 (java) S 32477 32480 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415372537 10915721216 10007 33554432000 4194304 4196468 140736983706448 140590399339280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32487] ppid=32477 vsize=10659884 memory=140206800914048 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32487/stat : 32487 (java) S 32477 32480 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415372538 10915721216 10007 33554432000 4194304 4196468 140736983706448 140589831547248 140590795750018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32488] ppid=32477 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32488/stat : 32488 (java) S 32477 32480 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415372539 10915721216 10007 33554432000 4194304 4196468 140736983706448 140589830493216 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32489] ppid=32477 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32489/stat : 32489 (java) S 32477 32480 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415372539 10915721216 10007 33554432000 4194304 4196468 140736983706448 140589829440368 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32490] ppid=32477 vsize=10659884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32490/stat : 32490 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415372541 10915721216 10007 33554432000 4194304 4196468 140736983706448 140589828388688 140590795757467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32491] ppid=32477 vsize=10659884 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/32480/task/32491/stat : 32491 (java) R 32477 32480 29470 0 -1 4202560 839 0 0 0 5 0 0 0 20 0 15 0 415372541 10915721216 10007 33554432000 4194304 4196468 140736983706448 140589827337072 140590787757394 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32492] ppid=32477 vsize=10659884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/32480/task/32492/stat : 32492 (java) R 32477 32480 29470 0 -1 1077944384 193 0 0 0 2 0 0 0 20 0 15 0 415372541 10915721216 10007 33554432000 4194304 4196468 140736983706448 140589826284272 140590795750018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32493] ppid=32477 vsize=10659884 memory=140206800914048 CPUtime=0.07 cores=0,2,4,6
/proc/32480/task/32493/stat : 32493 (java) R 32477 32480 29470 0 -1 4202560 625 0 0 0 7 0 0 0 20 0 15 0 415372541 10915721216 10007 33554432000 4194304 4196468 140736983706448 140589825231472 140590795750806 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32494] ppid=32477 vsize=10659884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32494/stat : 32494 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415372541 10915721216 10007 33554432000 4194304 4196468 140736983706448 140589824178912 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32495] ppid=32477 vsize=10659884 memory=140206800914048 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32495/stat : 32495 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372542 10915721216 10007 33554432000 4194304 4196468 140736983706448 140589823126192 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40028 KiB

[startup+0.706846 s]
/proc/loadavg: 1.72 1.62 1.61 3/228 32495
/proc/meminfo: memFree=31406220/32770624 swapFree=66995008/67108860
[pid=32480] ppid=32477 vsize=10661932 memory=62228 CPUtime=1.09 cores=0,2,4,6
/proc/32480/stat : 32480 (java) S 32477 32480 29470 0 -1 1077944320 12684 0 0 0 104 5 0 0 20 0 15 0 415372536 10917818368 15557 33554432000 4194304 4196468 140736983706448 140736983688992 140590795738871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
/proc/32480/statm: 2665483 15557 3072 1 0 2627980 0
[pid=32480/tid=32482] ppid=32477 vsize=10661932 memory=279737259823686 CPUtime=0.69 cores=0,2,4,6
/proc/32480/task/32482/stat : 32482 (java) R 32477 32480 29470 0 -1 4202560 8914 0 0 0 65 4 0 0 20 0 15 0 415372536 10917818368 15557 33554432000 4194304 4196468 140736983706448 140590799970896 140590778925680 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32483] ppid=32477 vsize=10661932 memory=288230376154685133 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32483/stat : 32483 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10917818368 15557 33554432000 4194304 4196468 140736983706448 140590402497680 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32484] ppid=32477 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32484/stat : 32484 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10917818368 15557 33554432000 4194304 4196468 140736983706448 140590401444880 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32485] ppid=32477 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32485/stat : 32485 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10917818368 15557 33554432000 4194304 4196468 140736983706448 140590400392080 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32486] ppid=32477 vsize=10661932 memory=7809523229951467570 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32486/stat : 32486 (java) S 32477 32480 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415372537 10917818368 15557 33554432000 4194304 4196468 140736983706448 140590399339280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32487] ppid=32477 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32487/stat : 32487 (java) S 32477 32480 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415372538 10917818368 15557 33554432000 4194304 4196468 140736983706448 140589831547248 140590795750018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32488] ppid=32477 vsize=10661932 memory=4947374179459833472 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32488/stat : 32488 (java) S 32477 32480 29470 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415372539 10917818368 15557 33554432000 4194304 4196468 140736983706448 140589830493216 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32489] ppid=32477 vsize=10661932 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32489/stat : 32489 (java) S 32477 32480 29470 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415372539 10917818368 15557 33554432000 4194304 4196468 140736983706448 140589829440368 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32490] ppid=32477 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32490/stat : 32490 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415372541 10917818368 15557 33554432000 4194304 4196468 140736983706448 140589828388688 140590795757467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32491] ppid=32477 vsize=10661932 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/32480/task/32491/stat : 32491 (java) R 32477 32480 29470 0 -1 4202560 1095 0 0 0 12 0 0 0 20 0 15 0 415372541 10917818368 15557 33554432000 4194304 4196468 140736983706448 140589827323168 140590775431948 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32492] ppid=32477 vsize=10661932 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/32480/task/32492/stat : 32492 (java) S 32477 32480 29470 0 -1 1077944384 344 0 0 0 7 0 0 0 20 0 15 0 415372541 10917818368 15557 33554432000 4194304 4196468 140736983706448 140589826284272 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32493] ppid=32477 vsize=10661932 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/32480/task/32493/stat : 32493 (java) S 32477 32480 29470 0 -1 1077944384 972 0 0 0 18 0 0 0 20 0 15 0 415372541 10917818368 15557 33554432000 4194304 4196468 140736983706448 140589825231472 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32494] ppid=32477 vsize=10661932 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32494/stat : 32494 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415372541 10917818368 15557 33554432000 4194304 4196468 140736983706448 140589824178912 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32495] ppid=32477 vsize=10661932 memory=6344 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32495/stat : 32495 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372542 10917818368 15557 33554432000 4194304 4196468 140736983706448 140589823126192 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 62228 KiB

[startup+1.50071 s]
/proc/loadavg: 1.72 1.62 1.61 3/228 32495
/proc/meminfo: memFree=31389780/32770624 swapFree=66995008/67108860
[pid=32480] ppid=32477 vsize=10663980 memory=74912 CPUtime=1.97 cores=0,2,4,6
/proc/32480/stat : 32480 (java) S 32477 32480 29470 0 -1 1077944320 16195 0 0 0 192 5 0 0 20 0 15 0 415372536 10919915520 18728 33554432000 4194304 4196468 140736983706448 140736983688992 140590795738871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
/proc/32480/statm: 2665995 18728 3094 1 0 2628492 0
[pid=32480/tid=32482] ppid=32477 vsize=10663980 memory=2809127 CPUtime=1.48 cores=0,2,4,6
/proc/32480/task/32482/stat : 32482 (java) R 32477 32480 29470 0 -1 4202560 11432 0 0 0 144 4 0 0 20 0 15 0 415372536 10919915520 18728 33554432000 4194304 4196468 140736983706448 140590799970896 140590778925701 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32483] ppid=32477 vsize=10663980 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32483/stat : 32483 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10919915520 18728 33554432000 4194304 4196468 140736983706448 140590402497680 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32484] ppid=32477 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32484/stat : 32484 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10919915520 18728 33554432000 4194304 4196468 140736983706448 140590401444880 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32485] ppid=32477 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32485/stat : 32485 (java) S 32477 32480 29470 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415372537 10919915520 18728 33554432000 4194304 4196468 140736983706448 140590400392080 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32486] ppid=32477 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32486/stat : 32486 (java) S 32477 32480 29470 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415372537 10919915520 18728 33554432000 4194304 4196468 140736983706448 140590399339280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32487] ppid=32477 vsize=10663980 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32487/stat : 32487 (java) S 32477 32480 29470 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 415372538 10919915520 18728 33554432000 4194304 4196468 140736983706448 140589831547248 140590795750018 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0

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

/proc/32480/task/32486/stat : 32486 (java) S 32477 32480 29470 0 -1 1077944384 23298 0 0 0 120 42 0 0 20 0 16 0 415372537 11006283776 327434 33554432000 4194304 4196468 140736983706448 140590399339280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32487] ppid=32477 vsize=10748324 memory=1309736 CPUtime=0.15 cores=0,2,4,6
/proc/32480/task/32487/stat : 32487 (java) S 32477 32480 29470 0 -1 1077944384 17378 0 0 0 12 3 0 0 20 0 16 0 415372538 11006283776 327434 33554432000 4194304 4196468 140736983706448 140589831547248 140590795750018 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32488] ppid=32477 vsize=10748324 memory=1309736 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32488/stat : 32488 (java) S 32477 32480 29470 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415372539 11006283776 327434 33554432000 4194304 4196468 140736983706448 140589830493280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32489] ppid=32477 vsize=10748324 memory=1309736 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32489/stat : 32489 (java) S 32477 32480 29470 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 415372539 11006283776 327434 33554432000 4194304 4196468 140736983706448 140589829440384 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32490] ppid=32477 vsize=10748324 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32490/stat : 32490 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415372541 11006283776 327434 33554432000 4194304 4196468 140736983706448 140589828388688 140590795757467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32491] ppid=32477 vsize=10748324 memory=1430808 CPUtime=5.25 cores=0,2,4,6
/proc/32480/task/32491/stat : 32491 (java) S 32477 32480 29470 0 -1 1077944384 23675 0 0 0 522 3 0 0 20 0 16 0 415372541 11006283776 327434 33554432000 4194304 4196468 140736983706448 140589827337072 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32492] ppid=32477 vsize=10748324 memory=2353 CPUtime=3.78 cores=0,2,4,6
/proc/32480/task/32492/stat : 32492 (java) S 32477 32480 29470 0 -1 1077944384 17500 0 0 0 375 3 0 0 20 0 16 0 415372541 11006283776 327434 33554432000 4194304 4196468 140736983706448 140589826284272 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32493] ppid=32477 vsize=10748324 memory=1309736 CPUtime=1.18 cores=0,2,4,6
/proc/32480/task/32493/stat : 32493 (java) S 32477 32480 29470 0 -1 1077944384 16291 0 0 0 114 4 0 0 20 0 16 0 415372541 11006283776 327434 33554432000 4194304 4196468 140736983706448 140589825231472 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32494] ppid=32477 vsize=10748324 memory=1309736 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32494/stat : 32494 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415372541 11006283776 327434 33554432000 4194304 4196468 140736983706448 140589824178912 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32495] ppid=32477 vsize=10748324 memory=1309736 CPUtime=0.65 cores=0,2,4,6
/proc/32480/task/32495/stat : 32495 (java) S 32477 32480 29470 0 -1 1077944384 2450 0 0 0 28 37 0 0 20 0 16 0 415372542 11006283776 327434 33554432000 4194304 4196468 140736983706448 140589823126192 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32496] ppid=32477 vsize=10748324 memory=920 CPUtime=2318.62 cores=0,2,4,6
/proc/32480/task/32496/stat : 32496 (java) R 32477 32480 29470 0 -1 4202560 69702 0 0 0 231834 28 0 0 20 0 16 0 415372725 11006283776 327434 33554432000 4194304 4196468 140736983706448 140589806169216 140590410956373 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
Current children cumulated CPU time: 2337.99 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1309736 KiB

[startup+2382.3 s]
/proc/loadavg: 1.95 1.92 1.91 3/230 330
/proc/meminfo: memFree=28584272/32770624 swapFree=66995056/67108860
[pid=32480] ppid=32477 vsize=10748324 memory=1269724 CPUtime=2398.07 cores=0,2,4,6
/proc/32480/stat : 32480 (java) S 32477 32480 29470 0 -1 1077944320 247713 0 0 0 239559 248 0 0 20 0 16 0 415372536 11006283776 317431 33554432000 4194304 4196468 140736983706448 140736983688992 140590795738871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
/proc/32480/statm: 2687081 317431 3383 1 0 2647217 0
[pid=32480/tid=32482] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.87 cores=0,2,4,6
/proc/32480/task/32482/stat : 32482 (java) S 32477 32480 29470 0 -1 1077944384 13132 0 0 0 180 7 0 0 20 0 16 0 415372536 11006283776 317431 33554432000 4194304 4196468 140736983706448 140590799981744 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32483] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.63 cores=0,2,4,6
/proc/32480/task/32483/stat : 32483 (java) S 32477 32480 29470 0 -1 1077944384 21807 0 0 0 114 49 0 0 20 0 16 0 415372537 11006283776 317431 33554432000 4194304 4196468 140736983706448 140590402497680 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32484] ppid=32477 vsize=10748324 memory=0 CPUtime=1.61 cores=0,2,4,6
/proc/32480/task/32484/stat : 32484 (java) S 32477 32480 29470 0 -1 1077944384 20278 0 0 0 119 42 0 0 20 0 16 0 415372537 11006283776 317431 33554432000 4194304 4196468 140736983706448 140590401444880 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32485] ppid=32477 vsize=10748324 memory=0 CPUtime=1.6 cores=0,2,4,6
/proc/32480/task/32485/stat : 32485 (java) S 32477 32480 29470 0 -1 1077944384 19590 0 0 0 118 42 0 0 20 0 16 0 415372537 11006283776 317431 33554432000 4194304 4196468 140736983706448 140590400392080 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32486] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.65 cores=0,2,4,6
/proc/32480/task/32486/stat : 32486 (java) S 32477 32480 29470 0 -1 1077944384 23933 0 0 0 122 43 0 0 20 0 16 0 415372537 11006283776 317431 33554432000 4194304 4196468 140736983706448 140590399339280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32487] ppid=32477 vsize=10748324 memory=1269724 CPUtime=0.15 cores=0,2,4,6
/proc/32480/task/32487/stat : 32487 (java) S 32477 32480 29470 0 -1 1077944384 17546 0 0 0 12 3 0 0 20 0 16 0 415372538 11006283776 317431 33554432000 4194304 4196468 140736983706448 140589831547248 140590795750018 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32488] ppid=32477 vsize=10748324 memory=140206658120280 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32488/stat : 32488 (java) S 32477 32480 29470 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415372539 11006283776 317431 33554432000 4194304 4196468 140736983706448 140589830493280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32489] ppid=32477 vsize=10748324 memory=2809117 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32489/stat : 32489 (java) S 32477 32480 29470 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 415372539 11006283776 317431 33554432000 4194304 4196468 140736983706448 140589829440384 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32490] ppid=32477 vsize=10748324 memory=1269724 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32490/stat : 32490 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415372541 11006283776 317431 33554432000 4194304 4196468 140736983706448 140589828388688 140590795757467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32491] ppid=32477 vsize=10748324 memory=3632 CPUtime=5.25 cores=0,2,4,6
/proc/32480/task/32491/stat : 32491 (java) S 32477 32480 29470 0 -1 1077944384 23675 0 0 0 522 3 0 0 20 0 16 0 415372541 11006283776 317431 33554432000 4194304 4196468 140736983706448 140589827337072 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32492] ppid=32477 vsize=10748324 memory=1269724 CPUtime=3.78 cores=0,2,4,6
/proc/32480/task/32492/stat : 32492 (java) S 32477 32480 29470 0 -1 1077944384 17500 0 0 0 375 3 0 0 20 0 16 0 415372541 11006283776 317431 33554432000 4194304 4196468 140736983706448 140589826284272 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32493] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.18 cores=0,2,4,6
/proc/32480/task/32493/stat : 32493 (java) S 32477 32480 29470 0 -1 1077944384 16292 0 0 0 114 4 0 0 20 0 16 0 415372541 11006283776 317431 33554432000 4194304 4196468 140736983706448 140589825231472 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32494] ppid=32477 vsize=10748324 memory=1269724 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32494/stat : 32494 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415372541 11006283776 317431 33554432000 4194304 4196468 140736983706448 140589824178912 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32495] ppid=32477 vsize=10748324 memory=1269724 CPUtime=0.66 cores=0,2,4,6
/proc/32480/task/32495/stat : 32495 (java) S 32477 32480 29470 0 -1 1077944384 2478 0 0 0 29 37 0 0 20 0 16 0 415372542 11006283776 317431 33554432000 4194304 4196468 140736983706448 140589823126192 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32496] ppid=32477 vsize=10748324 memory=1269724 CPUtime=2378.58 cores=0,2,4,6
/proc/32480/task/32496/stat : 32496 (java) R 32477 32480 29470 0 -1 4202560 70057 0 0 0 237830 28 0 0 20 0 16 0 415372725 11006283776 317431 33554432000 4194304 4196468 140736983706448 140589806169216 140590408388268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
Current children cumulated CPU time: 2398.07 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1269724 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2384.3 s]
/proc/loadavg: 1.95 1.92 1.91 3/230 330
/proc/meminfo: memFree=28594608/32770624 swapFree=66995056/67108860
[pid=32480] ppid=32477 vsize=10748324 memory=1258952 CPUtime=2400.08 cores=0,2,4,6
/proc/32480/stat : 32480 (java) S 32477 32480 29470 0 -1 1077944320 247734 0 0 0 239760 248 0 0 20 0 16 0 415372536 11006283776 314738 33554432000 4194304 4196468 140736983706448 140736983688992 140590795738871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
/proc/32480/statm: 2687081 314738 3383 1 0 2647217 0
[pid=32480/tid=32482] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.87 cores=0,2,4,6
/proc/32480/task/32482/stat : 32482 (java) S 32477 32480 29470 0 -1 1077944384 13132 0 0 0 180 7 0 0 20 0 16 0 415372536 11006283776 314738 33554432000 4194304 4196468 140736983706448 140590799981744 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32483] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.64 cores=0,2,4,6
/proc/32480/task/32483/stat : 32483 (java) S 32477 32480 29470 0 -1 1077944384 21807 0 0 0 115 49 0 0 20 0 16 0 415372537 11006283776 314738 33554432000 4194304 4196468 140736983706448 140590402497680 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32484] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.62 cores=0,2,4,6
/proc/32480/task/32484/stat : 32484 (java) S 32477 32480 29470 0 -1 1077944384 20278 0 0 0 120 42 0 0 20 0 16 0 415372537 11006283776 314738 33554432000 4194304 4196468 140736983706448 140590401444880 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32485] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.6 cores=0,2,4,6
/proc/32480/task/32485/stat : 32485 (java) S 32477 32480 29470 0 -1 1077944384 19590 0 0 0 118 42 0 0 20 0 16 0 415372537 11006283776 314738 33554432000 4194304 4196468 140736983706448 140590400392080 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32486] ppid=32477 vsize=10748324 memory=1258952 CPUtime=1.65 cores=0,2,4,6
/proc/32480/task/32486/stat : 32486 (java) S 32477 32480 29470 0 -1 1077944384 23933 0 0 0 122 43 0 0 20 0 16 0 415372537 11006283776 314738 33554432000 4194304 4196468 140736983706448 140590399339280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32487] ppid=32477 vsize=10748324 memory=6944656592455359580 CPUtime=0.15 cores=0,2,4,6
/proc/32480/task/32487/stat : 32487 (java) S 32477 32480 29470 0 -1 1077944384 17548 0 0 0 12 3 0 0 20 0 16 0 415372538 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589831547248 140590795750018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32488] ppid=32477 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32488/stat : 32488 (java) S 32477 32480 29470 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415372539 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589830493280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32489] ppid=32477 vsize=10748324 memory=140206658120280 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32489/stat : 32489 (java) S 32477 32480 29470 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 415372539 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589829440384 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32490] ppid=32477 vsize=10748324 memory=2809117 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32490/stat : 32490 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415372541 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589828388688 140590795757467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32491] ppid=32477 vsize=10748324 memory=1269724 CPUtime=5.25 cores=0,2,4,6
/proc/32480/task/32491/stat : 32491 (java) S 32477 32480 29470 0 -1 1077944384 23675 0 0 0 522 3 0 0 20 0 16 0 415372541 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589827337072 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32492] ppid=32477 vsize=10748324 memory=3632 CPUtime=3.78 cores=0,2,4,6
/proc/32480/task/32492/stat : 32492 (java) S 32477 32480 29470 0 -1 1077944384 17500 0 0 0 375 3 0 0 20 0 16 0 415372541 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589826284272 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32493] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.18 cores=0,2,4,6
/proc/32480/task/32493/stat : 32493 (java) S 32477 32480 29470 0 -1 1077944384 16292 0 0 0 114 4 0 0 20 0 16 0 415372541 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589825231472 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32494] ppid=32477 vsize=10748324 memory=1269724 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32494/stat : 32494 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415372541 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589824178912 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32495] ppid=32477 vsize=10748324 memory=1269724 CPUtime=0.66 cores=0,2,4,6
/proc/32480/task/32495/stat : 32495 (java) S 32477 32480 29470 0 -1 1077944384 2478 0 0 0 29 37 0 0 20 0 16 0 415372542 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589823126192 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32496] ppid=32477 vsize=10748324 memory=1269724 CPUtime=2380.57 cores=0,2,4,6
/proc/32480/task/32496/stat : 32496 (java) R 32477 32480 29470 0 -1 4202560 70076 0 0 0 238029 28 0 0 20 0 16 0 415372725 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589806169328 140590410480489 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1258952 KiB

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

[startup+2384.32 s]
# the end of solver process 32480 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2397.62 s, system=2.4905 s

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

[startup+2384.3 s]
/proc/loadavg: 1.95 1.92 1.91 3/230 330
/proc/meminfo: memFree=28594608/32770624 swapFree=66995056/67108860
[pid=32480] ppid=32477 vsize=10748324 memory=1258952 CPUtime=2400.08 cores=0,2,4,6
/proc/32480/stat : 32480 (java) S 32477 32480 29470 0 -1 1077944320 247734 0 0 0 239760 248 0 0 20 0 16 0 415372536 11006283776 314738 33554432000 4194304 4196468 140736983706448 140736983688992 140590795738871 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
/proc/32480/statm: 2687081 314738 3383 1 0 2647217 0
[pid=32480/tid=32482] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.87 cores=0,2,4,6
/proc/32480/task/32482/stat : 32482 (java) S 32477 32480 29470 0 -1 1077944384 13132 0 0 0 180 7 0 0 20 0 16 0 415372536 11006283776 314738 33554432000 4194304 4196468 140736983706448 140590799981744 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32483] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.64 cores=0,2,4,6
/proc/32480/task/32483/stat : 32483 (java) S 32477 32480 29470 0 -1 1077944384 21807 0 0 0 115 49 0 0 20 0 16 0 415372537 11006283776 314738 33554432000 4194304 4196468 140736983706448 140590402497680 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32484] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.62 cores=0,2,4,6
/proc/32480/task/32484/stat : 32484 (java) S 32477 32480 29470 0 -1 1077944384 20278 0 0 0 120 42 0 0 20 0 16 0 415372537 11006283776 314738 33554432000 4194304 4196468 140736983706448 140590401444880 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32485] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.6 cores=0,2,4,6
/proc/32480/task/32485/stat : 32485 (java) S 32477 32480 29470 0 -1 1077944384 19590 0 0 0 118 42 0 0 20 0 16 0 415372537 11006283776 314738 33554432000 4194304 4196468 140736983706448 140590400392080 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32486] ppid=32477 vsize=10748324 memory=1258952 CPUtime=1.65 cores=0,2,4,6
/proc/32480/task/32486/stat : 32486 (java) S 32477 32480 29470 0 -1 1077944384 23933 0 0 0 122 43 0 0 20 0 16 0 415372537 11006283776 314738 33554432000 4194304 4196468 140736983706448 140590399339280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32487] ppid=32477 vsize=10748324 memory=6944656592455359580 CPUtime=0.15 cores=0,2,4,6
/proc/32480/task/32487/stat : 32487 (java) S 32477 32480 29470 0 -1 1077944384 17548 0 0 0 12 3 0 0 20 0 16 0 415372538 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589831547248 140590795750018 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32488] ppid=32477 vsize=10748324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32488/stat : 32488 (java) S 32477 32480 29470 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 415372539 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589830493280 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32489] ppid=32477 vsize=10748324 memory=140206658120280 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32489/stat : 32489 (java) S 32477 32480 29470 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 16 0 415372539 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589829440384 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32490] ppid=32477 vsize=10748324 memory=2809117 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32490/stat : 32490 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415372541 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589828388688 140590795757467 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32491] ppid=32477 vsize=10748324 memory=1269724 CPUtime=5.25 cores=0,2,4,6
/proc/32480/task/32491/stat : 32491 (java) S 32477 32480 29470 0 -1 1077944384 23675 0 0 0 522 3 0 0 20 0 16 0 415372541 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589827337072 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32492] ppid=32477 vsize=10748324 memory=3632 CPUtime=3.78 cores=0,2,4,6
/proc/32480/task/32492/stat : 32492 (java) S 32477 32480 29470 0 -1 1077944384 17500 0 0 0 375 3 0 0 20 0 16 0 415372541 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589826284272 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32493] ppid=32477 vsize=10748324 memory=1269724 CPUtime=1.18 cores=0,2,4,6
/proc/32480/task/32493/stat : 32493 (java) S 32477 32480 29470 0 -1 1077944384 16292 0 0 0 114 4 0 0 20 0 16 0 415372541 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589825231472 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32494] ppid=32477 vsize=10748324 memory=1269724 CPUtime=0 cores=0,2,4,6
/proc/32480/task/32494/stat : 32494 (java) S 32477 32480 29470 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415372541 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589824178912 140590795749077 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32495] ppid=32477 vsize=10748324 memory=1269724 CPUtime=0.66 cores=0,2,4,6
/proc/32480/task/32495/stat : 32495 (java) S 32477 32480 29470 0 -1 1077944384 2478 0 0 0 29 37 0 0 20 0 16 0 415372542 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589823126192 140590795750018 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
[pid=32480/tid=32496] ppid=32477 vsize=10748324 memory=1269724 CPUtime=2380.57 cores=0,2,4,6
/proc/32480/task/32496/stat : 32496 (java) R 32477 32480 29470 0 -1 4202560 70076 0 0 0 238029 28 0 0 20 0 16 0 415372725 11006283776 314738 33554432000 4194304 4196468 140736983706448 140589806169328 140590410480489 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35332096 140736983712779 140736983712882 140736983712882 140736983715791 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 1258952 KiB

Child status: 143
Real time (s): 2384.32
CPU time (s): 2400.11
CPU user time (s): 2397.62
CPU system time (s): 2.4905
CPU usage (%): 100.662
Max. virtual memory (cumulated for all children) (KiB): 10749348
Max. memory (cumulated for all children) (KiB): 2929836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.62
system time used= 2.4905
maximum resident set size= 2948480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 248131
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 56712
involuntary context switches= 2731


# summary of solver processes directly reported to runsolver:
#   pid: 32480
#   total CPU time (s): 2400.11
#   total CPU user time (s): 2397.62
#   total CPU system time (s): 2.4905

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8653 second user time and 21.4041 second system time

The end

Launcher Data 

Begin job on node102 at 2019-09-13 18:12:46
IDJOB=4391325
IDBENCH=139487
IDSOLVER=2833
FILE ID=node102/4391325-1568391211
RUNJOBID= node102-1568388776-32032
PBS_JOBID= 21701852
Free space on /tmp= 59320 MiB

SOLVER NAME= AbsCon 2019-07-23
BENCH NAME= XCSP17/SteelMillSlab/SteelMillSlab-bench_17_11.xml
COMMAND LINE= java -cp AbsCon19-06.jar AbsCon BENCHNAME -cm
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4391325-1568391211/watcher-4391325-1568391211 -o /tmp/evaluation-result-4391325-1568391211/solver-4391325-1568391211 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568388776-32032 --watchdog 2560  java -cp AbsCon19-06.jar AbsCon HOME/instance-4391325-1568391211.xml -cm

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

MD5SUM BENCH= ec43b711d2aa9c243757c5391c9c8921
RANDOM SEED=1026518444

node102.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.13
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.13
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.13
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.13
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:        31443280 kB
MemAvailable:   31714948 kB
Buffers:          147672 kB
Cached:           416624 kB
SwapCached:        10008 kB
Active:           464612 kB
Inactive:         319036 kB
Active(anon):     215980 kB
Inactive(anon):    33644 kB
Active(file):     248632 kB
Inactive(file):   285392 kB
Unevictable:      110464 kB
Mlocked:          110464 kB
SwapTotal:      67108860 kB
SwapFree:       66995008 kB
Dirty:              8376 kB
Writeback:             0 kB
AnonPages:        330396 kB
Mapped:            46816 kB
Shmem:             22040 kB
Slab:             135128 kB
SReclaimable:     106956 kB
SUnreclaim:        28172 kB
KernelStack:        4016 kB
PageTables:         6784 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1183136 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    260096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59312 MiB
End job on node102 at 2019-09-13 18:52:30