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 (11162 MiB free)
memory of node 1: 16384 MiB (15508 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400530-1568694585/watcher-4400530-1568694585 -o /tmp/evaluation-result-4400530-1568694585/solver-4400530-1568694585 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24304 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1431176889 HOME/instance-4400530-1568694585.xml
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
solver pid=3268, runsolver pid=3265
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 9.03 8.72 8.50 8/233 3284
/proc/meminfo: memFree=27294712/32770624 swapFree=66997372/67108860
[pid=3268] ppid=3265 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3268/stat : 3268 (xcsp3-exec) S 3265 3268 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445711563 115843072 362 33554432000 4194304 5098028 140726740180880 140726740178984 139741998146172 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 36331520 140726740190074 140726740190317 140726740190317 140726740193226 0
/proc/3268/statm: 28282 362 304 221 0 87 0
[pid=3270] ppid=3268 vsize=15144776 memory=28644 CPUtime=0.12 cores=1,3,5,7
/proc/3270/stat : 3270 (java) S 3268 3268 24272 0 -1 1077944320 5662 0 0 0 12 0 0 0 20 0 15 0 445711563 15508250624 7161 33554432000 4194304 4196468 140734140197392 140734140179936 140560245747447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
/proc/3270/statm: 3786194 7161 3123 1 0 3748377 0
[pid=3270/tid=3271] ppid=3268 vsize=15144776 memory=-7828588039587135835 CPUtime=0.09 cores=1,3,5,7
/proc/3270/task/3271/stat : 3271 (java) R 3268 3268 24272 0 -1 4202560 3569 0 0 0 9 0 0 0 20 0 15 0 445711564 15508250624 7227 33554432000 4194304 4196468 140734140197392 140560249980224 140560231440913 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3272] ppid=3268 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3272/stat : 3272 (java) S 3268 3268 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445711564 15508250624 7227 33554432000 4194304 4196468 140734140197392 140560198367632 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3273] ppid=3268 vsize=15144776 memory=139672307213952 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3273/stat : 3273 (java) S 3268 3268 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445711564 15508250624 7227 33554432000 4194304 4196468 140734140197392 140560197314832 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3274] ppid=3268 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3274/stat : 3274 (java) S 3268 3268 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445711564 15508250624 7227 33554432000 4194304 4196468 140734140197392 140560196262544 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3275] ppid=3268 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3275/stat : 3275 (java) S 3268 3268 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445711564 15508250624 7227 33554432000 4194304 4196468 140734140197392 140560195209744 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3276] ppid=3268 vsize=15144776 memory=139672307213952 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3276/stat : 3276 (java) S 3268 3268 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445711566 15508250624 7227 33554432000 4194304 4196468 140734140197392 140559579593328 140560245758594 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3277] ppid=3268 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3277/stat : 3277 (java) S 3268 3268 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445711566 15508250624 7227 33554432000 4194304 4196468 140734140197392 140559578539296 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3278] ppid=3268 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3278/stat : 3278 (java) S 3268 3268 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445711566 15508250624 7227 33554432000 4194304 4196468 140734140197392 140559577486960 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3279] ppid=3268 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3279/stat : 3279 (java) S 3268 3268 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445711569 15508250624 7227 33554432000 4194304 4196468 140734140197392 140559576435280 140560245766043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3280] ppid=3268 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3280/stat : 3280 (java) S 3268 3268 24272 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 445711569 15508250624 7227 33554432000 4194304 4196468 140734140197392 140559575382128 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3281] ppid=3268 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3281/stat : 3281 (java) S 3268 3268 24272 0 -1 1077944384 159 0 0 0 0 0 0 0 20 0 15 0 445711569 15508250624 7227 33554432000 4194304 4196468 140734140197392 140559574329328 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3282] ppid=3268 vsize=15144776 memory=139672307213952 CPUtime=0.02 cores=1,3,5,7
/proc/3270/task/3282/stat : 3282 (java) R 3268 3268 24272 0 -1 4202560 376 0 0 0 2 0 0 0 20 0 15 0 445711569 15508250624 7227 33554432000 4194304 4196468 140734140197392 140559573277040 140560245768794 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3283] ppid=3268 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3283/stat : 3283 (java) S 3268 3268 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445711569 15508250624 7227 33554432000 4194304 4196468 140734140197392 140559572224480 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3284] ppid=3268 vsize=15144776 memory=139672307213952 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3284/stat : 3284 (java) S 3268 3268 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445711569 15508250624 7227 33554432000 4194304 4196468 140734140197392 140559571172272 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30092 KiB
[startup+0.210765 s]*
/proc/loadavg: 9.03 8.72 8.50 7/233 3284
/proc/meminfo: memFree=27281212/32770624 swapFree=66997372/67108860
[pid=3268] ppid=3265 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3268/stat : 3268 (xcsp3-exec) S 3265 3268 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445711563 115843072 362 33554432000 4194304 5098028 140726740180880 140726740178984 139741998146172 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 36331520 140726740190074 140726740190317 140726740190317 140726740193226 0
/proc/3268/statm: 28282 362 304 221 0 87 0
[pid=3270] ppid=3268 vsize=15144776 memory=41148 CPUtime=0.34 cores=1,3,5,7
/proc/3270/stat : 3270 (java) S 3268 3268 24272 0 -1 1077944320 9496 0 0 0 32 2 0 0 20 0 15 0 445711563 15508250624 10287 33554432000 4194304 4196468 140734140197392 140734140179936 140560245747447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
/proc/3270/statm: 3786194 10287 3315 1 0 3748377 0
[pid=3270/tid=3271] ppid=3268 vsize=15144776 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/3270/task/3271/stat : 3271 (java) R 3268 3268 24272 0 -1 4202560 6609 0 0 0 18 1 0 0 20 0 15 0 445711564 15508250624 10287 33554432000 4194304 4196468 140734140197392 140560249981392 140560229827934 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3272] ppid=3268 vsize=15144776 memory=4294976396 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3272/stat : 3272 (java) S 3268 3268 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445711564 15508250624 10287 33554432000 4194304 4196468 140734140197392 140560198367632 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3273] ppid=3268 vsize=15144776 memory=139672307238508 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3273/stat : 3273 (java) S 3268 3268 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445711564 15508250624 10287 33554432000 4194304 4196468 140734140197392 140560197314832 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3274] ppid=3268 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3274/stat : 3274 (java) S 3268 3268 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445711564 15508250624 10287 33554432000 4194304 4196468 140734140197392 140560196262544 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3275] ppid=3268 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3275/stat : 3275 (java) S 3268 3268 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445711564 15508250624 10287 33554432000 4194304 4196468 140734140197392 140560195209744 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3276] ppid=3268 vsize=15144776 memory=139672307213952 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3276/stat : 3276 (java) S 3268 3268 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445711566 15508250624 10287 33554432000 4194304 4196468 140734140197392 140559579593328 140560245758594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3277] ppid=3268 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3277/stat : 3277 (java) S 3268 3268 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445711566 15508250624 10287 33554432000 4194304 4196468 140734140197392 140559578539296 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3278] ppid=3268 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3278/stat : 3278 (java) S 3268 3268 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445711566 15508250624 10287 33554432000 4194304 4196468 140734140197392 140559577486960 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3279] ppid=3268 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3279/stat : 3279 (java) S 3268 3268 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445711569 15508250624 10287 33554432000 4194304 4196468 140734140197392 140559576435280 140560245766043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3280] ppid=3268 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3270/task/3280/stat : 3280 (java) S 3268 3268 24272 0 -1 1077944384 405 0 0 0 2 0 0 0 20 0 15 0 445711569 15508250624 10287 33554432000 4194304 4196468 140734140197392 140559575382128 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3281] ppid=3268 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3270/task/3281/stat : 3281 (java) S 3268 3268 24272 0 -1 1077944384 404 0 0 0 2 0 0 0 20 0 15 0 445711569 15508250624 10287 33554432000 4194304 4196468 140734140197392 140559574329328 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3282] ppid=3268 vsize=15144776 memory=139672307213952 CPUtime=0.08 cores=1,3,5,7
/proc/3270/task/3282/stat : 3282 (java) S 3268 3268 24272 0 -1 1077944384 782 0 0 0 8 0 0 0 20 0 15 0 445711569 15508250624 10287 33554432000 4194304 4196468 140734140197392 140559573277040 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3283] ppid=3268 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3283/stat : 3283 (java) S 3268 3268 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445711569 15508250624 10287 33554432000 4194304 4196468 140734140197392 140559572224480 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3284] ppid=3268 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3284/stat : 3284 (java) S 3268 3268 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445711569 15508250624 10287 33554432000 4194304 4196468 140734140197392 140559571172272 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42596 KiB
[startup+0.31781 s]*
/proc/loadavg: 9.03 8.72 8.50 7/233 3284
/proc/meminfo: memFree=27274056/32770624 swapFree=66997372/67108860
[pid=3268] ppid=3265 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3268/stat : 3268 (xcsp3-exec) S 3265 3268 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445711563 115843072 362 33554432000 4194304 5098028 140726740180880 140726740178984 139741998146172 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 36331520 140726740190074 140726740190317 140726740190317 140726740193226 0
/proc/3268/statm: 28282 362 304 221 0 87 0
[pid=3270] ppid=3268 vsize=15149032 memory=50532 CPUtime=0.54 cores=1,3,5,7
/proc/3270/stat : 3270 (java) S 3268 3268 24272 0 -1 1077944320 10932 0 0 0 51 3 0 0 20 0 15 0 445711563 15512608768 12633 33554432000 4194304 4196468 140734140197392 140734140179936 140560245747447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
/proc/3270/statm: 3787258 12633 3363 1 0 3748377 0
[pid=3270/tid=3271] ppid=3268 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/3270/task/3271/stat : 3271 (java) R 3268 3268 24272 0 -1 4202560 7901 0 0 0 28 2 0 0 20 0 15 0 445711564 15512608768 12641 33554432000 4194304 4196468 140734140197392 140560249981504 140560229827934 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3272] ppid=3268 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3272/stat : 3272 (java) S 3268 3268 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445711564 15512608768 12641 33554432000 4194304 4196468 140734140197392 140560198367632 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3273] ppid=3268 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3273/stat : 3273 (java) S 3268 3268 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445711564 15512608768 12641 33554432000 4194304 4196468 140734140197392 140560197314832 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3274] ppid=3268 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3274/stat : 3274 (java) S 3268 3268 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445711564 15512608768 12641 33554432000 4194304 4196468 140734140197392 140560196262544 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3275] ppid=3268 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3275/stat : 3275 (java) S 3268 3268 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445711564 15512608768 12641 33554432000 4194304 4196468 140734140197392 140560195209744 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3276] ppid=3268 vsize=15149032 memory=667913 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3276/stat : 3276 (java) S 3268 3268 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445711566 15512608768 12641 33554432000 4194304 4196468 140734140197392 140559579593328 140560245758594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3277] ppid=3268 vsize=15149032 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3277/stat : 3277 (java) S 3268 3268 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445711566 15512608768 12641 33554432000 4194304 4196468 140734140197392 140559578539296 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3278] ppid=3268 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3278/stat : 3278 (java) S 3268 3268 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445711566 15512608768 12641 33554432000 4194304 4196468 140734140197392 140559577486960 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3279] ppid=3268 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3279/stat : 3279 (java) S 3268 3268 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445711569 15512608768 12641 33554432000 4194304 4196468 140734140197392 140559576435280 140560245766043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3280] ppid=3268 vsize=15149032 memory=-1751206868705893467 CPUtime=0.05 cores=1,3,5,7
/proc/3270/task/3280/stat : 3280 (java) S 3268 3268 24272 0 -1 1077944384 494 0 0 0 5 0 0 0 20 0 15 0 445711569 15512608768 12641 33554432000 4194304 4196468 140734140197392 140559575382128 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3281] ppid=3268 vsize=15149032 memory=7680491646476169235 CPUtime=0.03 cores=1,3,5,7
/proc/3270/task/3281/stat : 3281 (java) S 3268 3268 24272 0 -1 1077944384 422 0 0 0 3 0 0 0 20 0 15 0 445711569 15512608768 12641 33554432000 4194304 4196468 140734140197392 140559574329328 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3282] ppid=3268 vsize=15149032 memory=7088771780547993696 CPUtime=0.13 cores=1,3,5,7
/proc/3270/task/3282/stat : 3282 (java) S 3268 3268 24272 0 -1 1077944384 853 0 0 0 13 0 0 0 20 0 15 0 445711569 15512608768 12641 33554432000 4194304 4196468 140734140197392 140559573277040 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3283] ppid=3268 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3283/stat : 3283 (java) S 3268 3268 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445711569 15512608768 12641 33554432000 4194304 4196468 140734140197392 140559572224480 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3284] ppid=3268 vsize=15149032 memory=7317634893576766894 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3284/stat : 3284 (java) S 3268 3268 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445711569 15512608768 12641 33554432000 4194304 4196468 140734140197392 140559571172272 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51980 KiB
[startup+0.701813 s]
/proc/loadavg: 9.03 8.72 8.50 8/234 3337
/proc/meminfo: memFree=27164984/32770624 swapFree=66997372/67108860
[pid=3268] ppid=3265 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3268/stat : 3268 (xcsp3-exec) S 3265 3268 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445711563 115843072 362 33554432000 4194304 5098028 140726740180880 140726740178984 139741998146172 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 36331520 140726740190074 140726740190317 140726740190317 140726740193226 0
/proc/3268/statm: 28282 362 304 221 0 87 0
[pid=3270] ppid=3268 vsize=15485004 memory=190860 CPUtime=1.68 cores=1,3,5,7
/proc/3270/stat : 3270 (java) S 3268 3268 24272 0 -1 1077944320 18829 0 0 0 159 9 0 0 20 0 19 0 445711563 15856644096 47715 33554432000 4194304 4196468 140734140197392 140734140179936 140560245747447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
/proc/3270/statm: 3871251 47715 3479 1 0 3832351 0
[pid=3270/tid=3271] ppid=3268 vsize=15485004 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/3270/task/3271/stat : 3271 (java) S 3268 3268 24272 0 -1 1077944384 9013 0 0 0 42 3 0 0 20 0 19 0 445711564 15856644096 47715 33554432000 4194304 4196468 140734140197392 140560249988224 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3272] ppid=3268 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3272/stat : 3272 (java) S 3268 3268 24272 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 445711564 15856644096 47715 33554432000 4194304 4196468 140734140197392 140560198367632 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3273] ppid=3268 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3273/stat : 3273 (java) S 3268 3268 24272 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 445711564 15856644096 47715 33554432000 4194304 4196468 140734140197392 140560197314832 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3274] ppid=3268 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3274/stat : 3274 (java) S 3268 3268 24272 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 445711564 15856644096 47715 33554432000 4194304 4196468 140734140197392 140560196262544 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3275] ppid=3268 vsize=15485004 memory=54 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3275/stat : 3275 (java) S 3268 3268 24272 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 445711564 15856644096 47715 33554432000 4194304 4196468 140734140197392 140560195209744 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3276] ppid=3268 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3276/stat : 3276 (java) S 3268 3268 24272 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 445711566 15856644096 47715 33554432000 4194304 4196468 140734140197392 140559579593328 140560245758594 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3277] ppid=3268 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3277/stat : 3277 (java) S 3268 3268 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445711566 15856644096 47715 33554432000 4194304 4196468 140734140197392 140559578539360 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3278] ppid=3268 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3278/stat : 3278 (java) S 3268 3268 24272 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 445711566 15856644096 47735 33554432000 4194304 4196468 140734140197392 140559577486976 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3279] ppid=3268 vsize=15485004 memory=143 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3279/stat : 3279 (java) S 3268 3268 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445711569 15856644096 47735 33554432000 4194304 4196468 140734140197392 140559576435280 140560245766043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3280] ppid=3268 vsize=15485004 memory=2 CPUtime=0.27 cores=1,3,5,7
/proc/3270/task/3280/stat : 3280 (java) R 3268 3268 24272 0 -1 4202560 1460 0 0 0 27 0 0 0 20 0 19 0 445711569 15856644096 47735 33554432000 4194304 4196468 140734140197392 140559575368632 140560225464583 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3281] ppid=3268 vsize=15485004 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/3270/task/3281/stat : 3281 (java) R 3268 3268 24272 0 -1 4202560 1481 0 0 0 20 0 0 0 20 0 19 0 445711569 15856644096 47735 33554432000 4194304 4196468 140734140197392 140559574310344 140560226447744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3282] ppid=3268 vsize=15485004 memory=1060 CPUtime=0.31 cores=1,3,5,7
/proc/3270/task/3282/stat : 3282 (java) R 3268 3268 24272 0 -1 4202560 1807 0 0 0 31 0 0 0 20 0 19 0 445711569 15856644096 47735 33554432000 4194304 4196468 140734140197392 140559573273976 140560225462236 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3283] ppid=3268 vsize=15485004 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3283/stat : 3283 (java) S 3268 3268 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445711569 15856644096 47735 33554432000 4194304 4196468 140734140197392 140559572224480 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3284] ppid=3268 vsize=15485004 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3284/stat : 3284 (java) S 3268 3268 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445711569 15856644096 47735 33554432000 4194304 4196468 140734140197392 140559571172272 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 192308 KiB
[startup+1.50081 s]
/proc/loadavg: 8.95 8.71 8.50 8/237 3528
/proc/meminfo: memFree=27114976/32770624 swapFree=66997372/67108860
[pid=3268] ppid=3265 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3268/stat : 3268 (xcsp3-exec) S 3265 3268 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445711563 115843072 362 33554432000 4194304 5098028 140726740180880 140726740178984 139741998146172 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 36331520 140726740190074 140726740190317 140726740190317 140726740193226 0
/proc/3268/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/3270/task/3284/stat : 3284 (java) S 3268 3268 24272 0 -1 1077944384 400 0 0 0 0 0 0 0 20 0 19 0 445711569 15856644096 88853 33554432000 4194304 4196468 140734140197392 140559571172272 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3549] ppid=3268 vsize=15485004 memory=0 CPUtime=7.18 cores=1,3,5,7
/proc/3270/task/3549/stat : 3549 (java) R 3268 3268 24272 0 -1 4202560 67 0 0 0 718 0 0 0 20 0 19 0 445711723 15856644096 88853 33554432000 4194304 4196468 140734140197392 140559561137024 140559873379971 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3550] ppid=3268 vsize=15485004 memory=8112282956445269571 CPUtime=7.3 cores=1,3,5,7
/proc/3270/task/3550/stat : 3550 (java) R 3268 3268 24272 0 -1 4202560 386 0 0 0 730 0 0 0 20 0 19 0 445711723 15856644096 88853 33554432000 4194304 4196468 140734140197392 140559557982640 140559873765850 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3551] ppid=3268 vsize=15485004 memory=1004 CPUtime=7.19 cores=1,3,5,7
/proc/3270/task/3551/stat : 3551 (java) R 3268 3268 24272 0 -1 4202560 421 0 0 0 719 0 0 0 20 0 19 0 445711723 15856644096 88853 33554432000 4194304 4196468 140734140197392 140559562191976 140560230086266 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3552] ppid=3268 vsize=15485004 memory=6036 CPUtime=7.17 cores=1,3,5,7
/proc/3270/task/3552/stat : 3552 (java) R 3268 3268 24272 0 -1 4202560 273 0 0 0 716 1 0 0 20 0 19 0 445711723 15856644096 88853 33554432000 4194304 4196468 140734140197392 140559556927864 140559872622944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
Current children cumulated CPU time: 36.95 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 356860 KiB
[startup+10.4018 s]
/proc/loadavg: 8.95 8.71 8.50 9/237 3552
/proc/meminfo: memFree=26966344/32770624 swapFree=66997372/67108860
[pid=3268] ppid=3265 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3268/stat : 3268 (xcsp3-exec) S 3265 3268 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445711563 115843072 362 33554432000 4194304 5098028 140726740180880 140726740178984 139741998146172 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 36331520 140726740190074 140726740190317 140726740190317 140726740193226 0
/proc/3268/statm: 28282 362 304 221 0 87 0
[pid=3270] ppid=3268 vsize=15485004 memory=355412 CPUtime=40.13 cores=1,3,5,7
/proc/3270/stat : 3270 (java) S 3268 3268 24272 0 -1 1077944320 41697 0 0 0 3996 17 0 0 20 0 19 0 445711563 15856644096 88853 33554432000 4194304 4196468 140734140197392 140734140179936 140560245747447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
/proc/3270/statm: 3871251 88853 3515 1 0 3832351 0
[pid=3270/tid=3271] ppid=3268 vsize=15485004 memory=3028 CPUtime=0.46 cores=1,3,5,7
/proc/3270/task/3271/stat : 3271 (java) S 3268 3268 24272 0 -1 1077944384 9013 0 0 0 43 3 0 0 20 0 19 0 445711564 15856644096 88853 33554432000 4194304 4196468 140734140197392 140560249988224 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3272] ppid=3268 vsize=15485004 memory=2012 CPUtime=0.01 cores=1,3,5,7
/proc/3270/task/3272/stat : 3272 (java) S 3268 3268 24272 0 -1 1077944384 146 0 0 0 1 0 0 0 20 0 19 0 445711564 15856644096 88853 33554432000 4194304 4196468 140734140197392 140560198367632 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3273] ppid=3268 vsize=15485004 memory=14008 CPUtime=0.02 cores=1,3,5,7
/proc/3270/task/3273/stat : 3273 (java) S 3268 3268 24272 0 -1 1077944384 76 0 0 0 2 0 0 0 20 0 19 0 445711564 15856644096 88853 33554432000 4194304 4196468 140734140197392 140560197314832 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3274] ppid=3268 vsize=15485004 memory=2124 CPUtime=0.01 cores=1,3,5,7
/proc/3270/task/3274/stat : 3274 (java) S 3268 3268 24272 0 -1 1077944384 372 0 0 0 1 0 0 0 20 0 19 0 445711564 15856644096 88853 33554432000 4194304 4196468 140734140197392 140560196262544 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3275] ppid=3268 vsize=15485004 memory=1448 CPUtime=0.01 cores=1,3,5,7
/proc/3270/task/3275/stat : 3275 (java) S 3268 3268 24272 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 19 0 445711564 15856644096 88853 33554432000 4194304 4196468 140734140197392 140560195209744 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3276] ppid=3268 vsize=15485004 memory=357316 CPUtime=0.01 cores=1,3,5,7
/proc/3270/task/3276/stat : 3276 (java) S 3268 3268 24272 0 -1 1077944384 613 0 0 0 1 0 0 0 20 0 19 0 445711566 15856644096 88853 33554432000 4194304 4196468 140734140197392 140559579593328 140560245758594 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3277] ppid=3268 vsize=15485004 memory=500 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3277/stat : 3277 (java) S 3268 3268 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445711566 15856644096 88853 33554432000 4194304 4196468 140734140197392 140559578539360 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3278] ppid=3268 vsize=15485004 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3278/stat : 3278 (java) S 3268 3268 24272 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 445711566 15856644096 88853 33554432000 4194304 4196468 140734140197392 140559577486976 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3279] ppid=3268 vsize=15485004 memory=932 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3279/stat : 3279 (java) S 3268 3268 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445711569 15856644096 88853 33554432000 4194304 4196468 140734140197392 140559576435280 140560245766043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3280] ppid=3268 vsize=15485004 memory=1448 CPUtime=2 cores=1,3,5,7
/proc/3270/task/3280/stat : 3280 (java) S 3268 3268 24272 0 -1 1077944384 8704 0 0 0 199 1 0 0 20 0 19 0 445711569 15856644096 88853 33554432000 4194304 4196468 140734140197392 140559575382128 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3281] ppid=3268 vsize=15485004 memory=254312 CPUtime=2.38 cores=1,3,5,7
/proc/3270/task/3281/stat : 3281 (java) S 3268 3268 24272 0 -1 1077944384 10938 0 0 0 237 1 0 0 20 0 19 0 445711569 15856644096 88853 33554432000 4194304 4196468 140734140197392 140559574329328 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3282] ppid=3268 vsize=15485004 memory=1448 CPUtime=0.49 cores=1,3,5,7
/proc/3270/task/3282/stat : 3282 (java) S 3268 3268 24272 0 -1 1077944384 4163 0 0 0 48 1 0 0 20 0 19 0 445711569 15856644096 88853 33554432000 4194304 4196468 140734140197392 140559573277040 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3283] ppid=3268 vsize=15485004 memory=230968 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3283/stat : 3283 (java) S 3268 3268 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445711569 15856644096 88853 33554432000 4194304 4196468 140734140197392 140559572224480 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3284] ppid=3268 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3284/stat : 3284 (java) S 3268 3268 24272 0 -1 1077944384 400 0 0 0 0 0 0 0 20 0 19 0 445711569 15856644096 88853 33554432000 4194304 4196468 140734140197392 140559571172272 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3549] ppid=3268 vsize=15485004 memory=0 CPUtime=7.98 cores=1,3,5,7
/proc/3270/task/3549/stat : 3549 (java) R 3268 3268 24272 0 -1 4202560 77 0 0 0 798 0 0 0 20 0 19 0 445711723 15856644096 88853 33554432000 4194304 4196468 140734140197392 140559561137040 140559872751191 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3550] ppid=3268 vsize=15485004 memory=0 CPUtime=8.1 cores=1,3,5,7
/proc/3270/task/3550/stat : 3550 (java) R 3268 3268 24272 0 -1 4202560 421 0 0 0 810 0 0 0 20 0 19 0 445711723 15856644096 88853 33554432000 4194304 4196468 140734140197392 140559557981304 140559872593851 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3551] ppid=3268 vsize=15485004 memory=0 CPUtime=7.97 cores=1,3,5,7
/proc/3270/task/3551/stat : 3551 (java) R 3268 3268 24272 0 -1 4202560 433 0 0 0 797 0 0 0 20 0 19 0 445711723 15856644096 88853 33554432000 4194304 4196468 140734140197392 140559562191864 140559873379926 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3552] ppid=3268 vsize=15485004 memory=3472323898181169265 CPUtime=7.97 cores=1,3,5,7
/proc/3270/task/3552/stat : 3552 (java) R 3268 3268 24272 0 -1 4202560 280 0 0 0 796 1 0 0 20 0 19 0 445711723 15856644096 88853 33554432000 4194304 4196468 140734140197392 140559556927728 140559871467536 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
Current children cumulated CPU time: 40.13 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 356860 KiB
[startup+10.8018 s]
/proc/loadavg: 8.95 8.71 8.50 9/237 3552
/proc/meminfo: memFree=26966344/32770624 swapFree=66997372/67108860
[pid=3268] ppid=3265 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3268/stat : 3268 (xcsp3-exec) S 3265 3268 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445711563 115843072 362 33554432000 4194304 5098028 140726740180880 140726740178984 139741998146172 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 36331520 140726740190074 140726740190317 140726740190317 140726740193226 0
/proc/3268/statm: 28282 362 304 221 0 87 0
[pid=3270] ppid=3268 vsize=15485004 memory=357472 CPUtime=41.72 cores=1,3,5,7
/proc/3270/stat : 3270 (java) S 3268 3268 24272 0 -1 1077944320 41783 0 0 0 4155 17 0 0 20 0 19 0 445711563 15856644096 89368 33554432000 4194304 4196468 140734140197392 140734140179936 140560245747447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
/proc/3270/statm: 3871251 89368 3515 1 0 3832351 0
[pid=3270/tid=3271] ppid=3268 vsize=15485004 memory=1764 CPUtime=0.46 cores=1,3,5,7
/proc/3270/task/3271/stat : 3271 (java) S 3268 3268 24272 0 -1 1077944384 9013 0 0 0 43 3 0 0 20 0 19 0 445711564 15856644096 89368 33554432000 4194304 4196468 140734140197392 140560249988224 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3272] ppid=3268 vsize=15485004 memory=111628 CPUtime=0.01 cores=1,3,5,7
/proc/3270/task/3272/stat : 3272 (java) S 3268 3268 24272 0 -1 1077944384 147 0 0 0 1 0 0 0 20 0 19 0 445711564 15856644096 89368 33554432000 4194304 4196468 140734140197392 140560198367632 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3273] ppid=3268 vsize=15485004 memory=796 CPUtime=0.02 cores=1,3,5,7
/proc/3270/task/3273/stat : 3273 (java) S 3268 3268 24272 0 -1 1077944384 77 0 0 0 2 0 0 0 20 0 19 0 445711564 15856644096 89368 33554432000 4194304 4196468 140734140197392 140560197314832 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3274] ppid=3268 vsize=15485004 memory=1412 CPUtime=0.01 cores=1,3,5,7
/proc/3270/task/3274/stat : 3274 (java) S 3268 3268 24272 0 -1 1077944384 375 0 0 0 1 0 0 0 20 0 19 0 445711564 15856644096 89368 33554432000 4194304 4196468 140734140197392 140560196262544 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3275] ppid=3268 vsize=15485004 memory=8112282956445269571 CPUtime=0.01 cores=1,3,5,7
/proc/3270/task/3275/stat : 3275 (java) S 3268 3268 24272 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 19 0 445711564 15856644096 89368 33554432000 4194304 4196468 140734140197392 140560195209744 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3276] ppid=3268 vsize=15485004 memory=6656426216303648864 CPUtime=0.01 cores=1,3,5,7
/proc/3270/task/3276/stat : 3276 (java) S 3268 3268 24272 0 -1 1077944384 613 0 0 0 1 0 0 0 20 0 19 0 445711566 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559579593328 140560245758594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3277] ppid=3268 vsize=15485004 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3277/stat : 3277 (java) S 3268 3268 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445711566 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559578539360 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3278] ppid=3268 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3278/stat : 3278 (java) S 3268 3268 24272 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 445711566 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559577486976 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3279] ppid=3268 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3279/stat : 3279 (java) S 3268 3268 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445711569 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559576435280 140560245766043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3280] ppid=3268 vsize=15485004 memory=0 CPUtime=2.03 cores=1,3,5,7
/proc/3270/task/3280/stat : 3280 (java) S 3268 3268 24272 0 -1 1077944384 8759 0 0 0 202 1 0 0 20 0 19 0 445711569 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559575382128 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3281] ppid=3268 vsize=15485004 memory=0 CPUtime=2.38 cores=1,3,5,7
/proc/3270/task/3281/stat : 3281 (java) S 3268 3268 24272 0 -1 1077944384 10946 0 0 0 237 1 0 0 20 0 19 0 445711569 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559574329328 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3282] ppid=3268 vsize=15485004 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/3270/task/3282/stat : 3282 (java) S 3268 3268 24272 0 -1 1077944384 4163 0 0 0 48 1 0 0 20 0 19 0 445711569 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559573277040 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3283] ppid=3268 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3283/stat : 3283 (java) S 3268 3268 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445711569 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559572224480 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3284] ppid=3268 vsize=15485004 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3284/stat : 3284 (java) S 3268 3268 24272 0 -1 1077944384 400 0 0 0 0 0 0 0 20 0 19 0 445711569 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559571172272 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3549] ppid=3268 vsize=15485004 memory=0 CPUtime=8.38 cores=1,3,5,7
/proc/3270/task/3549/stat : 3549 (java) R 3268 3268 24272 0 -1 4202560 80 0 0 0 838 0 0 0 20 0 19 0 445711723 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559561136912 140559873379903 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3550] ppid=3268 vsize=15485004 memory=0 CPUtime=8.5 cores=1,3,5,7
/proc/3270/task/3550/stat : 3550 (java) R 3268 3268 24272 0 -1 4202560 431 0 0 0 850 0 0 0 20 0 19 0 445711723 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559557983840 140559873772323 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3551] ppid=3268 vsize=15485004 memory=0 CPUtime=8.37 cores=1,3,5,7
/proc/3270/task/3551/stat : 3551 (java) R 3268 3268 24272 0 -1 4202560 435 0 0 0 837 0 0 0 20 0 19 0 445711723 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559562190984 140559873378961 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3552] ppid=3268 vsize=15485004 memory=0 CPUtime=8.33 cores=1,3,5,7
/proc/3270/task/3552/stat : 3552 (java) R 3268 3268 24272 0 -1 4202560 281 0 0 0 832 1 0 0 20 0 19 0 445711723 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559556927864 140559868995899 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
Current children cumulated CPU time: 41.72 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 358920 KiB
[startup+10.9018 s]
/proc/loadavg: 8.95 8.71 8.50 9/237 3552
/proc/meminfo: memFree=26966344/32770624 swapFree=66997372/67108860
[pid=3268] ppid=3265 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/3268/stat : 3268 (xcsp3-exec) S 3265 3268 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445711563 115843072 362 33554432000 4194304 5098028 140726740180880 140726740178984 139741998146172 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 36331520 140726740190074 140726740190317 140726740190317 140726740193226 0
/proc/3268/statm: 28282 362 304 221 0 87 0
[pid=3270] ppid=3268 vsize=15485004 memory=357472 CPUtime=42.11 cores=1,3,5,7
/proc/3270/stat : 3270 (java) S 3268 3268 24272 0 -1 1077944320 41783 0 0 0 4194 17 0 0 20 0 19 0 445711563 15856644096 89368 33554432000 4194304 4196468 140734140197392 140734140179936 140560245747447 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
/proc/3270/statm: 3871251 89368 3515 1 0 3832351 0
[pid=3270/tid=3271] ppid=3268 vsize=15485004 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/3270/task/3271/stat : 3271 (java) S 3268 3268 24272 0 -1 1077944384 9013 0 0 0 43 3 0 0 20 0 19 0 445711564 15856644096 89368 33554432000 4194304 4196468 140734140197392 140560249988224 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3272] ppid=3268 vsize=15485004 memory=-1161699032755964503 CPUtime=0.01 cores=1,3,5,7
/proc/3270/task/3272/stat : 3272 (java) S 3268 3268 24272 0 -1 1077944384 147 0 0 0 1 0 0 0 20 0 19 0 445711564 15856644096 89368 33554432000 4194304 4196468 140734140197392 140560198367632 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3273] ppid=3268 vsize=15485004 memory=2644 CPUtime=0.02 cores=1,3,5,7
/proc/3270/task/3273/stat : 3273 (java) S 3268 3268 24272 0 -1 1077944384 77 0 0 0 2 0 0 0 20 0 19 0 445711564 15856644096 89368 33554432000 4194304 4196468 140734140197392 140560197314832 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3274] ppid=3268 vsize=15485004 memory=1448 CPUtime=0.01 cores=1,3,5,7
/proc/3270/task/3274/stat : 3274 (java) S 3268 3268 24272 0 -1 1077944384 375 0 0 0 1 0 0 0 20 0 19 0 445711564 15856644096 89368 33554432000 4194304 4196468 140734140197392 140560196262544 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3275] ppid=3268 vsize=15485004 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3270/task/3275/stat : 3275 (java) S 3268 3268 24272 0 -1 1077944384 40 0 0 0 1 0 0 0 20 0 19 0 445711564 15856644096 89368 33554432000 4194304 4196468 140734140197392 140560195209744 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3276] ppid=3268 vsize=15485004 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/3270/task/3276/stat : 3276 (java) S 3268 3268 24272 0 -1 1077944384 613 0 0 0 1 0 0 0 20 0 19 0 445711566 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559579593328 140560245758594 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3277] ppid=3268 vsize=15485004 memory=352564 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3277/stat : 3277 (java) S 3268 3268 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445711566 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559578539360 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3278] ppid=3268 vsize=15485004 memory=349684 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3278/stat : 3278 (java) S 3268 3268 24272 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 445711566 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559577486976 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3279] ppid=3268 vsize=15485004 memory=357316 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3279/stat : 3279 (java) S 3268 3268 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445711569 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559576435280 140560245766043 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3280] ppid=3268 vsize=15485004 memory=1448 CPUtime=2.03 cores=1,3,5,7
/proc/3270/task/3280/stat : 3280 (java) S 3268 3268 24272 0 -1 1077944384 8759 0 0 0 202 1 0 0 20 0 19 0 445711569 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559575382128 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3281] ppid=3268 vsize=15485004 memory=355252 CPUtime=2.38 cores=1,3,5,7
/proc/3270/task/3281/stat : 3281 (java) S 3268 3268 24272 0 -1 1077944384 10946 0 0 0 237 1 0 0 20 0 19 0 445711569 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559574329328 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3282] ppid=3268 vsize=15485004 memory=509 CPUtime=0.49 cores=1,3,5,7
/proc/3270/task/3282/stat : 3282 (java) S 3268 3268 24272 0 -1 1077944384 4163 0 0 0 48 1 0 0 20 0 19 0 445711569 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559573277040 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3283] ppid=3268 vsize=15485004 memory=501 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3283/stat : 3283 (java) S 3268 3268 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445711569 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559572224480 140560245757653 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3284] ppid=3268 vsize=15485004 memory=493 CPUtime=0 cores=1,3,5,7
/proc/3270/task/3284/stat : 3284 (java) S 3268 3268 24272 0 -1 1077944384 400 0 0 0 0 0 0 0 20 0 19 0 445711569 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559571172272 140560245758594 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3549] ppid=3268 vsize=15485004 memory=1448 CPUtime=8.48 cores=1,3,5,7
/proc/3270/task/3549/stat : 3549 (java) R 3268 3268 24272 0 -1 4202560 80 0 0 0 848 0 0 0 20 0 19 0 445711723 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559561136912 140560227153722 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3550] ppid=3268 vsize=15485004 memory=355412 CPUtime=8.6 cores=1,3,5,7
/proc/3270/task/3550/stat : 3550 (java) R 3268 3268 24272 0 -1 4202560 431 0 0 0 860 0 0 0 20 0 19 0 445711723 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559557983840 140559871467723 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3551] ppid=3268 vsize=15485004 memory=26204 CPUtime=8.47 cores=1,3,5,7
/proc/3270/task/3551/stat : 3551 (java) R 3268 3268 24272 0 -1 4202560 435 0 0 0 847 0 0 0 20 0 19 0 445711723 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559562190984 140559873379981 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
[pid=3270/tid=3552] ppid=3268 vsize=15485004 memory=12024 CPUtime=8.43 cores=1,3,5,7
/proc/3270/task/3552/stat : 3552 (java) R 3268 3268 24272 0 -1 4202560 281 0 0 0 842 1 0 0 20 0 19 0 445711723 15856644096 89368 33554432000 4194304 4196468 140734140197392 140559556927864 140559869121006 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31481856 140734140204015 140734140204186 140734140204186 140734140207055 0
Current children cumulated CPU time: 42.11 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 358920 KiB
Child status: 0
Real time (s): 10.9589
CPU time (s): 42.3351
CPU user time (s): 42.1495
CPU system time (s): 0.185599
CPU usage (%): 386.307
Max. virtual memory (cumulated for all children) (KiB): 15600116
Max. memory (cumulated for all children) (KiB): 360208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.1495
system time used= 0.185599
maximum resident set size= 359396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42693
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4125
involuntary context switches= 1291
# summary of solver processes directly reported to runsolver:
# pid: 3268
# total CPU time (s): 42.3351
# total CPU user time (s): 42.1495
# total CPU system time (s): 0.185599
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.093102 second user time and 0.167584 second system time
The end