2.40/1.89
2.40/1.89 AbsCon 2
2.63/1.90
3.28/2.15 Instance
3.28/2.15 name=instance-4391083-1568391062, framework=COP, bounds=-infty..+infty
3.28/2.15
3.28/2.15 Loading variables...
3.63/2.23 Loading constraints...
4.01/2.37
4.01/2.37 Domains
4.01/2.37 nTypes=23, nValues=15378, sizes=[21#88,22#615]
4.01/2.37 Variables
4.01/2.37 count=703, degrees=[2#682,32#21]
4.01/2.37 Objectives
4.01/2.37 way=min, type=SumSimpleLE
4.01/2.37 Constraints
4.01/2.37 count=684, nSpecific=33, arities=[2#651,21#1,22#31,31#1]
4.01/2.37 distribution=[CtrExtensionV-Bits#651,Minimum#31,OrderedLT#1,SumSimpleLE#1]
4.01/2.37 nExtStructures=(22,shared:629), nCftStructures=(22,shared:629,unbuilt:33)
4.01/2.37 wck=0.509, cpu=2.317, mem=39M724
4.01/2.37 Solver SolverBacktrack being built...
4.01/2.37
4.40/2.41
4.40/2.41 Solver
4.40/2.41 guaranteedGAC=true
4.40/2.41 wck=0.549, cpu=2.355, mem=53M9
4.40/2.43
4.40/2.43 Preprocessing
4.40/2.43 filters=718, revisions=(1191,useless=540), nACremovedValues=13972, nTotalRemovedValues=13972, inconcistency=false
4.40/2.43 wck=0.023, cpu=2.38, mem=53M9
4.40/2.43
4.40/2.46 o 18
4.40/2.47 num=0, depth=704..702, filters=1400, revisions=(1842,useless=540), ccks=684, wck=0.06, mem=53M9
4.40/2.47 decisions=21, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=18
4.40/2.47
4.40/2.48 o 11
4.40/2.48 num=1, depth=704..702, filters=2075, revisions=(3677,useless=1730), ccks=1368, wck=0.071, mem=53M9
4.40/2.48 decisions=30, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=11
4.40/2.48
4.40/2.48 o 2
4.40/2.48 num=2, depth=704..702, filters=2589, revisions=(5261,useless=2821), ccks=2052, wck=0.078, mem=53M9
4.40/2.48 decisions=35, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=3, bestBound=2
4.40/2.48
4.40/2.49
4.40/2.49 New Bounds: 2..1
4.40/2.49 num=3, depth=704..0, filters=2879, revisions=(6563,useless=3844), ccks=2052, wck=0.081, mem=53M9
4.40/2.49 decisions=35, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=3, bestBound=2
4.40/2.49
4.40/2.49 Global
4.40/2.49 filters=2879, revisions=(6563,useless=3844), ccks=2052
4.40/2.49 Stop=FULL_EXPLORATION, wrong=0, bestBound=2, bestBoundWck=0.626, bestBoundCpu=2.432, foundSolutions=3, firstSolCpu=2.404
4.40/2.49 wck=0.631, cpu=2.437, mem=53M9
4.40/2.49
4.40/2.49 v <instantiation id='sol3' type='solution' cost='2'> <list> x[] drd[][] dr[] </list> <values> 32 76 103 377 386 426 442 462 511 535 542 580 604 635 655 687 720 750 761 794 812 503 459 432 158 149 109 93 73 24 0 7 45 69 100 120 152 185 215 226 259 277 762 718 691 417 408 368 352 332 283 259 252 214 190 159 139 107 74 44 33 0 18 623 579 552 278 269 229 213 193 144 120 113 75 51 20 0 32 65 95 106 139 157 354 310 283 9 0 40 56 76 125 149 156 194 218 249 269 301 334 364 375 408 426 510 466 439 165 156 116 100 80 31 7 0 38 62 93 113 145 178 208 219 252 270 729 685 658 384 375 335 319 299 250 226 219 181 157 126 106 74 41 11 0 33 51 572 528 501 227 218 178 162 142 93 69 62 24 0 31 51 83 116 146 157 190 208 572 528 501 227 218 178 162 142 93 69 62 24 0 31 51 83 116 146 157 190 208 603 559 532 258 249 209 193 173 124 100 93 55 31 0 20 52 85 115 126 159 177 0 44 71 345 354 394 410 430 479 503 510 548 572 603 623 655 688 718 729 762 780 0 44 71 345 354 394 410 430 479 503 510 548 572 603 623 655 688 718 729 762 780 410 366 339 65 56 16 0 20 69 93 100 138 162 193 213 245 278 308 319 352 370 44 0 27 301 310 350 366 386 435 459 466 504 528 559 579 611 644 674 685 718 736 44 0 27 301 310 350 366 386 435 459 466 504 528 559 579 611 644 674 685 718 736 479 435 408 134 125 85 69 49 0 24 31 69 93 124 144 176 209 239 250 283 301 479 435 408 134 125 85 69 49 0 24 31 69 93 124 144 176 209 239 250 283 301 548 504 477 203 194 154 138 118 69 45 38 0 24 55 75 107 140 170 181 214 232 550 506 479 205 196 156 140 120 71 47 40 2 22 53 73 105 138 168 179 212 230 688 644 617 343 334 294 278 258 209 185 178 140 116 85 65 33 0 30 41 74 92 688 644 617 343 334 294 278 258 209 185 178 140 116 85 65 33 0 30 41 74 92 71 27 0 274 283 323 339 359 408 432 439 477 501 532 552 584 617 647 658 691 709 71 27 0 274 283 323 339 359 408 432 439 477 501 532 552 584 617 647 658 691 709 394 350 323 49 40 0 16 36 85 109 116 154 178 209 229 261 294 324 335 368 386 394 350 323 49 40 0 16 36 85 109 116 154 178 209 229 261 294 324 335 368 386 655 611 584 310 301 261 245 225 176 152 145 107 83 52 32 0 33 63 74 107 125 655 611 584 310 301 261 245 225 176 152 145 107 83 52 32 0 33 63 74 107 125 345 301 274 0 9 49 65 85 134 158 165 203 227 258 278 310 343 373 384 417 435 718 674 647 373 364 324 308 288 239 215 208 170 146 115 95 63 30 0 11 44 62 430 386 359 85 76 36 20 0 49 73 80 118 142 173 193 225 258 288 299 332 350 430 386 359 85 76 36 20 0 49 73 80 118 142 173 193 225 258 288 299 332 350 780 736 709 435 426 386 370 350 301 277 270 232 208 177 157 125 92 62 51 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 </values> </instantiation>
4.40/2.49 s OPTIMUM FOUND
4.40/2.49
4.40/2.49 d WRONG_DECISIONS 0
4.40/2.49 d NUMBER_SOLUTIONS 3
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 (15019 MiB free)
memory of node 1: 16384 MiB (15563 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4391083-1568391062/watcher-4391083-1568391062 -o /tmp/evaluation-result-4391083-1568391062/solver-4391083-1568391062 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568388596-9576 --watchdog 2560 java -cp AbsCon19-06.jar AbsCon HOME/instance-4391083-1568391062.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=10446, runsolver pid=10443
[startup+0.104119 s]*
/proc/loadavg: 1.83 1.71 1.69 5/233 10461
/proc/meminfo: memFree=31299464/32770624 swapFree=67004048/67108860
[pid=10446] ppid=10443 vsize=10659884 memory=29320 CPUtime=0.14 cores=1,3,5,7
/proc/10446/stat : 10446 (java) S 10443 10446 9544 0 -1 1077944320 5828 0 0 0 13 1 0 0 20 0 15 0 415345790 10915721216 7330 33554432000 4194304 4196468 140730810317600 140730810300144 140691008048887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
/proc/10446/statm: 2664971 7330 2925 1 0 2627468 0
[pid=10446/tid=10448] ppid=10443 vsize=10659884 memory=-8125511277465736064 CPUtime=0.1 cores=1,3,5,7
/proc/10446/task/10448/stat : 10448 (java) R 10443 10446 9544 0 -1 4202560 3405 0 0 0 9 1 0 0 20 0 15 0 415345791 10915721216 7528 33554432000 4194304 4196468 140730810317600 140691012276200 140690597200801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10449] ppid=10443 vsize=10659884 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10449/stat : 10449 (java) S 10443 10446 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415345791 10915721216 7528 33554432000 4194304 4196468 140730810317600 140690934122896 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10450] ppid=10443 vsize=10659884 memory=140257213445760 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10450/stat : 10450 (java) S 10443 10446 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415345791 10915721216 7528 33554432000 4194304 4196468 140730810317600 140690933070096 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10451] ppid=10443 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10451/stat : 10451 (java) S 10443 10446 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415345791 10915721216 7528 33554432000 4194304 4196468 140730810317600 140690932017808 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10452] ppid=10443 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10452/stat : 10452 (java) S 10443 10446 9544 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415345791 10915721216 7528 33554432000 4194304 4196468 140730810317600 140690930965008 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10453] ppid=10443 vsize=10659884 memory=140257213445760 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10453/stat : 10453 (java) S 10443 10446 9544 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415345793 10915721216 7528 33554432000 4194304 4196468 140730810317600 140690499512944 140691008060034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10454] ppid=10443 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10454/stat : 10454 (java) S 10443 10446 9544 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415345793 10915721216 7528 33554432000 4194304 4196468 140730810317600 140690498458912 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10455] ppid=10443 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10455/stat : 10455 (java) S 10443 10446 9544 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415345793 10915721216 7528 33554432000 4194304 4196468 140730810317600 140690497406576 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10456] ppid=10443 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10456/stat : 10456 (java) S 10443 10446 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415345796 10915721216 7528 33554432000 4194304 4196468 140730810317600 140690496354896 140691008067483 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10457] ppid=10443 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10446/task/10457/stat : 10457 (java) R 10443 10446 9544 0 -1 4202560 637 0 0 0 1 0 0 0 20 0 15 0 415345796 10915721216 7528 33554432000 4194304 4196468 140730810317600 140690495282760 140691000338269 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10458] ppid=10443 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10458/stat : 10458 (java) S 10443 10446 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415345796 10915721216 7528 33554432000 4194304 4196468 140730810317600 140690494248944 140691008060034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10459] ppid=10443 vsize=10659884 memory=140257213445760 CPUtime=0.02 cores=1,3,5,7
/proc/10446/task/10459/stat : 10459 (java) R 10443 10446 9544 0 -1 4202560 628 0 0 0 2 0 0 0 20 0 15 0 415345796 10915721216 7528 33554432000 4194304 4196468 140730810317600 140690493192568 140690986990363 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10460] ppid=10443 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10460/stat : 10460 (java) S 10443 10446 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415345796 10915721216 7528 33554432000 4194304 4196468 140730810317600 140690492144096 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10461] ppid=10443 vsize=10659884 memory=140257213445760 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10461/stat : 10461 (java) S 10443 10446 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415345796 10915721216 7528 33554432000 4194304 4196468 140730810317600 140690491091888 140691008060034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 29320 KiB
[startup+0.211382 s]*
/proc/loadavg: 1.83 1.71 1.69 3/233 10461
/proc/meminfo: memFree=31292952/32770624 swapFree=67004048/67108860
[pid=10446] ppid=10443 vsize=10659884 memory=35356 CPUtime=0.31 cores=1,3,5,7
/proc/10446/stat : 10446 (java) S 10443 10446 9544 0 -1 1077944320 6947 0 0 0 30 1 0 0 20 0 15 0 415345790 10915721216 8839 33554432000 4194304 4196468 140730810317600 140730810300144 140691008048887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
/proc/10446/statm: 2664971 8839 2987 1 0 2627468 0
[pid=10446/tid=10448] ppid=10443 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/10446/task/10448/stat : 10448 (java) R 10443 10446 9544 0 -1 4202560 3887 0 0 0 18 1 0 0 20 0 15 0 415345791 10915721216 8839 33554432000 4194304 4196468 140730810317600 140691012280976 140690964658046 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10449] ppid=10443 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10449/stat : 10449 (java) S 10443 10446 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415345791 10915721216 8839 33554432000 4194304 4196468 140730810317600 140690934122896 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10450] ppid=10443 vsize=10659884 memory=140257213456098 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10450/stat : 10450 (java) S 10443 10446 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415345791 10915721216 8839 33554432000 4194304 4196468 140730810317600 140690933070096 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10451] ppid=10443 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10451/stat : 10451 (java) S 10443 10446 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415345791 10915721216 8839 33554432000 4194304 4196468 140730810317600 140690932017808 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10452] ppid=10443 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10452/stat : 10452 (java) S 10443 10446 9544 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415345791 10915721216 8839 33554432000 4194304 4196468 140730810317600 140690930965008 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10453] ppid=10443 vsize=10659884 memory=140257213445760 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10453/stat : 10453 (java) S 10443 10446 9544 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415345793 10915721216 8839 33554432000 4194304 4196468 140730810317600 140690499512944 140691008060034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10454] ppid=10443 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10454/stat : 10454 (java) S 10443 10446 9544 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415345793 10915721216 8839 33554432000 4194304 4196468 140730810317600 140690498458912 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10455] ppid=10443 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10455/stat : 10455 (java) S 10443 10446 9544 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415345793 10915721216 8839 33554432000 4194304 4196468 140730810317600 140690497406576 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10456] ppid=10443 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10456/stat : 10456 (java) S 10443 10446 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415345796 10915721216 8839 33554432000 4194304 4196468 140730810317600 140690496354896 140691008067483 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10457] ppid=10443 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10446/task/10457/stat : 10457 (java) S 10443 10446 9544 0 -1 1077944384 797 0 0 0 3 0 0 0 20 0 15 0 415345796 10915721216 8839 33554432000 4194304 4196468 140730810317600 140690495301744 140691008060034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10458] ppid=10443 vsize=10659884 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/10446/task/10458/stat : 10458 (java) S 10443 10446 9544 0 -1 1077944384 216 0 0 0 2 0 0 0 20 0 15 0 415345796 10915721216 8839 33554432000 4194304 4196468 140730810317600 140690494248944 140691008060034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10459] ppid=10443 vsize=10659884 memory=140257213445760 CPUtime=0.05 cores=1,3,5,7
/proc/10446/task/10459/stat : 10459 (java) S 10443 10446 9544 0 -1 1077944384 688 0 0 0 5 0 0 0 20 0 15 0 415345796 10915721216 8839 33554432000 4194304 4196468 140730810317600 140690493196656 140691008060034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10460] ppid=10443 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10460/stat : 10460 (java) S 10443 10446 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415345796 10915721216 8839 33554432000 4194304 4196468 140730810317600 140690492144096 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10461] ppid=10443 vsize=10659884 memory=140257213445760 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10461/stat : 10461 (java) S 10443 10446 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415345796 10915721216 8839 33554432000 4194304 4196468 140730810317600 140690491091888 140691008060034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 35356 KiB
[startup+0.310285 s]*
/proc/loadavg: 1.83 1.71 1.69 4/233 10461
/proc/meminfo: memFree=31288072/32770624 swapFree=67004048/67108860
[pid=10446] ppid=10443 vsize=10659884 memory=40420 CPUtime=0.46 cores=1,3,5,7
/proc/10446/stat : 10446 (java) S 10443 10446 9544 0 -1 1077944320 9450 0 0 0 43 3 0 0 20 0 15 0 415345790 10915721216 10105 33554432000 4194304 4196468 140730810317600 140730810300144 140691008048887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
/proc/10446/statm: 2664971 10105 2999 1 0 2627468 0
[pid=10446/tid=10448] ppid=10443 vsize=10659884 memory=7311146985107750967 CPUtime=0.29 cores=1,3,5,7
/proc/10446/task/10448/stat : 10448 (java) R 10443 10446 9544 0 -1 4202560 6322 0 0 0 27 2 0 0 20 0 15 0 415345791 10915721216 10105 33554432000 4194304 4196468 140730810317600 140691012269776 140691008070813 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10449] ppid=10443 vsize=10659884 memory=304556157652172823 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10449/stat : 10449 (java) S 10443 10446 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415345791 10915721216 10105 33554432000 4194304 4196468 140730810317600 140690934122896 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10450] ppid=10443 vsize=10659884 memory=15120249399965336 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10450/stat : 10450 (java) S 10443 10446 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415345791 10915721216 10105 33554432000 4194304 4196468 140730810317600 140690933070096 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10451] ppid=10443 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10451/stat : 10451 (java) S 10443 10446 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415345791 10915721216 10105 33554432000 4194304 4196468 140730810317600 140690932017808 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10452] ppid=10443 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10452/stat : 10452 (java) S 10443 10446 9544 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415345791 10915721216 10105 33554432000 4194304 4196468 140730810317600 140690930965008 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10453] ppid=10443 vsize=10659884 memory=140257213445760 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10453/stat : 10453 (java) S 10443 10446 9544 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415345793 10915721216 10105 33554432000 4194304 4196468 140730810317600 140690499512944 140691008060034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10454] ppid=10443 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10454/stat : 10454 (java) S 10443 10446 9544 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415345793 10915721216 10105 33554432000 4194304 4196468 140730810317600 140690498458912 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10455] ppid=10443 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10455/stat : 10455 (java) S 10443 10446 9544 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415345793 10915721216 10105 33554432000 4194304 4196468 140730810317600 140690497406576 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10456] ppid=10443 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10456/stat : 10456 (java) S 10443 10446 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415345796 10915721216 10105 33554432000 4194304 4196468 140730810317600 140690496354896 140691008067483 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10457] ppid=10443 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/10446/task/10457/stat : 10457 (java) S 10443 10446 9544 0 -1 1077944384 805 0 0 0 4 0 0 0 20 0 15 0 415345796 10915721216 10105 33554432000 4194304 4196468 140730810317600 140690495301744 140691008060034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10458] ppid=10443 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/10446/task/10458/stat : 10458 (java) S 10443 10446 9544 0 -1 1077944384 257 0 0 0 4 0 0 0 20 0 15 0 415345796 10915721216 10105 33554432000 4194304 4196468 140730810317600 140690494248944 140691008060034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10459] ppid=10443 vsize=10659884 memory=140257213445760 CPUtime=0.07 cores=1,3,5,7
/proc/10446/task/10459/stat : 10459 (java) R 10443 10446 9544 0 -1 4202560 708 0 0 0 7 0 0 0 20 0 15 0 415345796 10915721216 10105 33554432000 4194304 4196468 140730810317600 140690493196656 140691008070234 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10460] ppid=10443 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10460/stat : 10460 (java) S 10443 10446 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415345796 10915721216 10105 33554432000 4194304 4196468 140730810317600 140690492144096 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10461] ppid=10443 vsize=10659884 memory=140257213445760 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10461/stat : 10461 (java) S 10443 10446 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415345796 10915721216 10105 33554432000 4194304 4196468 140730810317600 140690491091888 140691008060034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
Current children cumulated CPU time: 0.46 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40420 KiB
[startup+0.700715 s]
/proc/loadavg: 1.83 1.71 1.69 3/233 10461
/proc/meminfo: memFree=31275376/32770624 swapFree=67004048/67108860
[pid=10446] ppid=10443 vsize=10661932 memory=61588 CPUtime=1.09 cores=1,3,5,7
/proc/10446/stat : 10446 (java) S 10443 10446 9544 0 -1 1077944320 13060 0 0 0 104 5 0 0 20 0 15 0 415345790 10917818368 15397 33554432000 4194304 4196468 140730810317600 140730810300144 140691008048887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
/proc/10446/statm: 2665483 15397 3060 1 0 2627980 0
[pid=10446/tid=10448] ppid=10443 vsize=10661932 memory=1220 CPUtime=0.67 cores=1,3,5,7
/proc/10446/task/10448/stat : 10448 (java) R 10443 10446 9544 0 -1 4202560 8861 0 0 0 63 4 0 0 20 0 15 0 415345791 10917818368 15397 33554432000 4194304 4196468 140730810317600 140691012280912 140690993478236 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10449] ppid=10443 vsize=10661932 memory=1616 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10449/stat : 10449 (java) S 10443 10446 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415345791 10917818368 15397 33554432000 4194304 4196468 140730810317600 140690934122896 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10450] ppid=10443 vsize=10661932 memory=784 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10450/stat : 10450 (java) S 10443 10446 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415345791 10917818368 15397 33554432000 4194304 4196468 140730810317600 140690933070096 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10451] ppid=10443 vsize=10661932 memory=8252 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10451/stat : 10451 (java) S 10443 10446 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415345791 10917818368 15397 33554432000 4194304 4196468 140730810317600 140690932017808 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10452] ppid=10443 vsize=10661932 memory=5920 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10452/stat : 10452 (java) S 10443 10446 9544 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415345791 10917818368 15397 33554432000 4194304 4196468 140730810317600 140690930965008 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10453] ppid=10443 vsize=10661932 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10453/stat : 10453 (java) S 10443 10446 9544 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415345793 10917818368 15397 33554432000 4194304 4196468 140730810317600 140690499512944 140691008060034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10454] ppid=10443 vsize=10661932 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10454/stat : 10454 (java) S 10443 10446 9544 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415345793 10917818368 15397 33554432000 4194304 4196468 140730810317600 140690498458912 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10455] ppid=10443 vsize=10661932 memory=728 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10455/stat : 10455 (java) S 10443 10446 9544 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415345793 10917818368 15397 33554432000 4194304 4196468 140730810317600 140690497406576 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10456] ppid=10443 vsize=10661932 memory=4000 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10456/stat : 10456 (java) S 10443 10446 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415345796 10917818368 15397 33554432000 4194304 4196468 140730810317600 140690496354896 140691008067483 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10457] ppid=10443 vsize=10661932 memory=7236533984234661184 CPUtime=0.11 cores=1,3,5,7
/proc/10446/task/10457/stat : 10457 (java) S 10443 10446 9544 0 -1 1077944384 1104 0 0 0 11 0 0 0 20 0 15 0 415345796 10917818368 15397 33554432000 4194304 4196468 140730810317600 140690495301744 140691008060034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10458] ppid=10443 vsize=10661932 memory=7380106142448642414 CPUtime=0.1 cores=1,3,5,7
/proc/10446/task/10458/stat : 10458 (java) S 10443 10446 9544 0 -1 1077944384 574 0 0 0 10 0 0 0 20 0 15 0 415345796 10917818368 15397 33554432000 4194304 4196468 140730810317600 140690494248944 140691008060034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10459] ppid=10443 vsize=10661932 memory=5859271421084194152 CPUtime=0.18 cores=1,3,5,7
/proc/10446/task/10459/stat : 10459 (java) S 10443 10446 9544 0 -1 1077944384 1161 0 0 0 18 0 0 0 20 0 15 0 415345796 10917818368 15397 33554432000 4194304 4196468 140730810317600 140690493196656 140691008060034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10460] ppid=10443 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10460/stat : 10460 (java) S 10443 10446 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415345796 10917818368 15397 33554432000 4194304 4196468 140730810317600 140690492144096 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10461] ppid=10443 vsize=10661932 memory=31396 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10461/stat : 10461 (java) S 10443 10446 9544 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415345796 10917818368 15397 33554432000 4194304 4196468 140730810317600 140690491091888 140691008060034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 61588 KiB
[startup+1.50072 s]
/proc/loadavg: 1.83 1.71 1.69 3/233 10461
/proc/meminfo: memFree=31259596/32770624 swapFree=67004048/67108860
[pid=10446] ppid=10443 vsize=10663980 memory=75868 CPUtime=1.99 cores=1,3,5,7
/proc/10446/stat : 10446 (java) S 10443 10446 9544 0 -1 1077944320 18728 0 0 0 193 6 0 0 20 0 15 0 415345790 10919915520 18967 33554432000 4194304 4196468 140730810317600 140730810300144 140691008048887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
/proc/10446/statm: 2665995 18967 3090 1 0 2628492 0
[pid=10446/tid=10448] ppid=10443 vsize=10663980 memory=0 CPUtime=1.46 cores=1,3,5,7
/proc/10446/task/10448/stat : 10448 (java) R 10443 10446 9544 0 -1 4202560 13043 0 0 0 142 4 0 0 20 0 15 0 415345791 10919915520 18967 33554432000 4194304 4196468 140730810317600 140691012280912 140691008070813 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10449] ppid=10443 vsize=10663980 memory=8390361644446492005 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10449/stat : 10449 (java) S 10443 10446 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415345791 10919915520 18967 33554432000 4194304 4196468 140730810317600 140690934122896 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10450] ppid=10443 vsize=10663980 memory=-6352177149651680470 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10450/stat : 10450 (java) S 10443 10446 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415345791 10919915520 18967 33554432000 4194304 4196468 140730810317600 140690933070096 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10451] ppid=10443 vsize=10663980 memory=8514701219931451533 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10451/stat : 10451 (java) S 10443 10446 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415345791 10919915520 18967 33554432000 4194304 4196468 140730810317600 140690932017808 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10452] ppid=10443 vsize=10663980 memory=7005738693937936738 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10452/stat : 10452 (java) S 10443 10446 9544 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415345791 10919915520 18967 33554432000 4194304 4196468 140730810317600 140690930965008 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10453] ppid=10443 vsize=10663980 memory=-7165351541977658656 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10453/stat : 10453 (java) S 10443 10446 9544 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 415345793 10919915520 18967 33554432000 4194304 4196468 140730810317600 140690499512944 140691008060034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
################
# More data... #
################
[startup+2.51133 s]
# the end of solver process 10446 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.58552 s, system=0.136153 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60085 s]
/proc/loadavg: 1.83 1.71 1.69 3/233 10461
/proc/meminfo: memFree=31259596/32770624 swapFree=67004048/67108860
[pid=10446] ppid=10443 vsize=10666028 memory=76872 CPUtime=2.1 cores=1,3,5,7
/proc/10446/stat : 10446 (java) S 10443 10446 9544 0 -1 1077944320 19101 0 0 0 204 6 0 0 20 0 15 0 415345790 10922012672 19218 33554432000 4194304 4196468 140730810317600 140730810300144 140691008048887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
/proc/10446/statm: 2666507 19218 3090 1 0 2629004 0
[pid=10446/tid=10448] ppid=10443 vsize=10666028 memory=0 CPUtime=1.57 cores=1,3,5,7
/proc/10446/task/10448/stat : 10448 (java) R 10443 10446 9544 0 -1 4202560 13404 0 0 0 152 5 0 0 20 0 15 0 415345791 10922012672 19218 33554432000 4194304 4196468 140730810317600 140691012280912 140691001145481 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10449] ppid=10443 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10449/stat : 10449 (java) S 10443 10446 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415345791 10922012672 19218 33554432000 4194304 4196468 140730810317600 140690934122896 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10450] ppid=10443 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10450/stat : 10450 (java) S 10443 10446 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415345791 10922012672 19218 33554432000 4194304 4196468 140730810317600 140690933070096 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10451] ppid=10443 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10451/stat : 10451 (java) S 10443 10446 9544 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 415345791 10922012672 19218 33554432000 4194304 4196468 140730810317600 140690932017808 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10452] ppid=10443 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10452/stat : 10452 (java) S 10443 10446 9544 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 415345791 10922012672 19218 33554432000 4194304 4196468 140730810317600 140690930965008 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10453] ppid=10443 vsize=10666028 memory=140257213447473 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10453/stat : 10453 (java) S 10443 10446 9544 0 -1 1077944384 130 0 0 0 0 0 0 0 20 0 15 0 415345793 10922012672 19218 33554432000 4194304 4196468 140730810317600 140690499512944 140691008060034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10454] ppid=10443 vsize=10666028 memory=7090743140740983914 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10454/stat : 10454 (java) S 10443 10446 9544 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 415345793 10922012672 19218 33554432000 4194304 4196468 140730810317600 140690498458912 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10455] ppid=10443 vsize=10666028 memory=6082514196445294695 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10455/stat : 10455 (java) S 10443 10446 9544 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 415345793 10922012672 19218 33554432000 4194304 4196468 140730810317600 140690497406576 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10456] ppid=10443 vsize=10666028 memory=4640204396461838434 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10456/stat : 10456 (java) S 10443 10446 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415345796 10922012672 19218 33554432000 4194304 4196468 140730810317600 140690496354896 140691008067483 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10457] ppid=10443 vsize=10666028 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/10446/task/10457/stat : 10457 (java) S 10443 10446 9544 0 -1 1077944384 1495 0 0 0 15 0 0 0 20 0 15 0 415345796 10922012672 19218 33554432000 4194304 4196468 140730810317600 140690495301744 140691008060034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10458] ppid=10443 vsize=10666028 memory=185152349259796 CPUtime=0.17 cores=1,3,5,7
/proc/10446/task/10458/stat : 10458 (java) S 10443 10446 9544 0 -1 1077944384 1543 0 0 0 17 0 0 0 20 0 15 0 415345796 10922012672 19218 33554432000 4194304 4196468 140730810317600 140690494248944 140691008060034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10459] ppid=10443 vsize=10666028 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/10446/task/10459/stat : 10459 (java) S 10443 10446 9544 0 -1 1077944384 1163 0 0 0 18 0 0 0 20 0 15 0 415345796 10922012672 19218 33554432000 4194304 4196468 140730810317600 140690493196656 140691008060034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10460] ppid=10443 vsize=10666028 memory=-1161699032755887456 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10460/stat : 10460 (java) S 10443 10446 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 415345796 10922012672 19218 33554432000 4194304 4196468 140730810317600 140690492144096 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10461] ppid=10443 vsize=10666028 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10461/stat : 10461 (java) S 10443 10446 9544 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 415345796 10922012672 19218 33554432000 4194304 4196468 140730810317600 140690491091888 140691008060034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
Current children cumulated CPU time: 2.1 s
Current children cumulated vsize: 10666028 KiB
Current children cumulated memory: 76872 KiB
[startup+2.00445 s]*
/proc/loadavg: 1.83 1.71 1.69 6/234 10462
/proc/meminfo: memFree=31182388/32770624 swapFree=67004048/67108860
[pid=10446] ppid=10443 vsize=10744136 memory=145588 CPUtime=2.9 cores=1,3,5,7
/proc/10446/stat : 10446 (java) S 10443 10446 9544 0 -1 1077944320 23649 0 0 0 280 10 0 0 20 0 16 0 415345790 11001995264 36397 33554432000 4194304 4196468 140730810317600 140730810300144 140691008048887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
/proc/10446/statm: 2686034 36397 3303 1 0 2646705 0
[pid=10446/tid=10448] ppid=10443 vsize=10744136 memory=750208926195646769 CPUtime=1.86 cores=1,3,5,7
/proc/10446/task/10448/stat : 10448 (java) S 10443 10446 9544 0 -1 1077944384 15305 0 0 0 180 6 0 0 20 0 16 0 415345791 11001995264 36397 33554432000 4194304 4196468 140730810317600 140691012291760 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10449] ppid=10443 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10449/stat : 10449 (java) S 10443 10446 9544 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 16 0 415345791 11001995264 36397 33554432000 4194304 4196468 140730810317600 140690934122896 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10450] ppid=10443 vsize=10744136 memory=16246149306807960 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10450/stat : 10450 (java) S 10443 10446 9544 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 415345791 11001995264 36397 33554432000 4194304 4196468 140730810317600 140690933070096 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10451] ppid=10443 vsize=10744136 memory=5450916471307728426 CPUtime=0.01 cores=1,3,5,7
/proc/10446/task/10451/stat : 10451 (java) S 10443 10446 9544 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 16 0 415345791 11001995264 36397 33554432000 4194304 4196468 140730810317600 140690932017808 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10452] ppid=10443 vsize=10744136 memory=4628420188144366477 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10452/stat : 10452 (java) S 10443 10446 9544 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 415345791 11001995264 36397 33554432000 4194304 4196468 140730810317600 140690930965008 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10453] ppid=10443 vsize=10744136 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10446/task/10453/stat : 10453 (java) S 10443 10446 9544 0 -1 1077944384 1128 0 0 0 1 0 0 0 20 0 16 0 415345793 11001995264 36397 33554432000 4194304 4196468 140730810317600 140690499512944 140691008060034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10454] ppid=10443 vsize=10744136 memory=3472328296225127020 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10454/stat : 10454 (java) S 10443 10446 9544 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415345793 11001995264 36397 33554432000 4194304 4196468 140730810317600 140690498458976 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10455] ppid=10443 vsize=10744136 memory=4945125699554088323 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10455/stat : 10455 (java) S 10443 10446 9544 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415345793 11001995264 36397 33554432000 4194304 4196468 140730810317600 140690497406592 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10456] ppid=10443 vsize=10744136 memory=-7088785026379990432 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10456/stat : 10456 (java) S 10443 10446 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415345796 11001995264 36397 33554432000 4194304 4196468 140730810317600 140690496354896 140691008067483 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10457] ppid=10443 vsize=10744136 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/10446/task/10457/stat : 10457 (java) S 10443 10446 9544 0 -1 1077944384 1691 0 0 0 29 0 0 0 20 0 16 0 415345796 11001995264 36397 33554432000 4194304 4196468 140730810317600 140690495301744 140691008060034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10458] ppid=10443 vsize=10744136 memory=3472328296227418159 CPUtime=0.28 cores=1,3,5,7
/proc/10446/task/10458/stat : 10458 (java) R 10443 10446 9544 0 -1 1077944384 1644 0 0 0 28 0 0 0 20 0 16 0 415345796 11001995264 36397 33554432000 4194304 4196468 140730810317600 140690494249040 140691008059093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10459] ppid=10443 vsize=10744136 memory=3471342653534283440 CPUtime=0.28 cores=1,3,5,7
/proc/10446/task/10459/stat : 10459 (java) R 10443 10446 9544 0 -1 4202560 1499 0 0 0 28 0 0 0 20 0 16 0 415345796 11001995264 36397 33554432000 4194304 4196468 140730810317600 140690493193088 140690986730227 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10460] ppid=10443 vsize=10744136 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10460/stat : 10460 (java) S 10443 10446 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415345796 11001995264 36397 33554432000 4194304 4196468 140730810317600 140690492144096 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10461] ppid=10443 vsize=10744136 memory=3472468553441126064 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10461/stat : 10461 (java) S 10443 10446 9544 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 415345796 11001995264 36397 33554432000 4194304 4196468 140730810317600 140690491091888 140691008060034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10462] ppid=10443 vsize=10744136 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10446/task/10462/stat : 10462 (java) S 10443 10446 9544 0 -1 1077944384 743 0 0 0 8 0 0 0 20 0 16 0 415345979 11001995264 36397 33554432000 4194304 4196468 140730810317600 140690474427136 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 10744136 KiB
Current children cumulated memory: 145588 KiB
[startup+2.40739 s]
/proc/loadavg: 1.83 1.71 1.69 6/234 10462
/proc/meminfo: memFree=31182388/32770624 swapFree=67004048/67108860
[pid=10446] ppid=10443 vsize=10748324 memory=169472 CPUtime=4.4 cores=1,3,5,7
/proc/10446/stat : 10446 (java) S 10443 10446 9544 0 -1 1077944320 30101 0 0 0 429 11 0 0 20 0 16 0 415345790 11006283776 42368 33554432000 4194304 4196468 140730810317600 140730810300144 140691008048887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
/proc/10446/statm: 2687081 42368 3344 1 0 2647217 0
[pid=10446/tid=10448] ppid=10443 vsize=10748324 memory=1744 CPUtime=1.86 cores=1,3,5,7
/proc/10446/task/10448/stat : 10448 (java) S 10443 10446 9544 0 -1 1077944384 15305 0 0 0 180 6 0 0 20 0 16 0 415345791 11006283776 42368 33554432000 4194304 4196468 140730810317600 140691012291760 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10449] ppid=10443 vsize=10748324 memory=792 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10449/stat : 10449 (java) S 10443 10446 9544 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 16 0 415345791 11006283776 42368 33554432000 4194304 4196468 140730810317600 140690934122896 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10450] ppid=10443 vsize=10748324 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10450/stat : 10450 (java) S 10443 10446 9544 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 415345791 11006283776 42368 33554432000 4194304 4196468 140730810317600 140690933070096 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10451] ppid=10443 vsize=10748324 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10446/task/10451/stat : 10451 (java) S 10443 10446 9544 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 16 0 415345791 11006283776 42368 33554432000 4194304 4196468 140730810317600 140690932017808 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10452] ppid=10443 vsize=10748324 memory=-7088785026379990432 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10452/stat : 10452 (java) S 10443 10446 9544 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 415345791 11006283776 42368 33554432000 4194304 4196468 140730810317600 140690930965008 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10453] ppid=10443 vsize=10748324 memory=-6873162000112450758 CPUtime=0.01 cores=1,3,5,7
/proc/10446/task/10453/stat : 10453 (java) S 10443 10446 9544 0 -1 1077944384 1128 0 0 0 1 0 0 0 20 0 16 0 415345793 11006283776 42368 33554432000 4194304 4196468 140730810317600 140690499512944 140691008060034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10454] ppid=10443 vsize=10748324 memory=-7812193691855986592 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10454/stat : 10454 (java) S 10443 10446 9544 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 415345793 11006283776 42368 33554432000 4194304 4196468 140730810317600 140690498458976 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10455] ppid=10443 vsize=10748324 memory=6944656592455360608 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10455/stat : 10455 (java) S 10443 10446 9544 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 415345793 11006283776 42368 33554432000 4194304 4196468 140730810317600 140690497406592 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10456] ppid=10443 vsize=10748324 memory=6297269596500874852 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10456/stat : 10456 (java) S 10443 10446 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415345796 11006283776 42368 33554432000 4194304 4196468 140730810317600 140690496354896 140691008067483 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10457] ppid=10443 vsize=10748324 memory=7156904152569768529 CPUtime=0.67 cores=1,3,5,7
/proc/10446/task/10457/stat : 10457 (java) R 10443 10446 9544 0 -1 4202560 3617 0 0 0 67 0 0 0 20 0 16 0 415345796 11006283776 42368 33554432000 4194304 4196468 140730810317600 140690495287624 140690989569768 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10458] ppid=10443 vsize=10748324 memory=7956840643200379495 CPUtime=0.66 cores=1,3,5,7
/proc/10446/task/10458/stat : 10458 (java) R 10443 10446 9544 0 -1 4202560 3034 0 0 0 66 0 0 0 20 0 16 0 415345796 11006283776 42368 33554432000 4194304 4196468 140730810317600 140690494234912 140690991436109 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10459] ppid=10443 vsize=10748324 memory=7670028624147732842 CPUtime=0.62 cores=1,3,5,7
/proc/10446/task/10459/stat : 10459 (java) R 10443 10446 9544 0 -1 4202560 3486 0 0 0 61 1 0 0 20 0 16 0 415345796 11006283776 42368 33554432000 4194304 4196468 140730810317600 140690493195840 140691001145723 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10460] ppid=10443 vsize=10748324 memory=7450740938427623264 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10460/stat : 10460 (java) S 10443 10446 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 415345796 11006283776 42368 33554432000 4194304 4196468 140730810317600 140690492144096 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10461] ppid=10443 vsize=10748324 memory=7378401869413117540 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10461/stat : 10461 (java) S 10443 10446 9544 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 415345796 11006283776 42368 33554432000 4194304 4196468 140730810317600 140690491091888 140691008060034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10462] ppid=10443 vsize=10748324 memory=7306062809004993641 CPUtime=0.47 cores=1,3,5,7
/proc/10446/task/10462/stat : 10462 (java) R 10443 10446 9544 0 -1 4202560 1894 0 0 0 47 0 0 0 20 0 16 0 415345979 11006283776 42368 33554432000 4194304 4196468 140730810317600 140690474427024 140690992092517 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
Current children cumulated CPU time: 4.4 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 169472 KiB
[startup+2.50069 s]
/proc/loadavg: 1.83 1.71 1.69 6/234 10462
/proc/meminfo: memFree=31182388/32770624 swapFree=67004048/67108860
[pid=10446] ppid=10443 vsize=10814888 memory=169052 CPUtime=4.71 cores=1,3,5,7
/proc/10446/stat : 10446 (java) S 10443 10446 9544 0 -1 1077944320 32090 0 0 0 458 13 0 0 20 0 13 0 415345790 11074445312 42263 33554432000 4194304 4196468 140730810317600 140730810300144 140691008048887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
/proc/10446/statm: 2703722 42263 3347 1 0 2663858 0
[pid=10446/tid=10448] ppid=10443 vsize=10814888 memory=288230574492221466 CPUtime=1.86 cores=1,3,5,7
/proc/10446/task/10448/stat : 10448 (java) S 10443 10446 9544 0 -1 1077944384 15310 0 0 0 180 6 0 0 20 0 13 0 415345791 11074445312 42263 33554432000 4194304 4196468 140730810317600 140691012291728 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10449] ppid=10443 vsize=10814888 memory=280514112266048 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10449/stat : 10449 (java) S 10443 10446 9544 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 13 0 415345791 11074445312 42263 33554432000 4194304 4196468 140730810317600 140690934122896 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10450] ppid=10443 vsize=10814888 memory=8257237230052613020 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10450/stat : 10450 (java) S 10443 10446 9544 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 13 0 415345791 11074445312 42263 33554432000 4194304 4196468 140730810317600 140690933070096 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10451] ppid=10443 vsize=10814888 memory=-7233780906022716832 CPUtime=0.01 cores=1,3,5,7
/proc/10446/task/10451/stat : 10451 (java) S 10443 10446 9544 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 13 0 415345791 11074445312 42263 33554432000 4194304 4196468 140730810317600 140690932017808 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10452] ppid=10443 vsize=10814888 memory=-7173504570862900581 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10452/stat : 10452 (java) S 10443 10446 9544 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 13 0 415345791 11074445312 42263 33554432000 4194304 4196468 140730810317600 140690930965008 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10453] ppid=10443 vsize=10814888 memory=6943526294502006880 CPUtime=0.01 cores=1,3,5,7
/proc/10446/task/10453/stat : 10453 (java) S 10443 10446 9544 0 -1 1077944384 1128 0 0 0 1 0 0 0 20 0 13 0 415345793 11074445312 42263 33554432000 4194304 4196468 140730810317600 140690499513152 140691008060034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10454] ppid=10443 vsize=10814888 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10454/stat : 10454 (java) S 10443 10446 9544 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 13 0 415345793 11074445312 42263 33554432000 4194304 4196468 140730810317600 140690498458976 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10455] ppid=10443 vsize=10814888 memory=1212 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10455/stat : 10455 (java) S 10443 10446 9544 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 13 0 415345793 11074445312 42263 33554432000 4194304 4196468 140730810317600 140690497406592 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10457] ppid=10443 vsize=10814888 memory=14008 CPUtime=0.76 cores=1,3,5,7
/proc/10446/task/10457/stat : 10457 (java) S 10443 10446 9544 0 -1 1077944384 3657 0 0 0 76 0 0 0 20 0 13 0 415345796 11074445312 42263 33554432000 4194304 4196468 140730810317600 140690495282144 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10458] ppid=10443 vsize=10814888 memory=12024 CPUtime=0.75 cores=1,3,5,7
/proc/10446/task/10458/stat : 10458 (java) S 10443 10446 9544 0 -1 1077944384 3069 0 0 0 74 1 0 0 20 0 13 0 415345796 11074445312 42263 33554432000 4194304 4196468 140730810317600 140690494233456 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10459] ppid=10443 vsize=10814888 memory=2116 CPUtime=0.67 cores=1,3,5,7
/proc/10446/task/10459/stat : 10459 (java) S 10443 10446 9544 0 -1 1077944384 3604 0 0 0 66 1 0 0 20 0 13 0 415345796 11074445312 42263 33554432000 4194304 4196468 140730810317600 140690493196656 140691008060034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
[pid=10446/tid=10460] ppid=10443 vsize=10814888 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10446/task/10460/stat : 10460 (java) S 10443 10446 9544 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 415345796 11074445312 42263 33554432000 4194304 4196468 140730810317600 140690492144096 140691008059093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37662720 140730810323979 140730810324082 140730810324082 140730810326991 0
Current children cumulated CPU time: 4.71 s
Current children cumulated vsize: 10814888 KiB
Current children cumulated memory: 169052 KiB
Child status: 0
Real time (s): 2.51137
CPU time (s): 4.72168
CPU user time (s): 4.58552
CPU system time (s): 0.136153
CPU usage (%): 188.012
Max. virtual memory (cumulated for all children) (KiB): 10814888
Max. memory (cumulated for all children) (KiB): 169472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.58552
system time used= 0.136153
maximum resident set size= 169980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32108
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1988
involuntary context switches= 27
# summary of solver processes directly reported to runsolver:
# pid: 10446
# total CPU time (s): 4.72168
# total CPU user time (s): 4.58552
# total CPU system time (s): 0.136153
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.045051 second user time and 0.061814 second system time
The end