2.39/1.88
2.39/1.88 AbsCon 2
2.64/1.90
3.31/2.14 Instance
3.31/2.14 name=instance-4390783-1568385550, framework=COP, bounds=-infty..+infty
3.31/2.14
3.31/2.14 Loading variables...
3.64/2.23 Loading constraints...
4.02/2.37
4.02/2.37 Domains
4.02/2.37 nTypes=23, nValues=15378, sizes=[21#88,22#615]
4.02/2.37 Variables
4.02/2.37 count=703, degrees=[2#682,32#21]
4.02/2.37 Objectives
4.02/2.37 way=min, type=SumSimpleLE
4.02/2.37 Constraints
4.02/2.37 count=684, nSpecific=33, arities=[2#651,21#1,22#31,31#1]
4.02/2.37 distribution=[CtrExtensionV-Bits#651,Minimum#31,OrderedLT#1,SumSimpleLE#1]
4.02/2.37 nExtStructures=(22,shared:629), nCftStructures=(22,shared:629,unbuilt:33)
4.02/2.37 wck=0.511, cpu=2.319, mem=39M724
4.02/2.37 Solver SolverBacktrack being built...
4.02/2.37
4.39/2.40
4.39/2.40 Solver
4.39/2.40 guaranteedGAC=true
4.39/2.40 wck=0.549, cpu=2.356, mem=53M9
4.39/2.43
4.39/2.43 Preprocessing
4.39/2.43 filters=718, revisions=(1191,useless=540), nACremovedValues=13972, nTotalRemovedValues=13972, inconcistency=false
4.39/2.43 wck=0.022, cpu=2.38, mem=53M9
4.39/2.43
4.39/2.45 o 18
4.39/2.46 num=0, depth=704..702, filters=1400, revisions=(1842,useless=540), ccks=684, wck=0.059, mem=53M9
4.39/2.46 decisions=21, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=1, bestBound=18
4.39/2.46
4.39/2.47 o 11
4.39/2.47 num=1, depth=704..702, filters=2075, revisions=(3677,useless=1730), ccks=1368, wck=0.069, mem=53M9
4.39/2.47 decisions=30, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=2, bestBound=11
4.39/2.47
4.39/2.48 o 2
4.39/2.48 num=2, depth=704..702, filters=2589, revisions=(5261,useless=2821), ccks=2052, wck=0.076, mem=53M9
4.39/2.48 decisions=35, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=3, bestBound=2
4.39/2.48
4.39/2.48
4.39/2.48 New Bounds: 2..1
4.39/2.48 num=3, depth=704..0, filters=2879, revisions=(6563,useless=3844), ccks=2052, wck=0.079, mem=53M9
4.39/2.48 decisions=35, wrong=0, backtracks=0, failedAssignments=0, foundSolutions=3, bestBound=2
4.39/2.48
4.39/2.48 Global
4.39/2.48 filters=2879, revisions=(6563,useless=3844), ccks=2052
4.39/2.48 Stop=FULL_EXPLORATION, wrong=0, bestBound=2, bestBoundWck=0.624, bestBoundCpu=2.43, foundSolutions=3, firstSolCpu=2.403
4.39/2.48 wck=0.629, cpu=2.435, mem=53M9
4.39/2.48
4.39/2.48 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.39/2.48 s OPTIMUM FOUND
4.39/2.48
4.39/2.48 d WRONG_DECISIONS 0
4.39/2.48 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 (9116 MiB free)
memory of node 1: 16384 MiB (15350 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390783-1568385550/watcher-4390783-1568385550 -o /tmp/evaluation-result-4390783-1568385550/solver-4390783-1568385550 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568376300-2212 --watchdog 2580 java -cp AbsCon19-06.jar AbsCon HOME/instance-4390783-1568385550.xml -cm
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=3086, runsolver pid=3083
Current StackSize limit: 8192 KiB
[startup+0.101252 s]*
/proc/loadavg: 1.75 1.80 1.84 5/226 3101
/proc/meminfo: memFree=25031176/32770624 swapFree=66977616/67108860
[pid=3086] ppid=3083 vsize=10659884 memory=27972 CPUtime=0.14 cores=1,3,5,7
/proc/3086/stat : 3086 (java) S 3083 3086 2180 0 -1 1077944320 5505 0 0 0 13 1 0 0 20 0 15 0 414812258 10915721216 6993 33554432000 4194304 4196468 140728532113568 140728532096112 140032698199799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
/proc/3086/statm: 2664971 6993 2909 1 0 2627468 0
[pid=3086/tid=3088] ppid=3083 vsize=10659884 memory=720575944405811505 CPUtime=0.09 cores=1,3,5,7
/proc/3086/task/3088/stat : 3088 (java) R 3083 3086 2180 0 -1 4202560 3211 0 0 0 9 0 0 0 20 0 15 0 414812258 10915721216 7059 33554432000 4194304 4196468 140728532113568 140032702428760 140032679593901 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3089] ppid=3083 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3089/stat : 3089 (java) S 3083 3086 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812259 10915721216 7059 33554432000 4194304 4196468 140728532113568 140032650819984 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3090] ppid=3083 vsize=10659884 memory=3690050927208195744 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3090/stat : 3090 (java) S 3083 3086 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812259 10915721216 7059 33554432000 4194304 4196468 140728532113568 140032649767184 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3091] ppid=3083 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3091/stat : 3091 (java) S 3083 3086 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812259 10915721216 7059 33554432000 4194304 4196468 140728532113568 140032648714896 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3092] ppid=3083 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3092/stat : 3092 (java) S 3083 3086 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812259 10915721216 7059 33554432000 4194304 4196468 140728532113568 140032647662096 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3093] ppid=3083 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3093/stat : 3093 (java) S 3083 3086 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812260 10915721216 7124 33554432000 4194304 4196468 140728532113568 140032257378928 140032698210946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3094] ppid=3083 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3094/stat : 3094 (java) S 3083 3086 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414812261 10915721216 7124 33554432000 4194304 4196468 140728532113568 140032256324896 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3095] ppid=3083 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3095/stat : 3095 (java) S 3083 3086 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414812261 10915721216 7124 33554432000 4194304 4196468 140728532113568 140032255272560 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3096] ppid=3083 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3096/stat : 3096 (java) S 3083 3086 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812263 10915721216 7124 33554432000 4194304 4196468 140728532113568 140032254220880 140032698218395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3097] ppid=3083 vsize=10659884 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3086/task/3097/stat : 3097 (java) S 3083 3086 2180 0 -1 1077944384 522 0 0 0 1 0 0 0 20 0 15 0 414812263 10915721216 7190 33554432000 4194304 4196468 140728532113568 140032253167728 140032698210946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3098] ppid=3083 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3098/stat : 3098 (java) R 3083 3086 2180 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 15 0 414812263 10915721216 7190 33554432000 4194304 4196468 140728532113568 140032252107672 140032690489181 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3099] ppid=3083 vsize=10659884 memory=140253471204992 CPUtime=0.02 cores=1,3,5,7
/proc/3086/task/3099/stat : 3099 (java) D 3083 3086 2180 0 -1 4202560 534 0 0 0 2 0 0 0 20 0 15 0 414812263 10915721216 7190 33554432000 4194304 4196468 140728532113568 140032251059448 140032677009892 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3100] ppid=3083 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3100/stat : 3100 (java) S 3083 3086 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812263 10915721216 7190 33554432000 4194304 4196468 140728532113568 140032250010080 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3101] ppid=3083 vsize=10659884 memory=140253471204992 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3101/stat : 3101 (java) S 3083 3086 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812264 10915721216 7190 33554432000 4194304 4196468 140728532113568 140032248957872 140032698210946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 27972 KiB
[startup+0.210863 s]*
/proc/loadavg: 1.75 1.80 1.84 3/226 3101
/proc/meminfo: memFree=25015000/32770624 swapFree=66977616/67108860
[pid=3086] ppid=3083 vsize=10659884 memory=34960 CPUtime=0.33 cores=1,3,5,7
/proc/3086/stat : 3086 (java) S 3083 3086 2180 0 -1 1077944320 6947 0 0 0 32 1 0 0 20 0 15 0 414812258 10915721216 8740 33554432000 4194304 4196468 140728532113568 140728532096112 140032698199799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
/proc/3086/statm: 2664971 8740 2988 1 0 2627468 0
[pid=3086/tid=3088] ppid=3083 vsize=10659884 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/3086/task/3088/stat : 3088 (java) R 3083 3086 2180 0 -1 4202560 3852 0 0 0 19 0 0 0 20 0 15 0 414812258 10915721216 8740 33554432000 4194304 4196468 140728532113568 140032702426160 140032698221725 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3089] ppid=3083 vsize=10659884 memory=345 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3089/stat : 3089 (java) S 3083 3086 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812259 10915721216 8740 33554432000 4194304 4196468 140728532113568 140032650819984 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3090] ppid=3083 vsize=10659884 memory=140253474047096 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3090/stat : 3090 (java) S 3083 3086 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812259 10915721216 8740 33554432000 4194304 4196468 140728532113568 140032649767184 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3091] ppid=3083 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3091/stat : 3091 (java) S 3083 3086 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812259 10915721216 8740 33554432000 4194304 4196468 140728532113568 140032648714896 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3092] ppid=3083 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3092/stat : 3092 (java) S 3083 3086 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812259 10915721216 8740 33554432000 4194304 4196468 140728532113568 140032647662096 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3093] ppid=3083 vsize=10659884 memory=140253471204992 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3093/stat : 3093 (java) S 3083 3086 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812260 10915721216 8740 33554432000 4194304 4196468 140728532113568 140032257378928 140032698210946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3094] ppid=3083 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3094/stat : 3094 (java) S 3083 3086 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414812261 10915721216 8740 33554432000 4194304 4196468 140728532113568 140032256324896 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3095] ppid=3083 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3095/stat : 3095 (java) S 3083 3086 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414812261 10915721216 8740 33554432000 4194304 4196468 140728532113568 140032255272560 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3096] ppid=3083 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3096/stat : 3096 (java) S 3083 3086 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812263 10915721216 8740 33554432000 4194304 4196468 140728532113568 140032254220880 140032698218395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3097] ppid=3083 vsize=10659884 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3086/task/3097/stat : 3097 (java) S 3083 3086 2180 0 -1 1077944384 603 0 0 0 3 0 0 0 20 0 15 0 414812263 10915721216 8740 33554432000 4194304 4196468 140728532113568 140032253167728 140032698210946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3098] ppid=3083 vsize=10659884 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/3086/task/3098/stat : 3098 (java) S 3083 3086 2180 0 -1 1077944384 417 0 0 0 3 0 0 0 20 0 15 0 414812263 10915721216 8740 33554432000 4194304 4196468 140728532113568 140032252114928 140032698210946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3099] ppid=3083 vsize=10659884 memory=140253471204992 CPUtime=0.06 cores=1,3,5,7
/proc/3086/task/3099/stat : 3099 (java) S 3083 3086 2180 0 -1 1077944384 716 0 0 0 6 0 0 0 20 0 15 0 414812263 10915721216 8740 33554432000 4194304 4196468 140728532113568 140032251062640 140032698210946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3100] ppid=3083 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3100/stat : 3100 (java) S 3083 3086 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812263 10915721216 8740 33554432000 4194304 4196468 140728532113568 140032250010080 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3101] ppid=3083 vsize=10659884 memory=140253471204992 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3101/stat : 3101 (java) S 3083 3086 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812264 10915721216 8740 33554432000 4194304 4196468 140728532113568 140032248957872 140032698210946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 34960 KiB
[startup+0.31026 s]*
/proc/loadavg: 1.75 1.80 1.84 7/227 3102
/proc/meminfo: memFree=24970240/32770624 swapFree=66977616/67108860
[pid=3086] ppid=3083 vsize=10659884 memory=40352 CPUtime=0.47 cores=1,3,5,7
/proc/3086/stat : 3086 (java) S 3083 3086 2180 0 -1 1077944320 9478 0 0 0 45 2 0 0 20 0 15 0 414812258 10915721216 10088 33554432000 4194304 4196468 140728532113568 140728532096112 140032698199799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
/proc/3086/statm: 2664971 10088 3002 1 0 2627468 0
[pid=3086/tid=3088] ppid=3083 vsize=10659884 memory=7022364594140610616 CPUtime=0.3 cores=1,3,5,7
/proc/3086/task/3088/stat : 3088 (java) R 3083 3086 2180 0 -1 4202560 6321 0 0 0 28 2 0 0 20 0 15 0 414812258 10915721216 10088 33554432000 4194304 4196468 140728532113568 140032702420688 140032698221725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3089] ppid=3083 vsize=10659884 memory=4296865450 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3089/stat : 3089 (java) S 3083 3086 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812259 10915721216 10088 33554432000 4194304 4196468 140728532113568 140032650819984 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3090] ppid=3083 vsize=10659884 memory=140253474047095 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3090/stat : 3090 (java) S 3083 3086 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812259 10915721216 10088 33554432000 4194304 4196468 140728532113568 140032649767184 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3091] ppid=3083 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3091/stat : 3091 (java) S 3083 3086 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812259 10915721216 10088 33554432000 4194304 4196468 140728532113568 140032648714896 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3092] ppid=3083 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3092/stat : 3092 (java) S 3083 3086 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812259 10915721216 10088 33554432000 4194304 4196468 140728532113568 140032647662096 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3093] ppid=3083 vsize=10659884 memory=140253471204992 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3093/stat : 3093 (java) S 3083 3086 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812260 10915721216 10088 33554432000 4194304 4196468 140728532113568 140032257378928 140032698210946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3094] ppid=3083 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3094/stat : 3094 (java) S 3083 3086 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414812261 10915721216 10088 33554432000 4194304 4196468 140728532113568 140032256324896 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3095] ppid=3083 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3095/stat : 3095 (java) S 3083 3086 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414812261 10915721216 10088 33554432000 4194304 4196468 140728532113568 140032255272560 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3096] ppid=3083 vsize=10659884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3096/stat : 3096 (java) S 3083 3086 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812263 10915721216 10088 33554432000 4194304 4196468 140728532113568 140032254220880 140032698218395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3097] ppid=3083 vsize=10659884 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/3086/task/3097/stat : 3097 (java) S 3083 3086 2180 0 -1 1077944384 638 0 0 0 4 0 0 0 20 0 15 0 414812263 10915721216 10088 33554432000 4194304 4196468 140728532113568 140032253167728 140032698210946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3098] ppid=3083 vsize=10659884 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/3086/task/3098/stat : 3098 (java) S 3083 3086 2180 0 -1 1077944384 425 0 0 0 4 0 0 0 20 0 15 0 414812263 10915721216 10088 33554432000 4194304 4196468 140728532113568 140032252114928 140032698210946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3099] ppid=3083 vsize=10659884 memory=140253471204992 CPUtime=0.08 cores=1,3,5,7
/proc/3086/task/3099/stat : 3099 (java) R 3083 3086 2180 0 -1 4202560 738 0 0 0 8 0 0 0 20 0 15 0 414812263 10915721216 10088 33554432000 4194304 4196468 140728532113568 140032251062640 140032698221146 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3100] ppid=3083 vsize=10659884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3100/stat : 3100 (java) S 3083 3086 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812263 10915721216 10088 33554432000 4194304 4196468 140728532113568 140032250010080 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3101] ppid=3083 vsize=10659884 memory=140253471204992 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3101/stat : 3101 (java) S 3083 3086 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812264 10915721216 10088 33554432000 4194304 4196468 140728532113568 140032248957872 140032698210946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
Current children cumulated CPU time: 0.47 s
Current children cumulated vsize: 10659884 KiB
Current children cumulated memory: 40352 KiB
[startup+0.700733 s]
/proc/loadavg: 1.75 1.80 1.84 6/227 3102
/proc/meminfo: memFree=24944312/32770624 swapFree=66977616/67108860
[pid=3086] ppid=3083 vsize=10661932 memory=63776 CPUtime=1.09 cores=1,3,5,7
/proc/3086/stat : 3086 (java) S 3083 3086 2180 0 -1 1077944320 13150 0 0 0 105 4 0 0 20 0 15 0 414812258 10917818368 15944 33554432000 4194304 4196468 140728532113568 140728532096112 140032698199799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
/proc/3086/statm: 2665483 15944 3064 1 0 2627980 0
[pid=3086/tid=3088] ppid=3083 vsize=10661932 memory=39872 CPUtime=0.67 cores=1,3,5,7
/proc/3086/task/3088/stat : 3088 (java) R 3083 3086 2180 0 -1 4202560 8838 0 0 0 64 3 0 0 20 0 15 0 414812258 10917818368 15944 33554432000 4194304 4196468 140728532113568 140032702416736 140032682280286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3089] ppid=3083 vsize=10661932 memory=988 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3089/stat : 3089 (java) S 3083 3086 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812259 10917818368 15944 33554432000 4194304 4196468 140728532113568 140032650819984 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3090] ppid=3083 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3090/stat : 3090 (java) S 3083 3086 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812259 10917818368 15944 33554432000 4194304 4196468 140728532113568 140032649767184 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3091] ppid=3083 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3091/stat : 3091 (java) S 3083 3086 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812259 10917818368 15944 33554432000 4194304 4196468 140728532113568 140032648714896 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3092] ppid=3083 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3092/stat : 3092 (java) S 3083 3086 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812259 10917818368 15944 33554432000 4194304 4196468 140728532113568 140032647662096 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3093] ppid=3083 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3093/stat : 3093 (java) S 3083 3086 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812260 10917818368 15944 33554432000 4194304 4196468 140728532113568 140032257378928 140032698210946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3094] ppid=3083 vsize=10661932 memory=298 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3094/stat : 3094 (java) S 3083 3086 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414812261 10917818368 15944 33554432000 4194304 4196468 140728532113568 140032256324896 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3095] ppid=3083 vsize=10661932 memory=236128 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3095/stat : 3095 (java) S 3083 3086 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414812261 10917818368 15944 33554432000 4194304 4196468 140728532113568 140032255272560 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3096] ppid=3083 vsize=10661932 memory=1 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3096/stat : 3096 (java) S 3083 3086 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812263 10917818368 15944 33554432000 4194304 4196468 140728532113568 140032254220880 140032698218395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3097] ppid=3083 vsize=10661932 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/3086/task/3097/stat : 3097 (java) S 3083 3086 2180 0 -1 1077944384 948 0 0 0 10 0 0 0 20 0 15 0 414812263 10917818368 15944 33554432000 4194304 4196468 140728532113568 140032253167728 140032698210946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3098] ppid=3083 vsize=10661932 memory=7 CPUtime=0.11 cores=1,3,5,7
/proc/3086/task/3098/stat : 3098 (java) S 3083 3086 2180 0 -1 1077944384 773 0 0 0 11 0 0 0 20 0 15 0 414812263 10917818368 15944 33554432000 4194304 4196468 140728532113568 140032252114928 140032698210946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3099] ppid=3083 vsize=10661932 memory=339 CPUtime=0.19 cores=1,3,5,7
/proc/3086/task/3099/stat : 3099 (java) S 3083 3086 2180 0 -1 1077944384 1236 0 0 0 19 0 0 0 20 0 15 0 414812263 10917818368 15944 33554432000 4194304 4196468 140728532113568 140032251062640 140032698210946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3100] ppid=3083 vsize=10661932 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3100/stat : 3100 (java) S 3083 3086 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812263 10917818368 15944 33554432000 4194304 4196468 140728532113568 140032250010080 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3101] ppid=3083 vsize=10661932 memory=4 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3101/stat : 3101 (java) S 3083 3086 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812264 10917818368 15944 33554432000 4194304 4196468 140728532113568 140032248957872 140032698210946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 10661932 KiB
Current children cumulated memory: 63776 KiB
[startup+1.50071 s]
/proc/loadavg: 1.75 1.80 1.84 5/227 3102
/proc/meminfo: memFree=24915132/32770624 swapFree=66977616/67108860
[pid=3086] ppid=3083 vsize=10663980 memory=75864 CPUtime=2 cores=1,3,5,7
/proc/3086/stat : 3086 (java) S 3083 3086 2180 0 -1 1077944320 18761 0 0 0 195 5 0 0 20 0 15 0 414812258 10919915520 18966 33554432000 4194304 4196468 140728532113568 140728532096112 140032698199799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
/proc/3086/statm: 2665995 18966 3093 1 0 2628492 0
[pid=3086/tid=3088] ppid=3083 vsize=10663980 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/3086/task/3088/stat : 3088 (java) R 3083 3086 2180 0 -1 4202560 13068 0 0 0 143 4 0 0 20 0 15 0 414812258 10919915520 18966 33554432000 4194304 4196468 140728532113568 140032702425680 140032682307664 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3089] ppid=3083 vsize=10663980 memory=39872 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3089/stat : 3089 (java) S 3083 3086 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812259 10919915520 18966 33554432000 4194304 4196468 140728532113568 140032650819984 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3090] ppid=3083 vsize=10663980 memory=988 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3090/stat : 3090 (java) S 3083 3086 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812259 10919915520 18966 33554432000 4194304 4196468 140728532113568 140032649767184 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3091] ppid=3083 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3091/stat : 3091 (java) S 3083 3086 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812259 10919915520 18966 33554432000 4194304 4196468 140728532113568 140032648714896 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3092] ppid=3083 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3092/stat : 3092 (java) S 3083 3086 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812259 10919915520 18966 33554432000 4194304 4196468 140728532113568 140032647662096 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3093] ppid=3083 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3093/stat : 3093 (java) S 3083 3086 2180 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 414812260 10919915520 18966 33554432000 4194304 4196468 140728532113568 140032257378928 140032698210946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3094] ppid=3083 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3094/stat : 3094 (java) S 3083 3086 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414812261 10919915520 18966 33554432000 4194304 4196468 140728532113568 140032256324896 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3095] ppid=3083 vsize=10663980 memory=298 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3095/stat : 3095 (java) S 3083 3086 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414812261 10919915520 18966 33554432000 4194304 4196468 140728532113568 140032255272560 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3096] ppid=3083 vsize=10663980 memory=236128 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3096/stat : 3096 (java) S 3083 3086 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812263 10919915520 18966 33554432000 4194304 4196468 140728532113568 140032254220880 140032698218395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3097] ppid=3083 vsize=10663980 memory=1 CPUtime=0.17 cores=1,3,5,7
/proc/3086/task/3097/stat : 3097 (java) S 3083 3086 2180 0 -1 1077944384 1837 0 0 0 17 0 0 0 20 0 15 0 414812263 10919915520 18966 33554432000 4194304 4196468 140728532113568 140032253167728 140032698210946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3098] ppid=3083 vsize=10663980 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/3086/task/3098/stat : 3098 (java) S 3083 3086 2180 0 -1 1077944384 1121 0 0 0 14 0 0 0 20 0 15 0 414812263 10919915520 18966 33554432000 4194304 4196468 140728532113568 140032252114928 140032698210946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3099] ppid=3083 vsize=10663980 memory=7 CPUtime=0.19 cores=1,3,5,7
/proc/3086/task/3099/stat : 3099 (java) S 3083 3086 2180 0 -1 1077944384 1238 0 0 0 19 0 0 0 20 0 15 0 414812263 10919915520 18966 33554432000 4194304 4196468 140728532113568 140032251062640 140032698210946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3100] ppid=3083 vsize=10663980 memory=339 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3100/stat : 3100 (java) S 3083 3086 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812263 10919915520 18966 33554432000 4194304 4196468 140728532113568 140032250010080 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3101] ppid=3083 vsize=10663980 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3101/stat : 3101 (java) S 3083 3086 2180 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 414812264 10919915520 18966 33554432000 4194304 4196468 140728532113568 140032248957872 140032698210946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
Current children cumulated CPU time: 2 s
Current children cumulated vsize: 10663980 KiB
Current children cumulated memory: 75864 KiB
[startup+2.51044 s]
# the end of solver process 3086 was just reported to runsolver
# cumulated CPU time of all completed processes: user=4.5613 s, system=0.130482 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60091 s]
/proc/loadavg: 1.75 1.80 1.84 5/227 3102
/proc/meminfo: memFree=24915132/32770624 swapFree=66977616/67108860
[pid=3086] ppid=3083 vsize=10666028 memory=76868 CPUtime=2.11 cores=1,3,5,7
/proc/3086/stat : 3086 (java) S 3083 3086 2180 0 -1 1077944320 19113 0 0 0 206 5 0 0 20 0 15 0 414812258 10922012672 19217 33554432000 4194304 4196468 140728532113568 140728532096112 140032698199799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
/proc/3086/statm: 2666507 19217 3093 1 0 2629004 0
[pid=3086/tid=3088] ppid=3083 vsize=10666028 memory=8112282956445269571 CPUtime=1.57 cores=1,3,5,7
/proc/3086/task/3088/stat : 3088 (java) R 3083 3086 2180 0 -1 4202560 13416 0 0 0 153 4 0 0 20 0 15 0 414812258 10922012672 19217 33554432000 4194304 4196468 140728532113568 140032702425680 140032698221725 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3089] ppid=3083 vsize=10666028 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3089/stat : 3089 (java) S 3083 3086 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812259 10922012672 19217 33554432000 4194304 4196468 140728532113568 140032650819984 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3090] ppid=3083 vsize=10666028 memory=14048 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3090/stat : 3090 (java) S 3083 3086 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812259 10922012672 19217 33554432000 4194304 4196468 140728532113568 140032649767184 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3091] ppid=3083 vsize=10666028 memory=21136 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3091/stat : 3091 (java) S 3083 3086 2180 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 414812259 10922012672 19217 33554432000 4194304 4196468 140728532113568 140032648714896 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3092] ppid=3083 vsize=10666028 memory=2120 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3092/stat : 3092 (java) S 3083 3086 2180 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 414812259 10922012672 19217 33554432000 4194304 4196468 140728532113568 140032647662096 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3093] ppid=3083 vsize=10666028 memory=532 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3093/stat : 3093 (java) S 3083 3086 2180 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 414812260 10922012672 19217 33554432000 4194304 4196468 140728532113568 140032257378928 140032698210946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3094] ppid=3083 vsize=10666028 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3094/stat : 3094 (java) S 3083 3086 2180 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 414812261 10922012672 19217 33554432000 4194304 4196468 140728532113568 140032256324896 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3095] ppid=3083 vsize=10666028 memory=924 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3095/stat : 3095 (java) S 3083 3086 2180 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 414812261 10922012672 19217 33554432000 4194304 4196468 140728532113568 140032255272560 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3096] ppid=3083 vsize=10666028 memory=1756 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3096/stat : 3096 (java) S 3083 3086 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812263 10922012672 19217 33554432000 4194304 4196468 140728532113568 140032254220880 140032698218395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3097] ppid=3083 vsize=10666028 memory=1440 CPUtime=0.17 cores=1,3,5,7
/proc/3086/task/3097/stat : 3097 (java) S 3083 3086 2180 0 -1 1077944384 1837 0 0 0 17 0 0 0 20 0 15 0 414812263 10922012672 19217 33554432000 4194304 4196468 140728532113568 140032253167728 140032698210946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3098] ppid=3083 vsize=10666028 memory=912 CPUtime=0.15 cores=1,3,5,7
/proc/3086/task/3098/stat : 3098 (java) S 3083 3086 2180 0 -1 1077944384 1125 0 0 0 15 0 0 0 20 0 15 0 414812263 10922012672 19217 33554432000 4194304 4196468 140728532113568 140032252114928 140032698210946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3099] ppid=3083 vsize=10666028 memory=1984 CPUtime=0.19 cores=1,3,5,7
/proc/3086/task/3099/stat : 3099 (java) S 3083 3086 2180 0 -1 1077944384 1238 0 0 0 19 0 0 0 20 0 15 0 414812263 10922012672 19217 33554432000 4194304 4196468 140728532113568 140032251062640 140032698210946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3100] ppid=3083 vsize=10666028 memory=2480 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3100/stat : 3100 (java) S 3083 3086 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 414812263 10922012672 19217 33554432000 4194304 4196468 140728532113568 140032250010080 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3101] ppid=3083 vsize=10666028 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3101/stat : 3101 (java) S 3083 3086 2180 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 414812264 10922012672 19217 33554432000 4194304 4196468 140728532113568 140032248957872 140032698210946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
Current children cumulated CPU time: 2.11 s
Current children cumulated vsize: 10666028 KiB
Current children cumulated memory: 76868 KiB
[startup+2.00061 s]*
/proc/loadavg: 1.69 1.78 1.83 6/228 3103
/proc/meminfo: memFree=24834548/32770624 swapFree=66977616/67108860
[pid=3086] ppid=3083 vsize=10744136 memory=145492 CPUtime=2.9 cores=1,3,5,7
/proc/3086/stat : 3086 (java) S 3083 3086 2180 0 -1 1077944320 23710 0 0 0 281 9 0 0 20 0 16 0 414812258 11001995264 36373 33554432000 4194304 4196468 140728532113568 140728532096112 140032698199799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
/proc/3086/statm: 2686034 36373 3302 1 0 2646705 0
[pid=3086/tid=3088] ppid=3083 vsize=10744136 memory=8317482817917895235 CPUtime=1.85 cores=1,3,5,7
/proc/3086/task/3088/stat : 3088 (java) S 3083 3086 2180 0 -1 1077944384 15334 0 0 0 180 5 0 0 20 0 16 0 414812258 11001995264 36373 33554432000 4194304 4196468 140728532113568 140032702442672 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3089] ppid=3083 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3089/stat : 3089 (java) S 3083 3086 2180 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 16 0 414812259 11001995264 36373 33554432000 4194304 4196468 140728532113568 140032650819984 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3090] ppid=3083 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3090/stat : 3090 (java) S 3083 3086 2180 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 16 0 414812259 11001995264 36373 33554432000 4194304 4196468 140728532113568 140032649767184 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3091] ppid=3083 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3091/stat : 3091 (java) S 3083 3086 2180 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414812259 11001995264 36373 33554432000 4194304 4196468 140728532113568 140032648714896 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3092] ppid=3083 vsize=10744136 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3092/stat : 3092 (java) S 3083 3086 2180 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 414812259 11001995264 36373 33554432000 4194304 4196468 140728532113568 140032647662096 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3093] ppid=3083 vsize=10744136 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3086/task/3093/stat : 3093 (java) S 3083 3086 2180 0 -1 1077944384 1157 0 0 0 1 0 0 0 20 0 16 0 414812260 11001995264 36373 33554432000 4194304 4196468 140728532113568 140032257378928 140032698210946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3094] ppid=3083 vsize=10744136 memory=3472328296227680299 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3094/stat : 3094 (java) S 3083 3086 2180 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414812261 11001995264 36373 33554432000 4194304 4196468 140728532113568 140032256324960 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3095] ppid=3083 vsize=10744136 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3095/stat : 3095 (java) S 3083 3086 2180 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414812261 11001995264 36373 33554432000 4194304 4196468 140728532113568 140032255272576 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3096] ppid=3083 vsize=10744136 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3096/stat : 3096 (java) S 3083 3086 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414812263 11001995264 36373 33554432000 4194304 4196468 140728532113568 140032254220880 140032698218395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3097] ppid=3083 vsize=10744136 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/3086/task/3097/stat : 3097 (java) R 3083 3086 2180 0 -1 4202560 1920 0 0 0 32 0 0 0 20 0 16 0 414812263 11001995264 36373 33554432000 4194304 4196468 140728532113568 140032253167728 140032679727624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3098] ppid=3083 vsize=10744136 memory=-1 CPUtime=0.26 cores=1,3,5,7
/proc/3086/task/3098/stat : 3098 (java) R 3083 3086 2180 0 -1 1077944384 1375 0 0 0 26 0 0 0 20 0 16 0 414812263 11001995264 36373 33554432000 4194304 4196468 140728532113568 140032252114928 140032698210946 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3099] ppid=3083 vsize=10744136 memory=140253642131120 CPUtime=0.28 cores=1,3,5,7
/proc/3086/task/3099/stat : 3099 (java) R 3083 3086 2180 0 -1 4202560 1554 0 0 0 28 0 0 0 20 0 16 0 414812263 11001995264 36373 33554432000 4194304 4196468 140728532113568 140032251056992 140032677335434 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3100] ppid=3083 vsize=10744136 memory=7594597771697979423 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3100/stat : 3100 (java) S 3083 3086 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414812263 11001995264 36373 33554432000 4194304 4196468 140728532113568 140032250010080 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3101] ppid=3083 vsize=10744136 memory=288432417911891608 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3101/stat : 3101 (java) S 3083 3086 2180 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 414812264 11001995264 36373 33554432000 4194304 4196468 140728532113568 140032248957872 140032698210946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3103] ppid=3083 vsize=10744136 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3086/task/3103/stat : 3103 (java) R 3083 3086 2180 0 -1 4202560 738 0 0 0 8 0 0 0 20 0 16 0 414812446 11001995264 36373 33554432000 4194304 4196468 140728532113568 140032164756336 140032325222464 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 10744136 KiB
Current children cumulated memory: 145492 KiB
[startup+2.40087 s]
/proc/loadavg: 1.69 1.78 1.83 6/228 3103
/proc/meminfo: memFree=24834548/32770624 swapFree=66977616/67108860
[pid=3086] ppid=3083 vsize=10748324 memory=170476 CPUtime=4.39 cores=1,3,5,7
/proc/3086/stat : 3086 (java) S 3083 3086 2180 0 -1 1077944320 30473 0 0 0 429 10 0 0 20 0 16 0 414812258 11006283776 42619 33554432000 4194304 4196468 140728532113568 140728532096112 140032698199799 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
/proc/3086/statm: 2687081 42619 3342 1 0 2647217 0
[pid=3086/tid=3088] ppid=3083 vsize=10748324 memory=0 CPUtime=1.85 cores=1,3,5,7
/proc/3086/task/3088/stat : 3088 (java) S 3083 3086 2180 0 -1 1077944384 15334 0 0 0 180 5 0 0 20 0 16 0 414812258 11006283776 42619 33554432000 4194304 4196468 140728532113568 140032702442672 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3089] ppid=3083 vsize=10748324 memory=-9174445032661854264 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3089/stat : 3089 (java) S 3083 3086 2180 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 16 0 414812259 11006283776 42619 33554432000 4194304 4196468 140728532113568 140032650819984 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3090] ppid=3083 vsize=10748324 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3090/stat : 3090 (java) S 3083 3086 2180 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 16 0 414812259 11006283776 42619 33554432000 4194304 4196468 140728532113568 140032649767184 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3091] ppid=3083 vsize=10748324 memory=7809523229951467574 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3091/stat : 3091 (java) S 3083 3086 2180 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 16 0 414812259 11006283776 42619 33554432000 4194304 4196468 140728532113568 140032648714896 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3092] ppid=3083 vsize=10748324 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3092/stat : 3092 (java) S 3083 3086 2180 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 16 0 414812259 11006283776 42619 33554432000 4194304 4196468 140728532113568 140032647662096 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3093] ppid=3083 vsize=10748324 memory=-2746958450906831424 CPUtime=0.01 cores=1,3,5,7
/proc/3086/task/3093/stat : 3093 (java) S 3083 3086 2180 0 -1 1077944384 1158 0 0 0 1 0 0 0 20 0 16 0 414812260 11006283776 42619 33554432000 4194304 4196468 140728532113568 140032257378928 140032698210946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3094] ppid=3083 vsize=10748324 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3094/stat : 3094 (java) S 3083 3086 2180 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 414812261 11006283776 42619 33554432000 4194304 4196468 140728532113568 140032256324960 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3095] ppid=3083 vsize=10748324 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3095/stat : 3095 (java) S 3083 3086 2180 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 16 0 414812261 11006283776 42619 33554432000 4194304 4196468 140728532113568 140032255272576 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3096] ppid=3083 vsize=10748324 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3096/stat : 3096 (java) S 3083 3086 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414812263 11006283776 42619 33554432000 4194304 4196468 140728532113568 140032254220880 140032698218395 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3097] ppid=3083 vsize=10748324 memory=-4051592751533505334 CPUtime=0.7 cores=1,3,5,7
/proc/3086/task/3097/stat : 3097 (java) S 3083 3086 2180 0 -1 1077944384 3547 0 0 0 70 0 0 0 20 0 16 0 414812263 11006283776 42619 33554432000 4194304 4196468 140728532113568 140032253154512 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3098] ppid=3083 vsize=10748324 memory=7391413433648273289 CPUtime=0.64 cores=1,3,5,7
/proc/3086/task/3098/stat : 3098 (java) R 3083 3086 2180 0 -1 4202560 3415 0 0 0 64 0 0 0 20 0 16 0 414812263 11006283776 42619 33554432000 4194304 4196468 140728532113568 140032252100952 140032683126524 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3099] ppid=3083 vsize=10748324 memory=-8818460131910270915 CPUtime=0.61 cores=1,3,5,7
/proc/3086/task/3099/stat : 3099 (java) R 3083 3086 2180 0 -1 1077944384 3537 0 0 0 61 0 0 0 20 0 16 0 414812263 11006283776 42619 33554432000 4194304 4196468 140728532113568 140032251061824 140032698210005 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3100] ppid=3083 vsize=10748324 memory=-7608078712277137350 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3100/stat : 3100 (java) S 3083 3086 2180 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 414812263 11006283776 42619 33554432000 4194304 4196468 140728532113568 140032250010080 140032698210005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3101] ppid=3083 vsize=10748324 memory=55 CPUtime=0 cores=1,3,5,7
/proc/3086/task/3101/stat : 3101 (java) S 3083 3086 2180 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 16 0 414812264 11006283776 42619 33554432000 4194304 4196468 140728532113568 140032248957872 140032698210946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
[pid=3086/tid=3103] ppid=3083 vsize=10748324 memory=7230921007607278949 CPUtime=0.46 cores=1,3,5,7
/proc/3086/task/3103/stat : 3103 (java) R 3083 3086 2180 0 -1 4202560 1854 0 0 0 46 0 0 0 20 0 16 0 414812446 11006283776 42619 33554432000 4194304 4196468 140728532113568 140032164758496 140032665808727 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18489344 140728532120587 140728532120690 140728532120690 140728532123599 0
Current children cumulated CPU time: 4.39 s
Current children cumulated vsize: 10748324 KiB
Current children cumulated memory: 170476 KiB
[startup+2.50074 s]*
/proc/loadavg: 1.69 1.78 1.83 3/214 3105
/proc/meminfo: memFree=24807172/32770624 swapFree=66977616/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 2.51047
CPU time (s): 4.69178
CPU user time (s): 4.5613
CPU system time (s): 0.130482
CPU usage (%): 186.888
Max. virtual memory (cumulated for all children) (KiB): 10748324
Max. memory (cumulated for all children) (KiB): 170476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.5613
system time used= 0.130482
maximum resident set size= 171232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32463
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2060
involuntary context switches= 20
# summary of solver processes directly reported to runsolver:
# pid: 3086
# total CPU time (s): 4.69178
# total CPU user time (s): 4.5613
# total CPU system time (s): 0.130482
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030468 second user time and 0.075678 second system time
The end