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 (13263 MiB free)
memory of node 1: 16384 MiB (8177 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403718-1568993721/watcher-4403718-1568993721 -o /tmp/evaluation-result-4403718-1568993721/solver-4403718-1568993721 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568988008-30877 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1373476558 HOME/instance-4403718-1568993721.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6288, runsolver pid=6285
Current StackSize limit: 8192 KiB
[startup+0.102014 s]*
/proc/loadavg: 7.33 7.22 7.25 8/231 6304
/proc/meminfo: memFree=21938116/32770624 swapFree=66939008/67108860
[pid=6288] ppid=6285 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6288/stat : 6288 (xcsp3-exec) S 6285 6288 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475641785 115843072 363 33554432000 4194304 5098028 140724379617360 140724379615464 140266363179644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34148352 140724379620218 140724379620461 140724379620461 140724379623370 0
/proc/6288/statm: 28282 363 304 221 0 87 0
[pid=6290] ppid=6288 vsize=15144776 memory=29656 CPUtime=0.13 cores=0,2,4,6
/proc/6290/stat : 6290 (java) S 6288 6288 30846 0 -1 1077944320 5831 0 0 0 12 1 0 0 20 0 15 0 475641785 15508250624 7414 33554432000 4194304 4196468 140725953020336 140725953002880 139953004117751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
/proc/6290/statm: 3786194 7414 3152 1 0 3748377 0
[pid=6290/tid=6291] ppid=6288 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/6290/task/6291/stat : 6291 (java) R 6288 6288 30846 0 -1 4202560 3734 0 0 0 9 0 0 0 20 0 15 0 475641785 15508250624 7414 33554432000 4194304 4196468 140725953020336 139953008349072 139952599955791 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6292] ppid=6288 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6292/stat : 6292 (java) S 6288 6288 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475641786 15508250624 7414 33554432000 4194304 4196468 140725953020336 139952932158352 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6293] ppid=6288 vsize=15144776 memory=140407123383936 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6293/stat : 6293 (java) S 6288 6288 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475641786 15508250624 7414 33554432000 4194304 4196468 140725953020336 139952931105552 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6294] ppid=6288 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6294/stat : 6294 (java) S 6288 6288 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475641786 15508250624 7414 33554432000 4194304 4196468 140725953020336 139952930053264 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6295] ppid=6288 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6295/stat : 6295 (java) S 6288 6288 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475641786 15508250624 7414 33554432000 4194304 4196468 140725953020336 139952929000464 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6296] ppid=6288 vsize=15144776 memory=140407123383936 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6296/stat : 6296 (java) S 6288 6288 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475641787 15508250624 7414 33554432000 4194304 4196468 140725953020336 139952472475760 139953004128898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6297] ppid=6288 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6297/stat : 6297 (java) S 6288 6288 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475641788 15508250624 7414 33554432000 4194304 4196468 140725953020336 139952471421728 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6298] ppid=6288 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6298/stat : 6298 (java) S 6288 6288 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475641788 15508250624 7414 33554432000 4194304 4196468 140725953020336 139952470369392 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6299] ppid=6288 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6299/stat : 6299 (java) S 6288 6288 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475641790 15508250624 7414 33554432000 4194304 4196468 140725953020336 139952469317712 139953004136347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6300] ppid=6288 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6300/stat : 6300 (java) S 6288 6288 30846 0 -1 1077944384 455 0 0 0 0 0 0 0 20 0 15 0 475641790 15508250624 7414 33554432000 4194304 4196468 140725953020336 139952468265584 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6301] ppid=6288 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6301/stat : 6301 (java) S 6288 6288 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475641790 15508250624 7414 33554432000 4194304 4196468 140725953020336 139952467212784 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6302] ppid=6288 vsize=15144776 memory=140407123383936 CPUtime=0.02 cores=0,2,4,6
/proc/6290/task/6302/stat : 6302 (java) R 6288 6288 30846 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 475641790 15508250624 7414 33554432000 4194304 4196468 140725953020336 139952466160496 139952983086778 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6303] ppid=6288 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6303/stat : 6303 (java) S 6288 6288 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475641791 15508250624 7414 33554432000 4194304 4196468 140725953020336 139952465107936 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6304] ppid=6288 vsize=15144776 memory=140407123383936 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6304/stat : 6304 (java) S 6288 6288 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475641791 15508250624 7414 33554432000 4194304 4196468 140725953020336 139952464054704 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31108 KiB
[startup+0.210837 s]*
/proc/loadavg: 7.33 7.22 7.25 6/231 6304
/proc/meminfo: memFree=21926268/32770624 swapFree=66939008/67108860
[pid=6288] ppid=6285 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6288/stat : 6288 (xcsp3-exec) S 6285 6288 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475641785 115843072 363 33554432000 4194304 5098028 140724379617360 140724379615464 140266363179644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34148352 140724379620218 140724379620461 140724379620461 140724379623370 0
/proc/6288/statm: 28282 363 304 221 0 87 0
[pid=6290] ppid=6288 vsize=15144776 memory=41084 CPUtime=0.34 cores=0,2,4,6
/proc/6290/stat : 6290 (java) S 6288 6288 30846 0 -1 1077944320 9436 0 0 0 32 2 0 0 20 0 15 0 475641785 15508250624 10271 33554432000 4194304 4196468 140725953020336 140725953002880 139953004117751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
/proc/6290/statm: 3786194 10271 3314 1 0 3748377 0
[pid=6290/tid=6291] ppid=6288 vsize=15144776 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/6290/task/6291/stat : 6291 (java) R 6288 6288 30846 0 -1 4202560 6628 0 0 0 18 1 0 0 20 0 15 0 475641785 15508250624 10271 33554432000 4194304 4196468 140725953020336 139953008350480 139952988198238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6292] ppid=6288 vsize=15144776 memory=4294979937 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6292/stat : 6292 (java) S 6288 6288 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475641786 15508250624 10271 33554432000 4194304 4196468 140725953020336 139952932158352 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6293] ppid=6288 vsize=15144776 memory=3978006592006821536 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6293/stat : 6293 (java) S 6288 6288 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475641786 15508250624 10271 33554432000 4194304 4196468 140725953020336 139952931105552 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6294] ppid=6288 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6294/stat : 6294 (java) S 6288 6288 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475641786 15508250624 10271 33554432000 4194304 4196468 140725953020336 139952930053264 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6295] ppid=6288 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6295/stat : 6295 (java) S 6288 6288 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475641786 15508250624 10271 33554432000 4194304 4196468 140725953020336 139952929000464 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6296] ppid=6288 vsize=15144776 memory=140407123383936 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6296/stat : 6296 (java) S 6288 6288 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475641787 15508250624 10271 33554432000 4194304 4196468 140725953020336 139952472475760 139953004128898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6297] ppid=6288 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6297/stat : 6297 (java) S 6288 6288 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475641788 15508250624 10271 33554432000 4194304 4196468 140725953020336 139952471421728 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6298] ppid=6288 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6298/stat : 6298 (java) S 6288 6288 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475641788 15508250624 10271 33554432000 4194304 4196468 140725953020336 139952470369392 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6299] ppid=6288 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6299/stat : 6299 (java) S 6288 6288 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475641790 15508250624 10271 33554432000 4194304 4196468 140725953020336 139952469317712 139953004136347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6300] ppid=6288 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6290/task/6300/stat : 6300 (java) S 6288 6288 30846 0 -1 1077944384 669 0 0 0 2 0 0 0 20 0 15 0 475641790 15508250624 10271 33554432000 4194304 4196468 140725953020336 139952468265584 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6301] ppid=6288 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6290/task/6301/stat : 6301 (java) S 6288 6288 30846 0 -1 1077944384 98 0 0 0 2 0 0 0 20 0 15 0 475641790 15508250624 10271 33554432000 4194304 4196468 140725953020336 139952467212784 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6302] ppid=6288 vsize=15144776 memory=140407123383936 CPUtime=0.07 cores=0,2,4,6
/proc/6290/task/6302/stat : 6302 (java) R 6288 6288 30846 0 -1 4202560 737 0 0 0 7 0 0 0 20 0 15 0 475641790 15508250624 10271 33554432000 4194304 4196468 140725953020336 139952466160496 139953004129686 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6303] ppid=6288 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6303/stat : 6303 (java) S 6288 6288 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475641791 15508250624 10271 33554432000 4194304 4196468 140725953020336 139952465107936 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6304] ppid=6288 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6304/stat : 6304 (java) S 6288 6288 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475641791 15508250624 10271 33554432000 4194304 4196468 140725953020336 139952464054704 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42536 KiB
[startup+0.312648 s]*
/proc/loadavg: 7.33 7.22 7.25 8/231 6304
/proc/meminfo: memFree=21919492/32770624 swapFree=66939008/67108860
[pid=6288] ppid=6285 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6288/stat : 6288 (xcsp3-exec) S 6285 6288 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475641785 115843072 363 33554432000 4194304 5098028 140724379617360 140724379615464 140266363179644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34148352 140724379620218 140724379620461 140724379620461 140724379623370 0
/proc/6288/statm: 28282 363 304 221 0 87 0
[pid=6290] ppid=6288 vsize=15149032 memory=50196 CPUtime=0.53 cores=0,2,4,6
/proc/6290/stat : 6290 (java) S 6288 6288 30846 0 -1 1077944320 10826 0 0 0 50 3 0 0 20 0 15 0 475641785 15512608768 12549 33554432000 4194304 4196468 140725953020336 140725953002880 139953004117751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
/proc/6290/statm: 3787258 12549 3362 1 0 3748377 0
[pid=6290/tid=6291] ppid=6288 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/6290/task/6291/stat : 6291 (java) R 6288 6288 30846 0 -1 4202560 7775 0 0 0 28 2 0 0 20 0 15 0 475641785 15512608768 12549 33554432000 4194304 4196468 140725953020336 139953008348864 139952988198238 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6292] ppid=6288 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6292/stat : 6292 (java) S 6288 6288 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475641786 15512608768 12549 33554432000 4194304 4196468 140725953020336 139952932158352 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6293] ppid=6288 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6293/stat : 6293 (java) S 6288 6288 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475641786 15512608768 12549 33554432000 4194304 4196468 140725953020336 139952931105552 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6294] ppid=6288 vsize=15149032 memory=46849 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6294/stat : 6294 (java) S 6288 6288 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475641786 15512608768 12549 33554432000 4194304 4196468 140725953020336 139952930053264 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6295] ppid=6288 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6295/stat : 6295 (java) S 6288 6288 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475641786 15512608768 12549 33554432000 4194304 4196468 140725953020336 139952929000464 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6296] ppid=6288 vsize=15149032 memory=9122745479247552727 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6296/stat : 6296 (java) S 6288 6288 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475641787 15512608768 12549 33554432000 4194304 4196468 140725953020336 139952472475760 139953004128898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6297] ppid=6288 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6297/stat : 6297 (java) S 6288 6288 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475641788 15512608768 12549 33554432000 4194304 4196468 140725953020336 139952471421728 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6298] ppid=6288 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6298/stat : 6298 (java) S 6288 6288 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475641788 15512608768 12549 33554432000 4194304 4196468 140725953020336 139952470369392 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6299] ppid=6288 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6299/stat : 6299 (java) S 6288 6288 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475641790 15512608768 12549 33554432000 4194304 4196468 140725953020336 139952469317712 139953004136347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6300] ppid=6288 vsize=15149032 memory=-1751206678989134939 CPUtime=0.03 cores=0,2,4,6
/proc/6290/task/6300/stat : 6300 (java) S 6288 6288 30846 0 -1 1077944384 677 0 0 0 3 0 0 0 20 0 15 0 475641790 15512608768 12549 33554432000 4194304 4196468 140725953020336 139952468265584 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6301] ppid=6288 vsize=15149032 memory=7680491646476169235 CPUtime=0.05 cores=0,2,4,6
/proc/6290/task/6301/stat : 6301 (java) R 6288 6288 30846 0 -1 4202560 234 0 0 0 5 0 0 0 20 0 15 0 475641790 15512608768 12549 33554432000 4194304 4196468 140725953020336 139952467193800 139952989225356 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6302] ppid=6288 vsize=15149032 memory=7088771780547993696 CPUtime=0.12 cores=0,2,4,6
/proc/6290/task/6302/stat : 6302 (java) S 6288 6288 30846 0 -1 1077944384 855 0 0 0 12 0 0 0 20 0 15 0 475641790 15512608768 12549 33554432000 4194304 4196468 140725953020336 139952466160496 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6303] ppid=6288 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6303/stat : 6303 (java) S 6288 6288 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475641791 15512608768 12549 33554432000 4194304 4196468 140725953020336 139952465107936 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6304] ppid=6288 vsize=15149032 memory=7317634893576766894 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6304/stat : 6304 (java) S 6288 6288 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475641791 15512608768 12549 33554432000 4194304 4196468 140725953020336 139952464054704 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51648 KiB
[startup+0.70079 s]
/proc/loadavg: 7.33 7.22 7.25 8/231 6304
/proc/meminfo: memFree=21904760/32770624 swapFree=66939008/67108860
[pid=6288] ppid=6285 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6288/stat : 6288 (xcsp3-exec) S 6285 6288 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475641785 115843072 363 33554432000 4194304 5098028 140724379617360 140724379615464 140266363179644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34148352 140724379620218 140724379620461 140724379620461 140724379623370 0
/proc/6288/statm: 28282 363 304 221 0 87 0
[pid=6290] ppid=6288 vsize=15151156 memory=85668 CPUtime=1.6 cores=0,2,4,6
/proc/6290/stat : 6290 (java) S 6288 6288 30846 0 -1 1077944320 15067 0 0 0 155 5 0 0 20 0 15 0 475641785 15514783744 21417 33554432000 4194304 4196468 140725953020336 140725953002880 139953004117751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
/proc/6290/statm: 3787789 21417 3456 1 0 3748889 0
[pid=6290/tid=6291] ppid=6288 vsize=15151156 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/6290/task/6291/stat : 6291 (java) R 6288 6288 30846 0 -1 4202560 9342 0 0 0 64 3 0 0 20 0 15 0 475641785 15514783744 21417 33554432000 4194304 4196468 140725953020336 139953008354032 139952988161381 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6292] ppid=6288 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6292/stat : 6292 (java) S 6288 6288 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475641786 15514783744 21417 33554432000 4194304 4196468 140725953020336 139952932158352 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6293] ppid=6288 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6293/stat : 6293 (java) S 6288 6288 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475641786 15514783744 21417 33554432000 4194304 4196468 140725953020336 139952931105552 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6294] ppid=6288 vsize=15151156 memory=55 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6294/stat : 6294 (java) S 6288 6288 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475641786 15514783744 21417 33554432000 4194304 4196468 140725953020336 139952930053264 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6295] ppid=6288 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6295/stat : 6295 (java) S 6288 6288 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475641786 15514783744 21417 33554432000 4194304 4196468 140725953020336 139952929000464 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6296] ppid=6288 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6296/stat : 6296 (java) S 6288 6288 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475641787 15514783744 21417 33554432000 4194304 4196468 140725953020336 139952472475760 139953004128898 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6297] ppid=6288 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6297/stat : 6297 (java) S 6288 6288 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475641788 15514783744 21417 33554432000 4194304 4196468 140725953020336 139952471421728 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6298] ppid=6288 vsize=15151156 memory=221 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6298/stat : 6298 (java) S 6288 6288 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475641788 15514783744 21417 33554432000 4194304 4196468 140725953020336 139952470369392 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6299] ppid=6288 vsize=15151156 memory=2 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6299/stat : 6299 (java) S 6288 6288 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475641790 15514783744 21417 33554432000 4194304 4196468 140725953020336 139952469317712 139953004136347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6300] ppid=6288 vsize=15151156 memory=53592 CPUtime=0.25 cores=0,2,4,6
/proc/6290/task/6300/stat : 6300 (java) S 6288 6288 30846 0 -1 1077944384 1480 0 0 0 25 0 0 0 20 0 15 0 475641790 15514783744 21417 33554432000 4194304 4196468 140725953020336 139952468265584 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6301] ppid=6288 vsize=15151156 memory=988 CPUtime=0.25 cores=0,2,4,6
/proc/6290/task/6301/stat : 6301 (java) S 6288 6288 30846 0 -1 1077944384 822 0 0 0 25 0 0 0 20 0 15 0 475641790 15514783744 21417 33554432000 4194304 4196468 140725953020336 139952467212784 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6302] ppid=6288 vsize=15151156 memory=2016 CPUtime=0.39 cores=0,2,4,6
/proc/6290/task/6302/stat : 6302 (java) R 6288 6288 30846 0 -1 4202560 2118 0 0 0 39 0 0 0 20 0 15 0 475641790 15514783744 21417 33554432000 4194304 4196468 140725953020336 139952466156864 139952982720434 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6303] ppid=6288 vsize=15151156 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6303/stat : 6303 (java) S 6288 6288 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475641791 15514783744 21417 33554432000 4194304 4196468 140725953020336 139952465107936 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6304] ppid=6288 vsize=15151156 memory=10728 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6304/stat : 6304 (java) S 6288 6288 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475641791 15514783744 21417 33554432000 4194304 4196468 140725953020336 139952464054704 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 87120 KiB
[startup+1.50634 s]
/proc/loadavg: 7.33 7.22 7.25 12/235 6328
/proc/meminfo: memFree=21814568/32770624 swapFree=66939008/67108860
[pid=6288] ppid=6285 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6288/stat : 6288 (xcsp3-exec) S 6285 6288 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475641785 115843072 363 33554432000 4194304 5098028 140724379617360 140724379615464 140266363179644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34148352 140724379620218 140724379620461 140724379620461 140724379623370 0
/proc/6288/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/6290/task/6304/stat : 6304 (java) S 6288 6288 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475641791 15790579712 48209 33554432000 4194304 4196468 140725953020336 139952464054704 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
Current children cumulated CPU time: 4.66 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 194288 KiB
[startup+3.11434 s]
/proc/loadavg: 7.33 7.22 7.25 10/235 6360
/proc/meminfo: memFree=21775284/32770624 swapFree=66939008/67108860
[pid=6288] ppid=6285 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6288/stat : 6288 (xcsp3-exec) S 6285 6288 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475641785 115843072 363 33554432000 4194304 5098028 140724379617360 140724379615464 140266363179644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34148352 140724379620218 140724379620461 140724379620461 140724379623370 0
/proc/6288/statm: 28282 363 304 221 0 87 0
[pid=6290] ppid=6288 vsize=15420488 memory=194084 CPUtime=11.03 cores=0,2,4,6
/proc/6290/stat : 6290 (java) S 6288 6288 30846 0 -1 1077944320 21250 0 0 0 1096 7 0 0 20 0 19 0 475641785 15790579712 48521 33554432000 4194304 4196468 140725953020336 140725953002880 139953004117751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
/proc/6290/statm: 3855122 48521 3486 1 0 3816222 0
[pid=6290/tid=6291] ppid=6288 vsize=15420488 memory=76 CPUtime=0.76 cores=0,2,4,6
/proc/6290/task/6291/stat : 6291 (java) S 6288 6288 30846 0 -1 1077944384 9423 0 0 0 73 3 0 0 20 0 19 0 475641785 15790579712 48521 33554432000 4194304 4196468 140725953020336 139953008358528 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6292] ppid=6288 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6292/stat : 6292 (java) S 6288 6288 30846 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 475641786 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952932158352 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6293] ppid=6288 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6293/stat : 6293 (java) S 6288 6288 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475641786 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952931105552 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6294] ppid=6288 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6294/stat : 6294 (java) S 6288 6288 30846 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 475641786 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952930053264 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6295] ppid=6288 vsize=15420488 memory=56 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6295/stat : 6295 (java) S 6288 6288 30846 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 475641786 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952929000464 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6296] ppid=6288 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6296/stat : 6296 (java) S 6288 6288 30846 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 475641787 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952472475760 139953004128898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6297] ppid=6288 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6297/stat : 6297 (java) S 6288 6288 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475641788 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952471421728 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6298] ppid=6288 vsize=15420488 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6298/stat : 6298 (java) S 6288 6288 30846 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475641788 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952470369392 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6299] ppid=6288 vsize=15420488 memory=190528 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6299/stat : 6299 (java) S 6288 6288 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475641790 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952469317712 139953004136347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6300] ppid=6288 vsize=15420488 memory=8470556299110360193 CPUtime=1.56 cores=0,2,4,6
/proc/6290/task/6300/stat : 6300 (java) S 6288 6288 30846 0 -1 1077944384 3675 0 0 0 156 0 0 0 20 0 19 0 475641790 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952468265584 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6301] ppid=6288 vsize=15420488 memory=4638778398333161833 CPUtime=1.43 cores=0,2,4,6
/proc/6290/task/6301/stat : 6301 (java) S 6288 6288 30846 0 -1 1077944384 2689 0 0 0 142 1 0 0 20 0 19 0 475641790 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952467212784 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6302] ppid=6288 vsize=15420488 memory=10728 CPUtime=0.67 cores=0,2,4,6
/proc/6290/task/6302/stat : 6302 (java) S 6288 6288 30846 0 -1 1077944384 2895 0 0 0 67 0 0 0 20 0 19 0 475641790 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952466160496 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6303] ppid=6288 vsize=15420488 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6303/stat : 6303 (java) S 6288 6288 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475641791 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952465107936 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6304] ppid=6288 vsize=15420488 memory=3640 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6304/stat : 6304 (java) S 6288 6288 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475641791 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952464054704 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6357] ppid=6288 vsize=15420488 memory=2832 CPUtime=0.77 cores=0,2,4,6
/proc/6290/task/6357/stat : 6357 (java) R 6288 6288 30846 0 -1 4202560 17 0 0 0 77 0 0 0 20 0 19 0 475642011 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952450862840 139952603470415 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6358] ppid=6288 vsize=15420488 memory=784 CPUtime=0.74 cores=0,2,4,6
/proc/6290/task/6358/stat : 6358 (java) R 6288 6288 30846 0 -1 4202560 17 0 0 0 74 0 0 0 20 0 19 0 475642011 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952455076696 139952607026704 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6359] ppid=6288 vsize=15420488 memory=1060 CPUtime=0.79 cores=0,2,4,6
/proc/6290/task/6359/stat : 6359 (java) R 6288 6288 30846 0 -1 4202560 17 0 0 0 79 0 0 0 20 0 19 0 475642011 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952452968552 139952605279232 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6360] ppid=6288 vsize=15420488 memory=1720 CPUtime=0.8 cores=0,2,4,6
/proc/6290/task/6360/stat : 6360 (java) R 6288 6288 30846 0 -1 4202560 18 0 0 0 80 0 0 0 20 0 19 0 475642011 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952451916360 139952605496938 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
Current children cumulated CPU time: 11.03 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 195536 KiB
[startup+3.32404 s]
# the end of solver process 6288 was just reported to runsolver
# cumulated CPU time of all completed processes: user=11.731 s, system=0.087576 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.21068 s]
/proc/loadavg: 7.33 7.22 7.25 10/235 6360
/proc/meminfo: memFree=21775284/32770624 swapFree=66939008/67108860
[pid=6288] ppid=6285 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6288/stat : 6288 (xcsp3-exec) S 6285 6288 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475641785 115843072 363 33554432000 4194304 5098028 140724379617360 140724379615464 140266363179644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34148352 140724379620218 140724379620461 140724379620461 140724379623370 0
/proc/6288/statm: 28282 363 304 221 0 87 0
[pid=6290] ppid=6288 vsize=15420488 memory=194084 CPUtime=11.41 cores=0,2,4,6
/proc/6290/stat : 6290 (java) S 6288 6288 30846 0 -1 1077944320 21257 0 0 0 1134 7 0 0 20 0 19 0 475641785 15790579712 48521 33554432000 4194304 4196468 140725953020336 140725953002880 139953004117751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
/proc/6290/statm: 3855122 48521 3486 1 0 3816222 0
[pid=6290/tid=6291] ppid=6288 vsize=15420488 memory=5860 CPUtime=0.76 cores=0,2,4,6
/proc/6290/task/6291/stat : 6291 (java) S 6288 6288 30846 0 -1 1077944384 9423 0 0 0 73 3 0 0 20 0 19 0 475641785 15790579712 48521 33554432000 4194304 4196468 140725953020336 139953008358528 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6292] ppid=6288 vsize=15420488 memory=780 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6292/stat : 6292 (java) S 6288 6288 30846 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 475641786 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952932158352 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6293] ppid=6288 vsize=15420488 memory=13924 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6293/stat : 6293 (java) S 6288 6288 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475641786 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952931105552 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6294] ppid=6288 vsize=15420488 memory=28164 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6294/stat : 6294 (java) S 6288 6288 30846 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 475641786 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952930053264 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6295] ppid=6288 vsize=15420488 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6295/stat : 6295 (java) S 6288 6288 30846 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 475641786 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952929000464 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6296] ppid=6288 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6296/stat : 6296 (java) S 6288 6288 30846 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 475641787 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952472475760 139953004128898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6297] ppid=6288 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6297/stat : 6297 (java) S 6288 6288 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475641788 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952471421728 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6298] ppid=6288 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6298/stat : 6298 (java) S 6288 6288 30846 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475641788 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952470369392 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6299] ppid=6288 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6299/stat : 6299 (java) S 6288 6288 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475641790 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952469317712 139953004136347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6300] ppid=6288 vsize=15420488 memory=6656426216303648864 CPUtime=1.56 cores=0,2,4,6
/proc/6290/task/6300/stat : 6300 (java) S 6288 6288 30846 0 -1 1077944384 3675 0 0 0 156 0 0 0 20 0 19 0 475641790 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952468265584 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6301] ppid=6288 vsize=15420488 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/6290/task/6301/stat : 6301 (java) S 6288 6288 30846 0 -1 1077944384 2694 0 0 0 142 1 0 0 20 0 19 0 475641790 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952467212784 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6302] ppid=6288 vsize=15420488 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/6290/task/6302/stat : 6302 (java) S 6288 6288 30846 0 -1 1077944384 2897 0 0 0 67 0 0 0 20 0 19 0 475641790 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952466160496 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6303] ppid=6288 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6303/stat : 6303 (java) S 6288 6288 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475641791 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952465107936 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6304] ppid=6288 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6304/stat : 6304 (java) S 6288 6288 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475641791 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952464054704 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6357] ppid=6288 vsize=15420488 memory=0 CPUtime=0.86 cores=0,2,4,6
/proc/6290/task/6357/stat : 6357 (java) R 6288 6288 30846 0 -1 4202560 17 0 0 0 86 0 0 0 20 0 19 0 475642011 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952450861704 139952606562208 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6358] ppid=6288 vsize=15420488 memory=0 CPUtime=0.84 cores=0,2,4,6
/proc/6290/task/6358/stat : 6358 (java) R 6288 6288 30846 0 -1 4202560 17 0 0 0 84 0 0 0 20 0 19 0 475642011 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952455073744 139952606386892 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6359] ppid=6288 vsize=15420488 memory=0 CPUtime=0.88 cores=0,2,4,6
/proc/6290/task/6359/stat : 6359 (java) R 6288 6288 30846 0 -1 4202560 17 0 0 0 88 0 0 0 20 0 19 0 475642011 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952452968240 139952988647800 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6360] ppid=6288 vsize=15420488 memory=0 CPUtime=0.9 cores=0,2,4,6
/proc/6290/task/6360/stat : 6360 (java) R 6288 6288 30846 0 -1 4202560 18 0 0 0 90 0 0 0 20 0 19 0 475642011 15790579712 48521 33554432000 4194304 4196468 140725953020336 139952451914832 139952605496991 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
Current children cumulated CPU time: 11.41 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 195536 KiB
[startup+3.30134 s]
/proc/loadavg: 7.33 7.22 7.25 10/235 6360
/proc/meminfo: memFree=21775284/32770624 swapFree=66939008/67108860
[pid=6288] ppid=6285 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6288/stat : 6288 (xcsp3-exec) S 6285 6288 30846 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475641785 115843072 363 33554432000 4194304 5098028 140724379617360 140724379615464 140266363179644 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34148352 140724379620218 140724379620461 140724379620461 140724379623370 0
/proc/6288/statm: 28282 363 304 221 0 87 0
[pid=6290] ppid=6288 vsize=15420488 memory=194124 CPUtime=11.78 cores=0,2,4,6
/proc/6290/stat : 6290 (java) S 6288 6288 30846 0 -1 1077944320 21265 0 0 0 1171 7 0 0 20 0 19 0 475641785 15790579712 48531 33554432000 4194304 4196468 140725953020336 140725953002880 139953004117751 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
/proc/6290/statm: 3855122 48531 3486 1 0 3816222 0
[pid=6290/tid=6291] ppid=6288 vsize=15420488 memory=0 CPUtime=0.76 cores=0,2,4,6
/proc/6290/task/6291/stat : 6291 (java) S 6288 6288 30846 0 -1 1077944384 9423 0 0 0 73 3 0 0 20 0 19 0 475641785 15790579712 48531 33554432000 4194304 4196468 140725953020336 139953008358528 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6292] ppid=6288 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6292/stat : 6292 (java) S 6288 6288 30846 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 475641786 15790579712 48531 33554432000 4194304 4196468 140725953020336 139952932158352 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6293] ppid=6288 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6293/stat : 6293 (java) S 6288 6288 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475641786 15790579712 48531 33554432000 4194304 4196468 140725953020336 139952931105552 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6294] ppid=6288 vsize=15420488 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6294/stat : 6294 (java) S 6288 6288 30846 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 475641786 15790579712 48531 33554432000 4194304 4196468 140725953020336 139952930053264 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6295] ppid=6288 vsize=15420488 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6295/stat : 6295 (java) S 6288 6288 30846 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 19 0 475641786 15790579712 48531 33554432000 4194304 4196468 140725953020336 139952929000464 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6296] ppid=6288 vsize=15420488 memory=194084 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6296/stat : 6296 (java) S 6288 6288 30846 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 475641787 15790579712 48531 33554432000 4194304 4196468 140725953020336 139952472475760 139953004128898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6297] ppid=6288 vsize=15420488 memory=76 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6297/stat : 6297 (java) S 6288 6288 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475641788 15790579712 48531 33554432000 4194304 4196468 140725953020336 139952471421728 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6298] ppid=6288 vsize=15420488 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6298/stat : 6298 (java) S 6288 6288 30846 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475641788 15790579712 48531 33554432000 4194304 4196468 140725953020336 139952470369392 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6299] ppid=6288 vsize=15420488 memory=190528 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6299/stat : 6299 (java) S 6288 6288 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475641790 15790579712 48531 33554432000 4194304 4196468 140725953020336 139952469317712 139953004136347 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6300] ppid=6288 vsize=15420488 memory=8470556299110360193 CPUtime=1.56 cores=0,2,4,6
/proc/6290/task/6300/stat : 6300 (java) S 6288 6288 30846 0 -1 1077944384 3675 0 0 0 156 0 0 0 20 0 19 0 475641790 15790579712 48531 33554432000 4194304 4196468 140725953020336 139952468265584 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6301] ppid=6288 vsize=15420488 memory=4638778398333161833 CPUtime=1.47 cores=0,2,4,6
/proc/6290/task/6301/stat : 6301 (java) S 6288 6288 30846 0 -1 1077944384 2702 0 0 0 146 1 0 0 20 0 19 0 475641790 15790579712 48531 33554432000 4194304 4196468 140725953020336 139952467212784 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6302] ppid=6288 vsize=15420488 memory=10728 CPUtime=0.67 cores=0,2,4,6
/proc/6290/task/6302/stat : 6302 (java) S 6288 6288 30846 0 -1 1077944384 2897 0 0 0 67 0 0 0 20 0 19 0 475641790 15790579712 48531 33554432000 4194304 4196468 140725953020336 139952466160496 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6303] ppid=6288 vsize=15420488 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6303/stat : 6303 (java) S 6288 6288 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475641791 15790579712 48531 33554432000 4194304 4196468 140725953020336 139952465107936 139953004127957 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6304] ppid=6288 vsize=15420488 memory=3640 CPUtime=0 cores=0,2,4,6
/proc/6290/task/6304/stat : 6304 (java) S 6288 6288 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475641791 15790579712 48531 33554432000 4194304 4196468 140725953020336 139952464054704 139953004128898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6357] ppid=6288 vsize=15420488 memory=2832 CPUtime=0.91 cores=0,2,4,6
/proc/6290/task/6357/stat : 6357 (java) R 6288 6288 30846 0 -1 4202560 17 0 0 0 91 0 0 0 20 0 19 0 475642011 15790579712 48531 33554432000 4194304 4196468 140725953020336 139952450862568 139952607026614 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6358] ppid=6288 vsize=15420488 memory=784 CPUtime=0.93 cores=0,2,4,6
/proc/6290/task/6358/stat : 6358 (java) R 6288 6288 30846 0 -1 4202560 17 0 0 0 93 0 0 0 20 0 19 0 475642011 15790579712 48531 33554432000 4194304 4196468 140725953020336 139952455073744 139952605926987 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6359] ppid=6288 vsize=15420488 memory=1060 CPUtime=0.97 cores=0,2,4,6
/proc/6290/task/6359/stat : 6359 (java) R 6288 6288 30846 0 -1 4202560 17 0 0 0 97 0 0 0 20 0 19 0 475642011 15790579712 48531 33554432000 4194304 4196468 140725953020336 139952452968544 139952606704114 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
[pid=6290/tid=6360] ppid=6288 vsize=15420488 memory=1720 CPUtime=0.99 cores=0,2,4,6
/proc/6290/task/6360/stat : 6360 (java) R 6288 6288 30846 0 -1 4202560 18 0 0 0 99 0 0 0 20 0 19 0 475642011 15790579712 48531 33554432000 4194304 4196468 140725953020336 139952451914888 139952607553328 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23371776 140725953029103 140725953029274 140725953029274 140725953032143 0
Current children cumulated CPU time: 11.78 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 195576 KiB
Child status: 0
Real time (s): 3.32409
CPU time (s): 11.8185
CPU user time (s): 11.731
CPU system time (s): 0.087576
CPU usage (%): 355.541
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 195576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.731
system time used= 0.087576
maximum resident set size= 194876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21835
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2716
involuntary context switches= 453
# summary of solver processes directly reported to runsolver:
# pid: 6288
# total CPU time (s): 11.8185
# total CPU user time (s): 11.731
# total CPU system time (s): 0.087576
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046151 second user time and 0.078795 second system time
The end