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 (15083 MiB free)
memory of node 1: 16384 MiB (15529 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400501-1568679350/watcher-4400501-1568679350 -o /tmp/evaluation-result-4400501-1568679350/solver-4400501-1568679350 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32545 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1684773503 HOME/instance-4400501-1568679350.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
Current StackSize limit: 8192 KiB
solver pid=10245, runsolver pid=10242
[startup+0.10006 s]*
/proc/loadavg: 8.30 8.54 8.50 7/234 10261
/proc/meminfo: memFree=31331380/32770624 swapFree=66997372/67108860
[pid=10245] ppid=10242 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (xcsp3-exec) S 10242 10245 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444188074 115843072 363 33554432000 4194304 5098028 140721318589968 140721318588072 140483359572604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28606464 140721318597498 140721318597741 140721318597741 140721318600650 0
/proc/10245/statm: 28282 363 304 221 0 87 0
[pid=10247] ppid=10245 vsize=15144776 memory=29052 CPUtime=0.13 cores=1,3,5,7
/proc/10247/stat : 10247 (java) S 10245 10245 32513 0 -1 1077944320 5729 0 0 0 12 1 0 0 20 0 15 0 444188074 15508250624 7263 33554432000 4194304 4196468 140721524634720 140721524617264 140203811860215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
/proc/10247/statm: 3786194 7263 3089 1 0 3748377 0
[pid=10247/tid=10248] ppid=10245 vsize=15144776 memory=7031125463459224206 CPUtime=0.08 cores=1,3,5,7
/proc/10247/task/10248/stat : 10248 (java) R 10245 10245 32513 0 -1 4202560 3652 0 0 0 8 0 0 0 20 0 15 0 444188074 15508250624 7263 33554432000 4194304 4196468 140721524634720 140203816082272 140203811881562 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10249] ppid=10245 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10249/stat : 10249 (java) S 10245 10245 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444188075 15508250624 7263 33554432000 4194304 4196468 140721524634720 140203772819728 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10250] ppid=10245 vsize=15144776 memory=139761357366912 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10250/stat : 10250 (java) S 10245 10245 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444188075 15508250624 7263 33554432000 4194304 4196468 140721524634720 140203403483536 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10251] ppid=10245 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10251/stat : 10251 (java) S 10245 10245 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444188075 15508250624 7263 33554432000 4194304 4196468 140721524634720 140203402430992 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10252] ppid=10245 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10252/stat : 10252 (java) S 10245 10245 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444188075 15508250624 7263 33554432000 4194304 4196468 140721524634720 140203401378448 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10253] ppid=10245 vsize=15144776 memory=139761357366912 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10253/stat : 10253 (java) S 10245 10245 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444188077 15508250624 7263 33554432000 4194304 4196468 140721524634720 140202685958640 140203811871362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10254] ppid=10245 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10254/stat : 10254 (java) S 10245 10245 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444188077 15508250624 7263 33554432000 4194304 4196468 140721524634720 140202684904864 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10255] ppid=10245 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10255/stat : 10255 (java) S 10245 10245 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444188077 15508250624 7263 33554432000 4194304 4196468 140721524634720 140202683852272 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10256] ppid=10245 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10256/stat : 10256 (java) S 10245 10245 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444188080 15508250624 7263 33554432000 4194304 4196468 140721524634720 140202682800848 140203811878811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10257] ppid=10245 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10257/stat : 10257 (java) R 10245 10245 32513 0 -1 4202560 58 0 0 0 0 0 0 0 20 0 15 0 444188080 15508250624 7263 33554432000 4194304 4196468 140721524634720 140202681746624 140203797526368 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10258] ppid=10245 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10258/stat : 10258 (java) R 10245 10245 32513 0 -1 1077944384 395 0 0 0 0 0 0 0 20 0 15 0 444188080 15508250624 7263 33554432000 4194304 4196468 140721524634720 140202680694992 140203811870421 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10259] ppid=10245 vsize=15144776 memory=139761357366912 CPUtime=0.02 cores=1,3,5,7
/proc/10247/task/10259/stat : 10259 (java) R 10245 10245 32513 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 15 0 444188080 15508250624 7263 33554432000 4194304 4196468 140721524634720 140202679642352 140203796113204 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10260] ppid=10245 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10260/stat : 10260 (java) S 10245 10245 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444188080 15508250624 7263 33554432000 4194304 4196468 140721524634720 140202678590048 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10261] ppid=10245 vsize=15144776 memory=139761357366912 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10261/stat : 10261 (java) S 10245 10245 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444188080 15508250624 7263 33554432000 4194304 4196468 140721524634720 140202677537584 140203811871362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30504 KiB
[startup+0.210961 s]*
/proc/loadavg: 8.30 8.54 8.50 7/234 10261
/proc/meminfo: memFree=31318884/32770624 swapFree=66997372/67108860
[pid=10245] ppid=10242 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (xcsp3-exec) S 10242 10245 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444188074 115843072 363 33554432000 4194304 5098028 140721318589968 140721318588072 140483359572604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28606464 140721318597498 140721318597741 140721318597741 140721318600650 0
/proc/10245/statm: 28282 363 304 221 0 87 0
[pid=10247] ppid=10245 vsize=15144776 memory=40468 CPUtime=0.34 cores=1,3,5,7
/proc/10247/stat : 10247 (java) S 10245 10245 32513 0 -1 1077944320 9362 0 0 0 31 3 0 0 20 0 15 0 444188074 15508250624 10117 33554432000 4194304 4196468 140721524634720 140721524617264 140203811860215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
/proc/10247/statm: 3786194 10117 3300 1 0 3748377 0
[pid=10247/tid=10248] ppid=10245 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/10247/task/10248/stat : 10248 (java) R 10245 10245 32513 0 -1 4202560 6648 0 0 0 18 2 0 0 20 0 15 0 444188074 15508250624 10117 33554432000 4194304 4196468 140721524634720 140203816094336 140203795940702 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10249] ppid=10245 vsize=15144776 memory=4294976396 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10249/stat : 10249 (java) S 10245 10245 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444188075 15508250624 10117 33554432000 4194304 4196468 140721524634720 140203772819728 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10250] ppid=10245 vsize=15144776 memory=139761357393134 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10250/stat : 10250 (java) S 10245 10245 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444188075 15508250624 10117 33554432000 4194304 4196468 140721524634720 140203403483536 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10251] ppid=10245 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10251/stat : 10251 (java) S 10245 10245 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444188075 15508250624 10117 33554432000 4194304 4196468 140721524634720 140203402430992 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10252] ppid=10245 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10252/stat : 10252 (java) S 10245 10245 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444188075 15508250624 10117 33554432000 4194304 4196468 140721524634720 140203401378448 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10253] ppid=10245 vsize=15144776 memory=139761357366912 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10253/stat : 10253 (java) S 10245 10245 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444188077 15508250624 10117 33554432000 4194304 4196468 140721524634720 140202685958640 140203811871362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10254] ppid=10245 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10254/stat : 10254 (java) S 10245 10245 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444188077 15508250624 10117 33554432000 4194304 4196468 140721524634720 140202684904864 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10255] ppid=10245 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10255/stat : 10255 (java) S 10245 10245 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444188077 15508250624 10117 33554432000 4194304 4196468 140721524634720 140202683852272 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10256] ppid=10245 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10256/stat : 10256 (java) S 10245 10245 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444188080 15508250624 10117 33554432000 4194304 4196468 140721524634720 140202682800848 140203811878811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10257] ppid=10245 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10247/task/10257/stat : 10257 (java) R 10245 10245 32513 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 15 0 444188080 15508250624 10117 33554432000 4194304 4196468 140721524634720 140202681747440 140203811871362 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10258] ppid=10245 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/10247/task/10258/stat : 10258 (java) S 10245 10245 32513 0 -1 1077944384 530 0 0 0 3 0 0 0 20 0 15 0 444188080 15508250624 10117 33554432000 4194304 4196468 140721524634720 140202680694896 140203811871362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10259] ppid=10245 vsize=15144776 memory=139761357366912 CPUtime=0.08 cores=1,3,5,7
/proc/10247/task/10259/stat : 10259 (java) R 10245 10245 32513 0 -1 4202560 785 0 0 0 8 0 0 0 20 0 15 0 444188080 15508250624 10117 33554432000 4194304 4196468 140721524634720 140202679642352 140203811881562 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10260] ppid=10245 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10260/stat : 10260 (java) S 10245 10245 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444188080 15508250624 10117 33554432000 4194304 4196468 140721524634720 140202678590048 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10261] ppid=10245 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10261/stat : 10261 (java) S 10245 10245 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444188080 15508250624 10117 33554432000 4194304 4196468 140721524634720 140202677537584 140203811871362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41920 KiB
[startup+0.317598 s]*
/proc/loadavg: 8.30 8.54 8.50 7/234 10261
/proc/meminfo: memFree=31311476/32770624 swapFree=66997372/67108860
[pid=10245] ppid=10242 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (xcsp3-exec) S 10242 10245 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444188074 115843072 363 33554432000 4194304 5098028 140721318589968 140721318588072 140483359572604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28606464 140721318597498 140721318597741 140721318597741 140721318600650 0
/proc/10245/statm: 28282 363 304 221 0 87 0
[pid=10247] ppid=10245 vsize=15149032 memory=50516 CPUtime=0.54 cores=1,3,5,7
/proc/10247/stat : 10247 (java) S 10245 10245 32513 0 -1 1077944320 10937 0 0 0 51 3 0 0 20 0 15 0 444188074 15512608768 12629 33554432000 4194304 4196468 140721524634720 140721524617264 140203811860215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
/proc/10247/statm: 3787258 12629 3372 1 0 3748377 0
[pid=10247/tid=10248] ppid=10245 vsize=15149032 memory=32213995742560408 CPUtime=0.3 cores=1,3,5,7
/proc/10247/task/10248/stat : 10248 (java) R 10245 10245 32513 0 -1 4202560 7902 0 0 0 28 2 0 0 20 0 15 0 444188074 15512608768 12629 33554432000 4194304 4196468 140721524634720 140203816097040 140203795940702 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10249] ppid=10245 vsize=15149032 memory=288230600379474824 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10249/stat : 10249 (java) S 10245 10245 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444188075 15512608768 12629 33554432000 4194304 4196468 140721524634720 140203772819728 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10250] ppid=10245 vsize=15149032 memory=15822218080154965 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10250/stat : 10250 (java) S 10245 10245 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444188075 15512608768 12629 33554432000 4194304 4196468 140721524634720 140203403483536 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10251] ppid=10245 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10251/stat : 10251 (java) S 10245 10245 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444188075 15512608768 12629 33554432000 4194304 4196468 140721524634720 140203402430992 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10252] ppid=10245 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10252/stat : 10252 (java) S 10245 10245 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444188075 15512608768 12629 33554432000 4194304 4196468 140721524634720 140203401378448 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10253] ppid=10245 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10253/stat : 10253 (java) S 10245 10245 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444188077 15512608768 12629 33554432000 4194304 4196468 140721524634720 140202685958640 140203811871362 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10254] ppid=10245 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10254/stat : 10254 (java) S 10245 10245 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444188077 15512608768 12629 33554432000 4194304 4196468 140721524634720 140202684904864 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10255] ppid=10245 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10255/stat : 10255 (java) S 10245 10245 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444188077 15512608768 12629 33554432000 4194304 4196468 140721524634720 140202683852272 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10256] ppid=10245 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10256/stat : 10256 (java) S 10245 10245 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444188080 15512608768 12629 33554432000 4194304 4196468 140721524634720 140202682800848 140203811878811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10257] ppid=10245 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10247/task/10257/stat : 10257 (java) S 10245 10245 32513 0 -1 1077944384 132 0 0 0 3 0 0 0 20 0 15 0 444188080 15512608768 12629 33554432000 4194304 4196468 140721524634720 140202681747440 140203811871362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10258] ppid=10245 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/10247/task/10258/stat : 10258 (java) S 10245 10245 32513 0 -1 1077944384 677 0 0 0 6 0 0 0 20 0 15 0 444188080 15512608768 12629 33554432000 4194304 4196468 140721524634720 140202680694896 140203811871362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10259] ppid=10245 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/10247/task/10259/stat : 10259 (java) S 10245 10245 32513 0 -1 1077944384 931 0 0 0 12 0 0 0 20 0 15 0 444188080 15512608768 12629 33554432000 4194304 4196468 140721524634720 140202679642352 140203811871362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10260] ppid=10245 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10260/stat : 10260 (java) S 10245 10245 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444188080 15512608768 12629 33554432000 4194304 4196468 140721524634720 140202678590048 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10261] ppid=10245 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10261/stat : 10261 (java) S 10245 10245 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444188080 15512608768 12629 33554432000 4194304 4196468 140721524634720 140202677537584 140203811871362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51968 KiB
[startup+0.703115 s]
/proc/loadavg: 8.30 8.54 8.50 7/234 10261
/proc/meminfo: memFree=31296520/32770624 swapFree=66997372/67108860
[pid=10245] ppid=10242 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (xcsp3-exec) S 10242 10245 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444188074 115843072 363 33554432000 4194304 5098028 140721318589968 140721318588072 140483359572604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28606464 140721318597498 140721318597741 140721318597741 140721318600650 0
/proc/10245/statm: 28282 363 304 221 0 87 0
[pid=10247] ppid=10245 vsize=15483976 memory=127768 CPUtime=1.7 cores=1,3,5,7
/proc/10247/stat : 10247 (java) S 10245 10245 32513 0 -1 1077944320 15348 0 0 0 165 5 0 0 20 0 19 0 444188074 15855591424 31942 33554432000 4194304 4196468 140721524634720 140721524617264 140203811860215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
/proc/10247/statm: 3870994 31942 3458 1 0 3832094 0
[pid=10247/tid=10248] ppid=10245 vsize=15483976 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/10247/task/10248/stat : 10248 (java) S 10245 10245 32513 0 -1 1077944384 9235 0 0 0 52 3 0 0 20 0 19 0 444188074 15855591424 31942 33554432000 4194304 4196468 140721524634720 140203816100992 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10249] ppid=10245 vsize=15483976 memory=143 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10249/stat : 10249 (java) S 10245 10245 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444188075 15855591424 31942 33554432000 4194304 4196468 140721524634720 140203772819728 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10250] ppid=10245 vsize=15483976 memory=2 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10250/stat : 10250 (java) S 10245 10245 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444188075 15855591424 31942 33554432000 4194304 4196468 140721524634720 140203403483536 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10251] ppid=10245 vsize=15483976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10251/stat : 10251 (java) S 10245 10245 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444188075 15855591424 31942 33554432000 4194304 4196468 140721524634720 140203402430992 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10252] ppid=10245 vsize=15483976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10252/stat : 10252 (java) S 10245 10245 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444188075 15855591424 31942 33554432000 4194304 4196468 140721524634720 140203401378448 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10253] ppid=10245 vsize=15483976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10253/stat : 10253 (java) S 10245 10245 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 444188077 15855591424 31942 33554432000 4194304 4196468 140721524634720 140202685958640 140203811871362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10254] ppid=10245 vsize=15483976 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10254/stat : 10254 (java) S 10245 10245 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444188077 15855591424 31942 33554432000 4194304 4196468 140721524634720 140202684904864 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10255] ppid=10245 vsize=15483976 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10255/stat : 10255 (java) S 10245 10245 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 444188077 15855591424 31942 33554432000 4194304 4196468 140721524634720 140202683852272 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10256] ppid=10245 vsize=15483976 memory=812 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10256/stat : 10256 (java) S 10245 10245 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444188080 15855591424 31942 33554432000 4194304 4196468 140721524634720 140202682800848 140203811878811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10257] ppid=10245 vsize=15483976 memory=1764 CPUtime=0.26 cores=1,3,5,7
/proc/10247/task/10257/stat : 10257 (java) R 10245 10245 32513 0 -1 4202560 822 0 0 0 26 0 0 0 20 0 19 0 444188080 15855591424 31942 33554432000 4194304 4196468 140721524634720 140202681734176 140203795360807 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10258] ppid=10245 vsize=15483976 memory=111628 CPUtime=0.3 cores=1,3,5,7
/proc/10247/task/10258/stat : 10258 (java) R 10245 10245 32513 0 -1 4202560 1445 0 0 0 30 0 0 0 20 0 19 0 444188080 15855591424 31942 33554432000 4194304 4196468 140721524634720 140202680680992 140203796985594 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10259] ppid=10245 vsize=15483976 memory=796 CPUtime=0.37 cores=1,3,5,7
/proc/10247/task/10259/stat : 10259 (java) R 10245 10245 32513 0 -1 1077944384 1861 0 0 0 37 0 0 0 20 0 19 0 444188080 15855591424 31942 33554432000 4194304 4196468 140721524634720 140202679642352 140203811871362 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10260] ppid=10245 vsize=15483976 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10260/stat : 10260 (java) S 10245 10245 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444188080 15855591424 31942 33554432000 4194304 4196468 140721524634720 140202678590048 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10261] ppid=10245 vsize=15483976 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10261/stat : 10261 (java) S 10245 10245 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444188080 15855591424 31942 33554432000 4194304 4196468 140721524634720 140202677537584 140203811871362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 129220 KiB
[startup+1.5066 s]
/proc/loadavg: 8.30 8.54 8.50 12/238 10321
/proc/meminfo: memFree=31178968/32770624 swapFree=66997372/67108860
[pid=10245] ppid=10242 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (xcsp3-exec) S 10242 10245 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444188074 115843072 363 33554432000 4194304 5098028 140721318589968 140721318588072 140483359572604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28606464 140721318597498 140721318597741 140721318597741 140721318600650 0
/proc/10245/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/10247/task/10261/stat : 10261 (java) S 10245 10245 32513 0 -1 1077944384 625 0 0 0 0 1 0 0 20 0 19 0 444188080 15856644096 42492 33554432000 4194304 4196468 140721524634720 140202677537584 140203811871362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10343] ppid=10245 vsize=15485004 memory=14695184180992306 CPUtime=47.45 cores=1,3,5,7
/proc/10247/task/10343/stat : 10343 (java) R 10245 10245 32513 0 -1 4202560 442 0 0 0 4745 0 0 0 20 0 19 0 444189689 15856644096 42492 33554432000 4194304 4196468 140721524634720 140202666212488 140203797070830 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10344] ppid=10245 vsize=15485004 memory=0 CPUtime=47.52 cores=1,3,5,7
/proc/10247/task/10344/stat : 10344 (java) R 10245 10245 32513 0 -1 4202560 1251 0 0 0 4752 0 0 0 20 0 19 0 444189689 15856644096 42492 33554432000 4194304 4196468 140721524634720 140202664110480 140203456090119 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10345] ppid=10245 vsize=15485004 memory=45924 CPUtime=47.48 cores=1,3,5,7
/proc/10247/task/10345/stat : 10345 (java) R 10245 10245 32513 0 -1 4202560 943 0 0 0 4748 0 0 0 20 0 19 0 444189689 15856644096 42492 33554432000 4194304 4196468 140721524634720 140202668318936 140203453001949 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10346] ppid=10245 vsize=15485004 memory=0 CPUtime=47.61 cores=1,3,5,7
/proc/10247/task/10346/stat : 10346 (java) R 10245 10245 32513 0 -1 4202560 812 0 0 0 4761 0 0 0 20 0 19 0 444189689 15856644096 42492 33554432000 4194304 4196468 140721524634720 140202663054368 140203456180706 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
Current children cumulated CPU time: 253.43 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 171420 KiB
[startup+64.4016 s]
/proc/loadavg: 8.27 8.50 8.49 10/237 10349
/proc/meminfo: memFree=31222436/32770624 swapFree=66997372/67108860
[pid=10245] ppid=10242 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (xcsp3-exec) S 10242 10245 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444188074 115843072 363 33554432000 4194304 5098028 140721318589968 140721318588072 140483359572604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28606464 140721318597498 140721318597741 140721318597741 140721318600650 0
/proc/10245/statm: 28282 363 304 221 0 87 0
[pid=10247] ppid=10245 vsize=15485004 memory=167404 CPUtime=254.98 cores=1,3,5,7
/proc/10247/stat : 10247 (java) S 10245 10245 32513 0 -1 1077944320 56870 0 0 0 25483 15 0 0 20 0 19 0 444188074 15856644096 41851 33554432000 4194304 4196468 140721524634720 140721524617264 140203811860215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
/proc/10247/statm: 3871251 41851 3519 1 0 3832351 0
[pid=10247/tid=10248] ppid=10245 vsize=15485004 memory=169968 CPUtime=0.56 cores=1,3,5,7
/proc/10247/task/10248/stat : 10248 (java) S 10245 10245 32513 0 -1 1077944384 9622 0 0 0 53 3 0 0 20 0 19 0 444188074 15856644096 41851 33554432000 4194304 4196468 140721524634720 140203816100992 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10249] ppid=10245 vsize=15485004 memory=152496 CPUtime=0.03 cores=1,3,5,7
/proc/10247/task/10249/stat : 10249 (java) S 10245 10245 32513 0 -1 1077944384 1559 0 0 0 2 1 0 0 20 0 19 0 444188075 15856644096 41851 33554432000 4194304 4196468 140721524634720 140203772819728 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10250] ppid=10245 vsize=15485004 memory=1412 CPUtime=0.03 cores=1,3,5,7
/proc/10247/task/10250/stat : 10250 (java) S 10245 10245 32513 0 -1 1077944384 1511 0 0 0 3 0 0 0 20 0 19 0 444188075 15856644096 41851 33554432000 4194304 4196468 140721524634720 140203403483536 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10251] ppid=10245 vsize=15485004 memory=3060 CPUtime=0.03 cores=1,3,5,7
/proc/10247/task/10251/stat : 10251 (java) S 10245 10245 32513 0 -1 1077944384 2371 0 0 0 3 0 0 0 20 0 19 0 444188075 15856644096 41851 33554432000 4194304 4196468 140721524634720 140203402430992 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10252] ppid=10245 vsize=15485004 memory=1452 CPUtime=0.03 cores=1,3,5,7
/proc/10247/task/10252/stat : 10252 (java) S 10245 10245 32513 0 -1 1077944384 1431 0 0 0 3 0 0 0 20 0 19 0 444188075 15856644096 41851 33554432000 4194304 4196468 140721524634720 140203401378448 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10253] ppid=10245 vsize=15485004 memory=169968 CPUtime=0.02 cores=1,3,5,7
/proc/10247/task/10253/stat : 10253 (java) S 10245 10245 32513 0 -1 1077944384 1906 0 0 0 2 0 0 0 20 0 19 0 444188077 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202685958640 140203811871362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10254] ppid=10245 vsize=15485004 memory=1756 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10254/stat : 10254 (java) S 10245 10245 32513 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 444188077 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202684904928 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10255] ppid=10245 vsize=15485004 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10255/stat : 10255 (java) S 10245 10245 32513 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 444188077 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202683852288 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10256] ppid=10245 vsize=15485004 memory=920 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10256/stat : 10256 (java) S 10245 10245 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444188080 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202682800848 140203811878811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10257] ppid=10245 vsize=15485004 memory=3848 CPUtime=2.61 cores=1,3,5,7
/proc/10247/task/10257/stat : 10257 (java) S 10245 10245 32513 0 -1 1077944384 10318 0 0 0 259 2 0 0 20 0 19 0 444188080 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202681747440 140203811871362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10258] ppid=10245 vsize=15485004 memory=2668 CPUtime=2.74 cores=1,3,5,7
/proc/10247/task/10258/stat : 10258 (java) S 10245 10245 32513 0 -1 1077944384 11787 0 0 0 274 0 0 0 20 0 19 0 444188080 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202680694896 140203811871362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10259] ppid=10245 vsize=15485004 memory=2672 CPUtime=0.73 cores=1,3,5,7
/proc/10247/task/10259/stat : 10259 (java) S 10245 10245 32513 0 -1 1077944384 6083 0 0 0 72 1 0 0 20 0 19 0 444188080 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202679642352 140203811871362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10260] ppid=10245 vsize=15485004 memory=6935054825532540783 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10260/stat : 10260 (java) S 10245 10245 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444188080 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202678590048 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10261] ppid=10245 vsize=15485004 memory=4126316290023845779 CPUtime=0.01 cores=1,3,5,7
/proc/10247/task/10261/stat : 10261 (java) S 10245 10245 32513 0 -1 1077944384 625 0 0 0 0 1 0 0 20 0 19 0 444188080 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202677537584 140203811871362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10343] ppid=10245 vsize=15485004 memory=279522512155696 CPUtime=47.83 cores=1,3,5,7
/proc/10247/task/10343/stat : 10343 (java) R 10245 10245 32513 0 -1 4202560 443 0 0 0 4783 0 0 0 20 0 19 0 444189689 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202666213112 140203453384473 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10344] ppid=10245 vsize=15485004 memory=46186803235306 CPUtime=47.91 cores=1,3,5,7
/proc/10247/task/10344/stat : 10344 (java) R 10245 10245 32513 0 -1 4202560 1251 0 0 0 4791 0 0 0 20 0 19 0 444189689 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202664108144 140203454043245 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10345] ppid=10245 vsize=15485004 memory=46186803235050 CPUtime=47.86 cores=1,3,5,7
/proc/10247/task/10345/stat : 10345 (java) R 10245 10245 32513 0 -1 4202560 943 0 0 0 4786 0 0 0 20 0 19 0 444189689 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202668318800 140203453002224 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10346] ppid=10245 vsize=15485004 memory=1452 CPUtime=48 cores=1,3,5,7
/proc/10247/task/10346/stat : 10346 (java) R 10245 10245 32513 0 -1 4202560 812 0 0 0 4800 0 0 0 20 0 19 0 444189689 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202663057040 140203453002805 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
Current children cumulated CPU time: 254.98 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 168856 KiB
[startup+64.8016 s]
/proc/loadavg: 8.27 8.50 8.49 10/237 10349
/proc/meminfo: memFree=31222436/32770624 swapFree=66997372/67108860
[pid=10245] ppid=10242 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (xcsp3-exec) S 10242 10245 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444188074 115843072 363 33554432000 4194304 5098028 140721318589968 140721318588072 140483359572604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28606464 140721318597498 140721318597741 140721318597741 140721318600650 0
/proc/10245/statm: 28282 363 304 221 0 87 0
[pid=10247] ppid=10245 vsize=15485004 memory=167404 CPUtime=256.58 cores=1,3,5,7
/proc/10247/stat : 10247 (java) S 10245 10245 32513 0 -1 1077944320 56871 0 0 0 25643 15 0 0 20 0 19 0 444188074 15856644096 41851 33554432000 4194304 4196468 140721524634720 140721524617264 140203811860215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
/proc/10247/statm: 3871251 41851 3519 1 0 3832351 0
[pid=10247/tid=10248] ppid=10245 vsize=15485004 memory=111628 CPUtime=0.56 cores=1,3,5,7
/proc/10247/task/10248/stat : 10248 (java) S 10245 10245 32513 0 -1 1077944384 9622 0 0 0 53 3 0 0 20 0 19 0 444188074 15856644096 41851 33554432000 4194304 4196468 140721524634720 140203816100992 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10249] ppid=10245 vsize=15485004 memory=796 CPUtime=0.03 cores=1,3,5,7
/proc/10247/task/10249/stat : 10249 (java) S 10245 10245 32513 0 -1 1077944384 1559 0 0 0 2 1 0 0 20 0 19 0 444188075 15856644096 41851 33554432000 4194304 4196468 140721524634720 140203772819728 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10250] ppid=10245 vsize=15485004 memory=4100 CPUtime=0.03 cores=1,3,5,7
/proc/10247/task/10250/stat : 10250 (java) S 10245 10245 32513 0 -1 1077944384 1511 0 0 0 3 0 0 0 20 0 19 0 444188075 15856644096 41851 33554432000 4194304 4196468 140721524634720 140203403483536 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10251] ppid=10245 vsize=15485004 memory=1412 CPUtime=0.03 cores=1,3,5,7
/proc/10247/task/10251/stat : 10251 (java) S 10245 10245 32513 0 -1 1077944384 2371 0 0 0 3 0 0 0 20 0 19 0 444188075 15856644096 41851 33554432000 4194304 4196468 140721524634720 140203402430992 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10252] ppid=10245 vsize=15485004 memory=1452 CPUtime=0.03 cores=1,3,5,7
/proc/10247/task/10252/stat : 10252 (java) S 10245 10245 32513 0 -1 1077944384 1431 0 0 0 3 0 0 0 20 0 19 0 444188075 15856644096 41851 33554432000 4194304 4196468 140721524634720 140203401378448 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10253] ppid=10245 vsize=15485004 memory=169968 CPUtime=0.02 cores=1,3,5,7
/proc/10247/task/10253/stat : 10253 (java) S 10245 10245 32513 0 -1 1077944384 1906 0 0 0 2 0 0 0 20 0 19 0 444188077 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202685958640 140203811871362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10254] ppid=10245 vsize=15485004 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10254/stat : 10254 (java) S 10245 10245 32513 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 444188077 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202684904928 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10255] ppid=10245 vsize=15485004 memory=1668 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10255/stat : 10255 (java) S 10245 10245 32513 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 444188077 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202683852288 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10256] ppid=10245 vsize=15485004 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10256/stat : 10256 (java) S 10245 10245 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444188080 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202682800848 140203811878811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10257] ppid=10245 vsize=15485004 memory=1452 CPUtime=2.61 cores=1,3,5,7
/proc/10247/task/10257/stat : 10257 (java) S 10245 10245 32513 0 -1 1077944384 10318 0 0 0 259 2 0 0 20 0 19 0 444188080 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202681747440 140203811871362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10258] ppid=10245 vsize=15485004 memory=6791534058613427641 CPUtime=2.74 cores=1,3,5,7
/proc/10247/task/10258/stat : 10258 (java) S 10245 10245 32513 0 -1 1077944384 11787 0 0 0 274 0 0 0 20 0 19 0 444188080 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202680694896 140203811871362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10259] ppid=10245 vsize=15485004 memory=0 CPUtime=0.73 cores=1,3,5,7
/proc/10247/task/10259/stat : 10259 (java) S 10245 10245 32513 0 -1 1077944384 6083 0 0 0 72 1 0 0 20 0 19 0 444188080 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202679642352 140203811871362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10260] ppid=10245 vsize=15485004 memory=4545 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10260/stat : 10260 (java) S 10245 10245 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444188080 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202678590048 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10261] ppid=10245 vsize=15485004 memory=4552 CPUtime=0.01 cores=1,3,5,7
/proc/10247/task/10261/stat : 10261 (java) S 10245 10245 32513 0 -1 1077944384 625 0 0 0 0 1 0 0 20 0 19 0 444188080 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202677537584 140203811871362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10343] ppid=10245 vsize=15485004 memory=4551 CPUtime=48.23 cores=1,3,5,7
/proc/10247/task/10343/stat : 10343 (java) R 10245 10245 32513 0 -1 4202560 443 0 0 0 4823 0 0 0 20 0 19 0 444189689 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202666213112 140203454250484 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10344] ppid=10245 vsize=15485004 memory=4561 CPUtime=48.31 cores=1,3,5,7
/proc/10247/task/10344/stat : 10344 (java) R 10245 10245 32513 0 -1 4202560 1251 0 0 0 4831 0 0 0 20 0 19 0 444189689 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202664108144 140203455036233 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10345] ppid=10245 vsize=15485004 memory=3 CPUtime=48.26 cores=1,3,5,7
/proc/10247/task/10345/stat : 10345 (java) R 10245 10245 32513 0 -1 4202560 943 0 0 0 4826 0 0 0 20 0 19 0 444189689 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202668318800 140203453002378 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10346] ppid=10245 vsize=15485004 memory=2828 CPUtime=48.4 cores=1,3,5,7
/proc/10247/task/10346/stat : 10346 (java) R 10245 10245 32513 0 -1 4202560 813 0 0 0 4840 0 0 0 20 0 19 0 444189689 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202663057040 140203453001910 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
Current children cumulated CPU time: 256.58 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 168856 KiB
[startup+64.9016 s]
/proc/loadavg: 8.27 8.50 8.49 10/237 10349
/proc/meminfo: memFree=31222436/32770624 swapFree=66997372/67108860
[pid=10245] ppid=10242 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10245/stat : 10245 (xcsp3-exec) S 10242 10245 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444188074 115843072 363 33554432000 4194304 5098028 140721318589968 140721318588072 140483359572604 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 28606464 140721318597498 140721318597741 140721318597741 140721318600650 0
/proc/10245/statm: 28282 363 304 221 0 87 0
[pid=10247] ppid=10245 vsize=15485004 memory=167404 CPUtime=256.98 cores=1,3,5,7
/proc/10247/stat : 10247 (java) S 10245 10245 32513 0 -1 1077944320 56871 0 0 0 25683 15 0 0 20 0 19 0 444188074 15856644096 41851 33554432000 4194304 4196468 140721524634720 140721524617264 140203811860215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
/proc/10247/statm: 3871251 41851 3519 1 0 3832351 0
[pid=10247/tid=10248] ppid=10245 vsize=15485004 memory=1452 CPUtime=0.56 cores=1,3,5,7
/proc/10247/task/10248/stat : 10248 (java) S 10245 10245 32513 0 -1 1077944384 9622 0 0 0 53 3 0 0 20 0 19 0 444188074 15856644096 41851 33554432000 4194304 4196468 140721524634720 140203816100992 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10249] ppid=10245 vsize=15485004 memory=14008 CPUtime=0.03 cores=1,3,5,7
/proc/10247/task/10249/stat : 10249 (java) S 10245 10245 32513 0 -1 1077944384 1559 0 0 0 2 1 0 0 20 0 19 0 444188075 15856644096 41851 33554432000 4194304 4196468 140721524634720 140203772819728 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10250] ppid=10245 vsize=15485004 memory=2124 CPUtime=0.03 cores=1,3,5,7
/proc/10247/task/10250/stat : 10250 (java) S 10245 10245 32513 0 -1 1077944384 1511 0 0 0 3 0 0 0 20 0 19 0 444188075 15856644096 41851 33554432000 4194304 4196468 140721524634720 140203403483536 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10251] ppid=10245 vsize=15485004 memory=169968 CPUtime=0.03 cores=1,3,5,7
/proc/10247/task/10251/stat : 10251 (java) S 10245 10245 32513 0 -1 1077944384 2371 0 0 0 3 0 0 0 20 0 19 0 444188075 15856644096 41851 33554432000 4194304 4196468 140721524634720 140203402430992 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10252] ppid=10245 vsize=15485004 memory=1452 CPUtime=0.03 cores=1,3,5,7
/proc/10247/task/10252/stat : 10252 (java) S 10245 10245 32513 0 -1 1077944384 1431 0 0 0 3 0 0 0 20 0 19 0 444188075 15856644096 41851 33554432000 4194304 4196468 140721524634720 140203401378448 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10253] ppid=10245 vsize=15485004 memory=186380 CPUtime=0.02 cores=1,3,5,7
/proc/10247/task/10253/stat : 10253 (java) S 10245 10245 32513 0 -1 1077944384 1906 0 0 0 2 0 0 0 20 0 19 0 444188077 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202685958640 140203811871362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10254] ppid=10245 vsize=15485004 memory=279522512652320 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10254/stat : 10254 (java) S 10245 10245 32513 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 19 0 444188077 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202684904928 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10255] ppid=10245 vsize=15485004 memory=7234307554676730466 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10255/stat : 10255 (java) S 10245 10245 32513 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 444188077 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202683852288 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10256] ppid=10245 vsize=15485004 memory=7521680346301623910 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10256/stat : 10256 (java) S 10245 10245 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444188080 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202682800848 140203811878811 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10257] ppid=10245 vsize=15485004 memory=6791534058613427641 CPUtime=2.61 cores=1,3,5,7
/proc/10247/task/10257/stat : 10257 (java) S 10245 10245 32513 0 -1 1077944384 10318 0 0 0 259 2 0 0 20 0 19 0 444188080 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202681747440 140203811871362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10258] ppid=10245 vsize=15485004 memory=202748 CPUtime=2.74 cores=1,3,5,7
/proc/10247/task/10258/stat : 10258 (java) S 10245 10245 32513 0 -1 1077944384 11787 0 0 0 274 0 0 0 20 0 19 0 444188080 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202680694896 140203811871362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10259] ppid=10245 vsize=15485004 memory=1980 CPUtime=0.73 cores=1,3,5,7
/proc/10247/task/10259/stat : 10259 (java) S 10245 10245 32513 0 -1 1077944384 6083 0 0 0 72 1 0 0 20 0 19 0 444188080 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202679642352 140203811871362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10260] ppid=10245 vsize=15485004 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/10247/task/10260/stat : 10260 (java) S 10245 10245 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444188080 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202678590048 140203811870421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10261] ppid=10245 vsize=15485004 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10247/task/10261/stat : 10261 (java) S 10245 10245 32513 0 -1 1077944384 625 0 0 0 0 1 0 0 20 0 19 0 444188080 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202677537584 140203811871362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10343] ppid=10245 vsize=15485004 memory=576471753315217204 CPUtime=48.33 cores=1,3,5,7
/proc/10247/task/10343/stat : 10343 (java) R 10245 10245 32513 0 -1 4202560 443 0 0 0 4833 0 0 0 20 0 19 0 444189689 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202666213112 140203448722530 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10344] ppid=10245 vsize=15485004 memory=1452 CPUtime=48.41 cores=1,3,5,7
/proc/10247/task/10344/stat : 10344 (java) R 10245 10245 32513 0 -1 4202560 1251 0 0 0 4841 0 0 0 20 0 19 0 444189689 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202664108144 140203455035808 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10345] ppid=10245 vsize=15485004 memory=176116 CPUtime=48.36 cores=1,3,5,7
/proc/10247/task/10345/stat : 10345 (java) R 10245 10245 32513 0 -1 4202560 943 0 0 0 4836 0 0 0 20 0 19 0 444189689 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202668318800 140203453002410 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
[pid=10247/tid=10346] ppid=10245 vsize=15485004 memory=1452 CPUtime=48.5 cores=1,3,5,7
/proc/10247/task/10346/stat : 10346 (java) R 10245 10245 32513 0 -1 4202560 813 0 0 0 4850 0 0 0 20 0 19 0 444189689 15856644096 41851 33554432000 4194304 4196468 140721524634720 140202663057040 140203453832567 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19992576 140721524638703 140721524638874 140721524638874 140721524641743 0
Current children cumulated CPU time: 256.98 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 168856 KiB
Child status: 0
Real time (s): 64.9189
CPU time (s): 257.039
CPU user time (s): 256.881
CPU system time (s): 0.15786
CPU usage (%): 395.939
Max. virtual memory (cumulated for all children) (KiB): 15598132
Max. memory (cumulated for all children) (KiB): 215456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 256.881
system time used= 0.15786
maximum resident set size= 216036
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58196
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5069
involuntary context switches= 5031
# summary of solver processes directly reported to runsolver:
# pid: 10245
# total CPU time (s): 257.039
# total CPU user time (s): 256.881
# total CPU system time (s): 0.15786
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.463291 second user time and 0.743495 second system time
The end