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 (6017 MiB free)
memory of node 1: 16384 MiB (2610 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403844-1568992519/watcher-4403844-1568992519 -o /tmp/evaluation-result-4403844-1568992519/solver-4403844-1568992519 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568991179-12315 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 336417358 HOME/instance-4403844-1568992519.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=12958, runsolver pid=12955
[startup+0.101902 s]*
/proc/loadavg: 8.43 8.46 6.70 7/234 12974
/proc/meminfo: memFree=8817620/32770624 swapFree=66959532/67108860
[pid=12958] ppid=12955 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12958/stat : 12958 (xcsp3-exec) S 12955 12958 12283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475520689 115843072 362 33554432000 4194304 5098028 140728473218416 140728473216520 139704763429500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15892480 140728473219963 140728473220205 140728473220205 140728473223114 0
/proc/12958/statm: 28282 362 304 221 0 87 0
[pid=12960] ppid=12958 vsize=15144776 memory=29728 CPUtime=0.13 cores=1,3,5,7
/proc/12960/stat : 12960 (java) S 12958 12958 12283 0 -1 1077944320 5877 0 0 0 12 1 0 0 20 0 15 0 475520689 15508250624 7432 33554432000 4194304 4196468 140728105552800 140728105535344 139987468906231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
/proc/12960/statm: 3786194 7432 3155 1 0 3748377 0
[pid=12960/tid=12961] ppid=12958 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/12960/task/12961/stat : 12961 (java) R 12958 12958 12283 0 -1 4202560 3757 0 0 0 8 1 0 0 20 0 15 0 475520690 15508250624 7432 33554432000 4194304 4196468 140728105552800 139987473139008 139987094943872 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12962] ppid=12958 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12962/stat : 12962 (java) S 12958 12958 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475520690 15508250624 7432 33554432000 4194304 4196468 140728105552800 139987421527184 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12963] ppid=12958 vsize=15144776 memory=140256830027784 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12963/stat : 12963 (java) S 12958 12958 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475520690 15508250624 7432 33554432000 4194304 4196468 140728105552800 139987420474384 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12964] ppid=12958 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12964/stat : 12964 (java) S 12958 12958 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475520690 15508250624 7432 33554432000 4194304 4196468 140728105552800 139987419421584 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12965] ppid=12958 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12965/stat : 12965 (java) S 12958 12958 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475520690 15508250624 7432 33554432000 4194304 4196468 140728105552800 139987418368784 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12966] ppid=12958 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12966/stat : 12966 (java) S 12958 12958 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475520692 15508250624 7432 33554432000 4194304 4196468 140728105552800 139986611521904 139987468917378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12967] ppid=12958 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12967/stat : 12967 (java) S 12958 12958 12283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475520692 15508250624 7432 33554432000 4194304 4196468 140728105552800 139986610467872 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12968] ppid=12958 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12968/stat : 12968 (java) S 12958 12958 12283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475520692 15508250624 7432 33554432000 4194304 4196468 140728105552800 139986609415024 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12969] ppid=12958 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12969/stat : 12969 (java) S 12958 12958 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475520695 15508250624 7432 33554432000 4194304 4196468 140728105552800 139986608363344 139987468924827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12970] ppid=12958 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12970/stat : 12970 (java) R 12958 12958 12283 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 475520695 15508250624 7432 33554432000 4194304 4196468 140728105552800 139986405944272 139987468916437 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12971] ppid=12958 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12971/stat : 12971 (java) R 12958 12958 12283 0 -1 4202560 46 0 0 0 0 0 0 0 20 0 15 0 475520695 15508250624 7432 33554432000 4194304 4196468 140728105552800 139986404883184 139987448054920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12972] ppid=12958 vsize=15144776 memory=140256830015104 CPUtime=0.02 cores=1,3,5,7
/proc/12960/task/12972/stat : 12972 (java) R 12958 12958 12283 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 475520695 15508250624 7432 33554432000 4194304 4196468 140728105552800 139986403838576 139987468918166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12973] ppid=12958 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12973/stat : 12973 (java) S 12958 12958 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475520695 15508250624 7432 33554432000 4194304 4196468 140728105552800 139986402786016 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12974] ppid=12958 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12974/stat : 12974 (java) S 12958 12958 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475520695 15508250624 7432 33554432000 4194304 4196468 140728105552800 139986401733296 139987468917378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31176 KiB
[startup+0.212122 s]*
/proc/loadavg: 8.43 8.46 6.70 6/234 12974
/proc/meminfo: memFree=8805136/32770624 swapFree=66959532/67108860
[pid=12958] ppid=12955 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12958/stat : 12958 (xcsp3-exec) S 12955 12958 12283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475520689 115843072 362 33554432000 4194304 5098028 140728473218416 140728473216520 139704763429500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15892480 140728473219963 140728473220205 140728473220205 140728473223114 0
/proc/12958/statm: 28282 362 304 221 0 87 0
[pid=12960] ppid=12958 vsize=15144776 memory=41036 CPUtime=0.34 cores=1,3,5,7
/proc/12960/stat : 12960 (java) S 12958 12958 12283 0 -1 1077944320 9507 0 0 0 32 2 0 0 20 0 15 0 475520689 15508250624 10259 33554432000 4194304 4196468 140728105552800 140728105535344 139987468906231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
/proc/12960/statm: 3786194 10259 3289 1 0 3748377 0
[pid=12960/tid=12961] ppid=12958 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/12960/task/12961/stat : 12961 (java) R 12958 12958 12283 0 -1 4202560 6655 0 0 0 18 2 0 0 20 0 15 0 475520690 15508250624 10259 33554432000 4194304 4196468 140728105552800 139987473141216 139987452949861 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12962] ppid=12958 vsize=15144776 memory=1946936 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12962/stat : 12962 (java) S 12958 12958 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475520690 15508250624 10259 33554432000 4194304 4196468 140728105552800 139987421527184 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12963] ppid=12958 vsize=15144776 memory=288370632981726848 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12963/stat : 12963 (java) S 12958 12958 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475520690 15508250624 10259 33554432000 4194304 4196468 140728105552800 139987420474384 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12964] ppid=12958 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12964/stat : 12964 (java) S 12958 12958 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475520690 15508250624 10259 33554432000 4194304 4196468 140728105552800 139987419421584 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12965] ppid=12958 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12965/stat : 12965 (java) S 12958 12958 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475520690 15508250624 10259 33554432000 4194304 4196468 140728105552800 139987418368784 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12966] ppid=12958 vsize=15144776 memory=140256830015104 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12966/stat : 12966 (java) S 12958 12958 12283 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475520692 15508250624 10259 33554432000 4194304 4196468 140728105552800 139986611521904 139987468917378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12967] ppid=12958 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12967/stat : 12967 (java) S 12958 12958 12283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475520692 15508250624 10259 33554432000 4194304 4196468 140728105552800 139986610467872 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12968] ppid=12958 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12968/stat : 12968 (java) S 12958 12958 12283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475520692 15508250624 10259 33554432000 4194304 4196468 140728105552800 139986609415024 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12969] ppid=12958 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12969/stat : 12969 (java) S 12958 12958 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475520695 15508250624 10259 33554432000 4194304 4196468 140728105552800 139986608363344 139987468924827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12970] ppid=12958 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/12960/task/12970/stat : 12970 (java) S 12958 12958 12283 0 -1 1077944384 752 0 0 0 2 0 0 0 20 0 15 0 475520695 15508250624 10259 33554432000 4194304 4196468 140728105552800 139986405944176 139987468917378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12971] ppid=12958 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/12960/task/12971/stat : 12971 (java) S 12958 12958 12283 0 -1 1077944384 99 0 0 0 2 0 0 0 20 0 15 0 475520695 15508250624 10259 33554432000 4194304 4196468 140728105552800 139986404891376 139987468917378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12972] ppid=12958 vsize=15144776 memory=140256830015104 CPUtime=0.08 cores=1,3,5,7
/proc/12960/task/12972/stat : 12972 (java) R 12958 12958 12283 0 -1 4202560 696 0 0 0 8 0 0 0 20 0 15 0 475520695 15508250624 10259 33554432000 4194304 4196468 140728105552800 139986403838576 139987468918166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12973] ppid=12958 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12973/stat : 12973 (java) S 12958 12958 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475520695 15508250624 10259 33554432000 4194304 4196468 140728105552800 139986402786016 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12974] ppid=12958 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12974/stat : 12974 (java) S 12958 12958 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475520695 15508250624 10259 33554432000 4194304 4196468 140728105552800 139986401733296 139987468917378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42484 KiB
[startup+0.310567 s]*
/proc/loadavg: 8.43 8.46 6.70 6/234 12974
/proc/meminfo: memFree=8808484/32770624 swapFree=66959532/67108860
[pid=12958] ppid=12955 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12958/stat : 12958 (xcsp3-exec) S 12955 12958 12283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475520689 115843072 362 33554432000 4194304 5098028 140728473218416 140728473216520 139704763429500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15892480 140728473219963 140728473220205 140728473220205 140728473223114 0
/proc/12958/statm: 28282 362 304 221 0 87 0
[pid=12960] ppid=12958 vsize=15149032 memory=49768 CPUtime=0.51 cores=1,3,5,7
/proc/12960/stat : 12960 (java) S 12958 12958 12283 0 -1 1077944320 10786 0 0 0 48 3 0 0 20 0 15 0 475520689 15512608768 12442 33554432000 4194304 4196468 140728105552800 140728105535344 139987468906231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
/proc/12960/statm: 3787258 12442 3324 1 0 3748377 0
[pid=12960/tid=12961] ppid=12958 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/12960/task/12961/stat : 12961 (java) R 12958 12958 12283 0 -1 4202560 7850 0 0 0 27 2 0 0 20 0 15 0 475520690 15512608768 12442 33554432000 4194304 4196468 140728105552800 139987473140016 139987452986718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12962] ppid=12958 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12962/stat : 12962 (java) S 12958 12958 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475520690 15512608768 12442 33554432000 4194304 4196468 140728105552800 139987421527184 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12963] ppid=12958 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12963/stat : 12963 (java) S 12958 12958 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475520690 15512608768 12442 33554432000 4194304 4196468 140728105552800 139987420474384 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12964] ppid=12958 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12964/stat : 12964 (java) S 12958 12958 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475520690 15512608768 12442 33554432000 4194304 4196468 140728105552800 139987419421584 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12965] ppid=12958 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12965/stat : 12965 (java) S 12958 12958 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475520690 15512608768 12442 33554432000 4194304 4196468 140728105552800 139987418368784 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12966] ppid=12958 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12966/stat : 12966 (java) S 12958 12958 12283 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475520692 15512608768 12442 33554432000 4194304 4196468 140728105552800 139986611521904 139987468917378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12967] ppid=12958 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12967/stat : 12967 (java) S 12958 12958 12283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475520692 15512608768 12442 33554432000 4194304 4196468 140728105552800 139986610467872 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12968] ppid=12958 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12968/stat : 12968 (java) S 12958 12958 12283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475520692 15512608768 12442 33554432000 4194304 4196468 140728105552800 139986609415024 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12969] ppid=12958 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12969/stat : 12969 (java) S 12958 12958 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475520695 15512608768 12442 33554432000 4194304 4196468 140728105552800 139986608363344 139987468924827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12970] ppid=12958 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/12960/task/12970/stat : 12970 (java) S 12958 12958 12283 0 -1 1077944384 761 0 0 0 4 0 0 0 20 0 15 0 475520695 15512608768 12442 33554432000 4194304 4196468 140728105552800 139986405944176 139987468917378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12971] ppid=12958 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/12960/task/12971/stat : 12971 (java) S 12958 12958 12283 0 -1 1077944384 116 0 0 0 4 0 0 0 20 0 15 0 475520695 15512608768 12442 33554432000 4194304 4196468 140728105552800 139986404891376 139987468917378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12972] ppid=12958 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/12960/task/12972/stat : 12972 (java) S 12958 12958 12283 0 -1 1077944384 759 0 0 0 12 0 0 0 20 0 15 0 475520695 15512608768 12442 33554432000 4194304 4196468 140728105552800 139986403838576 139987468917378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12973] ppid=12958 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12973/stat : 12973 (java) S 12958 12958 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475520695 15512608768 12442 33554432000 4194304 4196468 140728105552800 139986402786016 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12974] ppid=12958 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12974/stat : 12974 (java) S 12958 12958 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475520695 15512608768 12442 33554432000 4194304 4196468 140728105552800 139986401733296 139987468917378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51216 KiB
[startup+0.701376 s]
/proc/loadavg: 8.43 8.46 6.70 9/234 12974
/proc/meminfo: memFree=8795860/32770624 swapFree=66959532/67108860
[pid=12958] ppid=12955 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12958/stat : 12958 (xcsp3-exec) S 12955 12958 12283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475520689 115843072 362 33554432000 4194304 5098028 140728473218416 140728473216520 139704763429500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15892480 140728473219963 140728473220205 140728473220205 140728473223114 0
/proc/12958/statm: 28282 362 304 221 0 87 0
[pid=12960] ppid=12958 vsize=15417412 memory=78816 CPUtime=1.59 cores=1,3,5,7
/proc/12960/stat : 12960 (java) S 12958 12958 12283 0 -1 1077944320 14046 0 0 0 155 4 0 0 20 0 19 0 475520689 15787429888 19704 33554432000 4194304 4196468 140728105552800 140728105535344 139987468906231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
/proc/12960/statm: 3854353 19704 3469 1 0 3815453 0
[pid=12960/tid=12961] ppid=12958 vsize=15417412 memory=-3704326594973231466 CPUtime=0.57 cores=1,3,5,7
/proc/12960/task/12961/stat : 12961 (java) S 12958 12958 12283 0 -1 1077944384 9230 0 0 0 54 3 0 0 20 0 19 0 475520690 15787429888 19704 33554432000 4194304 4196468 140728105552800 139987473147008 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12962] ppid=12958 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12962/stat : 12962 (java) S 12958 12958 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475520690 15787429888 19704 33554432000 4194304 4196468 140728105552800 139987421527184 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12963] ppid=12958 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12963/stat : 12963 (java) S 12958 12958 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475520690 15787429888 19704 33554432000 4194304 4196468 140728105552800 139987420474384 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12964] ppid=12958 vsize=15417412 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12964/stat : 12964 (java) S 12958 12958 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475520690 15787429888 19704 33554432000 4194304 4196468 140728105552800 139987419421584 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12965] ppid=12958 vsize=15417412 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12965/stat : 12965 (java) S 12958 12958 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475520690 15787429888 19704 33554432000 4194304 4196468 140728105552800 139987418368784 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12966] ppid=12958 vsize=15417412 memory=1536 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12966/stat : 12966 (java) S 12958 12958 12283 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475520692 15787429888 19704 33554432000 4194304 4196468 140728105552800 139986611521904 139987468917378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12967] ppid=12958 vsize=15417412 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12967/stat : 12967 (java) S 12958 12958 12283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475520692 15787429888 19704 33554432000 4194304 4196468 140728105552800 139986610467872 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12968] ppid=12958 vsize=15417412 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12968/stat : 12968 (java) S 12958 12958 12283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475520692 15787429888 19704 33554432000 4194304 4196468 140728105552800 139986609415024 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12969] ppid=12958 vsize=15417412 memory=780 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12969/stat : 12969 (java) S 12958 12958 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475520695 15787429888 19704 33554432000 4194304 4196468 140728105552800 139986608363344 139987468924827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12970] ppid=12958 vsize=15417412 memory=620 CPUtime=0.21 cores=1,3,5,7
/proc/12960/task/12970/stat : 12970 (java) R 12958 12958 12283 0 -1 4202560 1306 0 0 0 21 0 0 0 20 0 19 0 475520695 15787429888 19704 33554432000 4194304 4196468 140728105552800 139986405925192 139987461195680 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12971] ppid=12958 vsize=15417412 memory=1496 CPUtime=0.2 cores=1,3,5,7
/proc/12960/task/12971/stat : 12971 (java) R 12958 12958 12283 0 -1 4202560 421 0 0 0 20 0 0 0 20 0 19 0 475520695 15787429888 19704 33554432000 4194304 4196468 140728105552800 139986404881168 139987452374335 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12972] ppid=12958 vsize=15417412 memory=1016 CPUtime=0.37 cores=1,3,5,7
/proc/12960/task/12972/stat : 12972 (java) R 12958 12958 12283 0 -1 1077944384 1588 0 0 0 37 0 0 0 20 0 19 0 475520695 15787429888 19704 33554432000 4194304 4196468 140728105552800 139986403838576 139987468917378 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12973] ppid=12958 vsize=15417412 memory=6044 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12973/stat : 12973 (java) S 12958 12958 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475520695 15787429888 19704 33554432000 4194304 4196468 140728105552800 139986402786016 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12974] ppid=12958 vsize=15417412 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12974/stat : 12974 (java) S 12958 12958 12283 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475520695 15787429888 19704 33554432000 4194304 4196468 140728105552800 139986401733296 139987468917378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 80264 KiB
[startup+1.5023 s]
/proc/loadavg: 8.43 8.46 6.70 12/238 12978
/proc/meminfo: memFree=8772904/32770624 swapFree=66959532/67108860
[pid=12958] ppid=12955 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12958/stat : 12958 (xcsp3-exec) S 12955 12958 12283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475520689 115843072 362 33554432000 4194304 5098028 140728473218416 140728473216520 139704763429500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15892480 140728473219963 140728473220205 140728473220205 140728473223114 0
/proc/12958/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/12960/task/12974/stat : 12974 (java) S 12958 12958 12283 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 475520695 15924805632 40406 33554432000 4194304 4196468 140728105552800 139986401733296 139987468917378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12991] ppid=12958 vsize=15551568 memory=57 CPUtime=1.11 cores=1,3,5,7
/proc/12960/task/12991/stat : 12991 (java) R 12958 12958 12283 0 -1 4202560 198 0 0 0 111 0 0 0 20 0 19 0 475520862 15924805632 40406 33554432000 4194304 4196468 140728105552800 139986389355648 139987099288403 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12992] ppid=12958 vsize=15551568 memory=0 CPUtime=1.1 cores=1,3,5,7
/proc/12960/task/12992/stat : 12992 (java) R 12958 12958 12283 0 -1 4202560 318 0 0 0 110 0 0 0 20 0 19 0 475520862 15924805632 40406 33554432000 4194304 4196468 140728105552800 139986392514152 139987099288597 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12993] ppid=12958 vsize=15551568 memory=0 CPUtime=1.07 cores=1,3,5,7
/proc/12960/task/12993/stat : 12993 (java) R 12958 12958 12283 0 -1 4202560 588 0 0 0 107 0 0 0 20 0 19 0 475520862 15924805632 40406 33554432000 4194304 4196468 140728105552800 139986391463384 139987098210338 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12994] ppid=12958 vsize=15551568 memory=0 CPUtime=1 cores=1,3,5,7
/proc/12960/task/12994/stat : 12994 (java) R 12958 12958 12283 0 -1 4202560 158 0 0 0 100 0 0 0 20 0 19 0 475520862 15924805632 40406 33554432000 4194304 4196468 140728105552800 139986387252056 139987099288695 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
Current children cumulated CPU time: 11.52 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 163072 KiB
[startup+4.00138 s]*
/proc/loadavg: 8.80 8.53 6.73 10/239 12996
/proc/meminfo: memFree=8671596/32770624 swapFree=66959532/67108860
[pid=12958] ppid=12955 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12958/stat : 12958 (xcsp3-exec) S 12955 12958 12283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475520689 115843072 362 33554432000 4194304 5098028 140728473218416 140728473216520 139704763429500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15892480 140728473219963 140728473220205 140728473220205 140728473223114 0
/proc/12958/statm: 28282 362 304 221 0 87 0
[pid=12960] ppid=12958 vsize=15551568 memory=180284 CPUtime=14.71 cores=1,3,5,7
/proc/12960/stat : 12960 (java) S 12958 12958 12283 0 -1 1077944320 26883 0 0 0 1464 7 0 0 20 0 19 0 475520689 15924805632 45071 33554432000 4194304 4196468 140728105552800 140728105535344 139987468906231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
/proc/12960/statm: 3887892 45071 3499 1 0 3848992 0
[pid=12960/tid=12961] ppid=12958 vsize=15551568 memory=7883960649037381690 CPUtime=0.57 cores=1,3,5,7
/proc/12960/task/12961/stat : 12961 (java) S 12958 12958 12283 0 -1 1077944384 9232 0 0 0 54 3 0 0 20 0 19 0 475520690 15924805632 45071 33554432000 4194304 4196468 140728105552800 139987473147008 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12962] ppid=12958 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12962/stat : 12962 (java) S 12958 12958 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475520690 15924805632 45071 33554432000 4194304 4196468 140728105552800 139987421527184 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12963] ppid=12958 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12963/stat : 12963 (java) S 12958 12958 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475520690 15924805632 45071 33554432000 4194304 4196468 140728105552800 139987420474384 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12964] ppid=12958 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12964/stat : 12964 (java) S 12958 12958 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475520690 15924805632 45071 33554432000 4194304 4196468 140728105552800 139987419421584 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12965] ppid=12958 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12965/stat : 12965 (java) S 12958 12958 12283 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475520690 15924805632 45071 33554432000 4194304 4196468 140728105552800 139987418368784 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12966] ppid=12958 vsize=15551568 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12966/stat : 12966 (java) S 12958 12958 12283 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 475520692 15924805632 45071 33554432000 4194304 4196468 140728105552800 139986611521904 139987468917378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12967] ppid=12958 vsize=15551568 memory=7160575464710631028 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12967/stat : 12967 (java) S 12958 12958 12283 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475520692 15924805632 45071 33554432000 4194304 4196468 140728105552800 139986610467872 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12968] ppid=12958 vsize=15551568 memory=140256830015104 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12968/stat : 12968 (java) S 12958 12958 12283 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475520692 15924805632 45071 33554432000 4194304 4196468 140728105552800 139986609415024 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12969] ppid=12958 vsize=15551568 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12969/stat : 12969 (java) S 12958 12958 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475520695 15924805632 45071 33554432000 4194304 4196468 140728105552800 139986608363344 139987468924827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12970] ppid=12958 vsize=15551568 memory=0 CPUtime=1.48 cores=1,3,5,7
/proc/12960/task/12970/stat : 12970 (java) D 12958 12958 12283 0 -1 4202560 5680 0 0 0 148 0 0 0 20 0 19 0 475520695 15924805632 45071 33554432000 4194304 4196468 140728105552800 139986405944096 139987448830367 0 4 0 16800975 18446744072100220037 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12971] ppid=12958 vsize=15551568 memory=15312 CPUtime=1.58 cores=1,3,5,7
/proc/12960/task/12971/stat : 12971 (java) D 12958 12958 12283 0 -1 4202560 5809 0 0 0 157 1 0 0 20 0 19 0 475520695 15924805632 45071 33554432000 4194304 4196468 140728105552800 139986404891672 139987448830367 0 4 0 16800975 18446744072100220037 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12972] ppid=12958 vsize=15551568 memory=7881696724453321575 CPUtime=0.58 cores=1,3,5,7
/proc/12960/task/12972/stat : 12972 (java) D 12958 12958 12283 0 -1 4202560 2965 0 0 0 58 0 0 0 20 0 19 0 475520695 15924805632 45071 33554432000 4194304 4196468 140728105552800 139986403838496 139987448830367 0 4 0 16800975 18446744072100220037 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12973] ppid=12958 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12973/stat : 12973 (java) S 12958 12958 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475520695 15924805632 45071 33554432000 4194304 4196468 140728105552800 139986402786016 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12974] ppid=12958 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12974/stat : 12974 (java) D 12958 12958 12283 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 475520695 15924805632 45071 33554432000 4194304 4196468 140728105552800 139986401733216 139987453762318 0 4 0 16800975 18446744072100220037 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12991] ppid=12958 vsize=15551568 memory=0 CPUtime=1.91 cores=1,3,5,7
/proc/12960/task/12991/stat : 12991 (java) R 12958 12958 12283 0 -1 4202560 199 0 0 0 191 0 0 0 20 0 19 0 475520862 15924805632 45071 33554432000 4194304 4196468 140728105552800 139986389357704 139987098263199 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12992] ppid=12958 vsize=15551568 memory=0 CPUtime=1.83 cores=1,3,5,7
/proc/12960/task/12992/stat : 12992 (java) R 12958 12958 12283 0 -1 4202560 333 0 0 0 183 0 0 0 20 0 19 0 475520862 15924805632 45071 33554432000 4194304 4196468 140728105552800 139986392514616 139987099288597 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12993] ppid=12958 vsize=15551568 memory=0 CPUtime=1.86 cores=1,3,5,7
/proc/12960/task/12993/stat : 12993 (java) R 12958 12958 12283 0 -1 4202560 602 0 0 0 186 0 0 0 20 0 19 0 475520862 15924805632 45071 33554432000 4194304 4196468 140728105552800 139986391461624 139987098263064 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12994] ppid=12958 vsize=15551568 memory=0 CPUtime=1.75 cores=1,3,5,7
/proc/12960/task/12994/stat : 12994 (java) R 12958 12958 12283 0 -1 4202560 162 0 0 0 175 0 0 0 20 0 19 0 475520862 15924805632 45071 33554432000 4194304 4196468 140728105552800 139986387252472 139987098210640 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
Current children cumulated CPU time: 14.71 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 181732 KiB
[startup+4.80939 s]
/proc/loadavg: 8.80 8.53 6.73 10/239 12996
/proc/meminfo: memFree=8671596/32770624 swapFree=66959532/67108860
[pid=12958] ppid=12955 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12958/stat : 12958 (xcsp3-exec) S 12955 12958 12283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475520689 115843072 362 33554432000 4194304 5098028 140728473218416 140728473216520 139704763429500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15892480 140728473219963 140728473220205 140728473220205 140728473223114 0
/proc/12958/statm: 28282 362 304 221 0 87 0
[pid=12960] ppid=12958 vsize=15551568 memory=203288 CPUtime=17.88 cores=1,3,5,7
/proc/12960/stat : 12960 (java) S 12958 12958 12283 0 -1 1077944320 28436 0 0 0 1780 8 0 0 20 0 19 0 475520689 15924805632 50822 33554432000 4194304 4196468 140728105552800 140728105535344 139987468906231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
/proc/12960/statm: 3887892 50822 3516 1 0 3848992 0
[pid=12960/tid=12961] ppid=12958 vsize=15551568 memory=7380671248541445222 CPUtime=0.57 cores=1,3,5,7
/proc/12960/task/12961/stat : 12961 (java) S 12958 12958 12283 0 -1 1077944384 9232 0 0 0 54 3 0 0 20 0 19 0 475520690 15924805632 50822 33554432000 4194304 4196468 140728105552800 139987473147008 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12962] ppid=12958 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12962/stat : 12962 (java) S 12958 12958 12283 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 475520690 15924805632 50822 33554432000 4194304 4196468 140728105552800 139987421527184 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12963] ppid=12958 vsize=15551568 memory=6935649255759570515 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12963/stat : 12963 (java) S 12958 12958 12283 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 19 0 475520690 15924805632 50822 33554432000 4194304 4196468 140728105552800 139987420474384 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12964] ppid=12958 vsize=15551568 memory=7079764443835427410 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12964/stat : 12964 (java) S 12958 12958 12283 0 -1 1077944384 466 0 0 0 0 0 0 0 20 0 19 0 475520690 15924805632 50822 33554432000 4194304 4196468 140728105552800 139987419421584 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12965] ppid=12958 vsize=15551568 memory=6935649255794696768 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12965/stat : 12965 (java) S 12958 12958 12283 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 475520690 15924805632 50822 33554432000 4194304 4196468 140728105552800 139987418368784 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12966] ppid=12958 vsize=15551568 memory=5787213827130353767 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12966/stat : 12966 (java) S 12958 12958 12283 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 19 0 475520692 15924805632 50822 33554432000 4194304 4196468 140728105552800 139986611521904 139987468917378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12967] ppid=12958 vsize=15551568 memory=7228384331050278976 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12967/stat : 12967 (java) S 12958 12958 12283 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475520692 15924805632 50822 33554432000 4194304 4196468 140728105552800 139986610467872 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12968] ppid=12958 vsize=15551568 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12968/stat : 12968 (java) S 12958 12958 12283 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475520692 15924805632 50822 33554432000 4194304 4196468 140728105552800 139986609415024 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12969] ppid=12958 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12969/stat : 12969 (java) S 12958 12958 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475520695 15924805632 50822 33554432000 4194304 4196468 140728105552800 139986608363344 139987468924827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12970] ppid=12958 vsize=15551568 memory=0 CPUtime=1.5 cores=1,3,5,7
/proc/12960/task/12970/stat : 12970 (java) S 12958 12958 12283 0 -1 1077944384 5693 0 0 0 150 0 0 0 20 0 19 0 475520695 15924805632 50822 33554432000 4194304 4196468 140728105552800 139986405944176 139987468917378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12971] ppid=12958 vsize=15551568 memory=4294969536 CPUtime=1.78 cores=1,3,5,7
/proc/12960/task/12971/stat : 12971 (java) S 12958 12958 12283 0 -1 1077944384 5976 0 0 0 177 1 0 0 20 0 19 0 475520695 15924805632 50822 33554432000 4194304 4196468 140728105552800 139986404891376 139987468917378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 40 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12972] ppid=12958 vsize=15551568 memory=2244 CPUtime=0.59 cores=1,3,5,7
/proc/12960/task/12972/stat : 12972 (java) S 12958 12958 12283 0 -1 1077944384 3379 0 0 0 59 0 0 0 20 0 19 0 475520695 15924805632 50822 33554432000 4194304 4196468 140728105552800 139986403838576 139987468917378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12973] ppid=12958 vsize=15551568 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12973/stat : 12973 (java) S 12958 12958 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475520695 15924805632 50822 33554432000 4194304 4196468 140728105552800 139986402786016 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12974] ppid=12958 vsize=15551568 memory=0 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12974/stat : 12974 (java) R 12958 12958 12283 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 475520695 15924805632 50822 33554432000 4194304 4196468 140728105552800 139986401733296 139987468917378 0 4 0 16800975 0 0 0 -1 7 0 0 38 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12991] ppid=12958 vsize=15551568 memory=7372762491520248683 CPUtime=2.64 cores=1,3,5,7
/proc/12960/task/12991/stat : 12991 (java) R 12958 12958 12283 0 -1 4202560 200 0 0 0 264 0 0 0 20 0 19 0 475520862 15924805632 50822 33554432000 4194304 4196468 140728105552800 139986389355304 139987099288467 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12992] ppid=12958 vsize=15551568 memory=6005660519920136547 CPUtime=2.57 cores=1,3,5,7
/proc/12960/task/12992/stat : 12992 (java) R 12958 12958 12283 0 -1 4202560 346 0 0 0 257 0 0 0 20 0 19 0 475520862 15924805632 50822 33554432000 4194304 4196468 140728105552800 139986392516280 139987099288854 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12993] ppid=12958 vsize=15551568 memory=-6519613052471072158 CPUtime=2.57 cores=1,3,5,7
/proc/12960/task/12993/stat : 12993 (java) R 12958 12958 12283 0 -1 4202560 604 0 0 0 257 0 0 0 20 0 19 0 475520862 15924805632 50822 33554432000 4194304 4196468 140728105552800 139986391461360 139987450806375 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12994] ppid=12958 vsize=15551568 memory=7523944236482913872 CPUtime=2.47 cores=1,3,5,7
/proc/12960/task/12994/stat : 12994 (java) R 12958 12958 12283 0 -1 4202560 162 0 0 0 247 0 0 0 20 0 19 0 475520862 15924805632 50822 33554432000 4194304 4196468 140728105552800 139986387252456 139987098886844 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
Current children cumulated CPU time: 17.88 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 204736 KiB
[startup+5.20137 s]
/proc/loadavg: 8.80 8.53 6.73 10/239 12996
/proc/meminfo: memFree=8646024/32770624 swapFree=66959532/67108860
[pid=12958] ppid=12955 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12958/stat : 12958 (xcsp3-exec) S 12955 12958 12283 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475520689 115843072 362 33554432000 4194304 5098028 140728473218416 140728473216520 139704763429500 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15892480 140728473219963 140728473220205 140728473220205 140728473223114 0
/proc/12958/statm: 28282 362 304 221 0 87 0
[pid=12960] ppid=12958 vsize=15551568 memory=204732 CPUtime=19.43 cores=1,3,5,7
/proc/12960/stat : 12960 (java) S 12958 12958 12283 0 -1 1077944320 28844 0 0 0 1935 8 0 0 20 0 19 0 475520689 15924805632 51183 33554432000 4194304 4196468 140728105552800 140728105535344 139987468906231 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
/proc/12960/statm: 3887892 51183 3516 1 0 3848992 0
[pid=12960/tid=12961] ppid=12958 vsize=15551568 memory=3689072824401800112 CPUtime=0.57 cores=1,3,5,7
/proc/12960/task/12961/stat : 12961 (java) S 12958 12958 12283 0 -1 1077944384 9232 0 0 0 54 3 0 0 20 0 19 0 475520690 15924805632 51183 33554432000 4194304 4196468 140728105552800 139987473147008 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12962] ppid=12958 vsize=15551568 memory=6944656596750327865 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12962/stat : 12962 (java) S 12958 12958 12283 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 475520690 15924805632 51183 33554432000 4194304 4196468 140728105552800 139987421527184 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12963] ppid=12958 vsize=15551568 memory=280513441465904 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12963/stat : 12963 (java) S 12958 12958 12283 0 -1 1077944384 168 0 0 0 0 0 0 0 20 0 19 0 475520690 15924805632 51183 33554432000 4194304 4196468 140728105552800 139987420474384 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12964] ppid=12958 vsize=15551568 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12964/stat : 12964 (java) S 12958 12958 12283 0 -1 1077944384 466 0 0 0 0 0 0 0 20 0 19 0 475520690 15924805632 51183 33554432000 4194304 4196468 140728105552800 139987419421584 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12965] ppid=12958 vsize=15551568 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12965/stat : 12965 (java) S 12958 12958 12283 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 475520690 15924805632 51183 33554432000 4194304 4196468 140728105552800 139987418368784 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12966] ppid=12958 vsize=15551568 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12966/stat : 12966 (java) S 12958 12958 12283 0 -1 1077944384 241 0 0 0 0 0 0 0 20 0 19 0 475520692 15924805632 51183 33554432000 4194304 4196468 140728105552800 139986611521904 139987468917378 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12967] ppid=12958 vsize=15551568 memory=-3040564339240289162 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12967/stat : 12967 (java) S 12958 12958 12283 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475520692 15924805632 51183 33554432000 4194304 4196468 140728105552800 139986610467872 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12968] ppid=12958 vsize=15551568 memory=-6881309109511989289 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12968/stat : 12968 (java) S 12958 12958 12283 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 475520692 15924805632 51183 33554432000 4194304 4196468 140728105552800 139986609415024 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12969] ppid=12958 vsize=15551568 memory=280513441247728 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12969/stat : 12969 (java) S 12958 12958 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475520695 15924805632 51183 33554432000 4194304 4196468 140728105552800 139986608363344 139987468924827 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12970] ppid=12958 vsize=15551568 memory=0 CPUtime=1.68 cores=1,3,5,7
/proc/12960/task/12970/stat : 12970 (java) S 12958 12958 12283 0 -1 1077944384 6089 0 0 0 168 0 0 0 20 0 19 0 475520695 15924805632 51183 33554432000 4194304 4196468 140728105552800 139986405944176 139987468917378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 34 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12971] ppid=12958 vsize=15551568 memory=280513441396996 CPUtime=1.78 cores=1,3,5,7
/proc/12960/task/12971/stat : 12971 (java) S 12958 12958 12283 0 -1 1077944384 5977 0 0 0 177 1 0 0 20 0 19 0 475520695 15924805632 51183 33554432000 4194304 4196468 140728105552800 139986404891376 139987468917378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 40 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12972] ppid=12958 vsize=15551568 memory=5936701336042563156 CPUtime=0.59 cores=1,3,5,7
/proc/12960/task/12972/stat : 12972 (java) S 12958 12958 12283 0 -1 1077944384 3389 0 0 0 59 0 0 0 20 0 19 0 475520695 15924805632 51183 33554432000 4194304 4196468 140728105552800 139986403838576 139987468917378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 38 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12973] ppid=12958 vsize=15551568 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12973/stat : 12973 (java) S 12958 12958 12283 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475520695 15924805632 51183 33554432000 4194304 4196468 140728105552800 139986402786016 139987468916437 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12974] ppid=12958 vsize=15551568 memory=2209 CPUtime=0 cores=1,3,5,7
/proc/12960/task/12974/stat : 12974 (java) S 12958 12958 12283 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 475520695 15924805632 51183 33554432000 4194304 4196468 140728105552800 139986401733296 139987468917378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 38 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12991] ppid=12958 vsize=15551568 memory=4580 CPUtime=2.87 cores=1,3,5,7
/proc/12960/task/12991/stat : 12991 (java) R 12958 12958 12283 0 -1 4202560 200 0 0 0 287 0 0 0 20 0 19 0 475520862 15924805632 51183 33554432000 4194304 4196468 140728105552800 139986389355304 139987097869852 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12992] ppid=12958 vsize=15551568 memory=7301012666214605120 CPUtime=2.96 cores=1,3,5,7
/proc/12960/task/12992/stat : 12992 (java) R 12958 12958 12283 0 -1 4202560 347 0 0 0 296 0 0 0 20 0 19 0 475520862 15924805632 51183 33554432000 4194304 4196468 140728105552800 139986392516280 139987098514237 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12993] ppid=12958 vsize=15551568 memory=5937555670183465313 CPUtime=2.95 cores=1,3,5,7
/proc/12960/task/12993/stat : 12993 (java) R 12958 12958 12283 0 -1 4202560 604 0 0 0 295 0 0 0 20 0 19 0 475520862 15924805632 51183 33554432000 4194304 4196468 140728105552800 139986391463592 139987098263352 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
[pid=12960/tid=12994] ppid=12958 vsize=15551568 memory=7019257425709197167 CPUtime=2.83 cores=1,3,5,7
/proc/12960/task/12994/stat : 12994 (java) R 12958 12958 12283 0 -1 4202560 162 0 0 0 283 0 0 0 20 0 19 0 475520862 15924805632 51183 33554432000 4194304 4196468 140728105552800 139986387252456 139987098210741 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31899648 140728105554927 140728105555098 140728105555098 140728105557967 0
Current children cumulated CPU time: 19.43 s
Current children cumulated vsize: 15664696 KiB
Current children cumulated memory: 206180 KiB
Child status: 0
Real time (s): 5.28227
CPU time (s): 19.7459
CPU user time (s): 19.6516
CPU system time (s): 0.094255
CPU usage (%): 373.814
Max. virtual memory (cumulated for all children) (KiB): 15664696
Max. memory (cumulated for all children) (KiB): 206180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.6516
system time used= 0.094255
maximum resident set size= 205120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29697
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2586
involuntary context switches= 837
# summary of solver processes directly reported to runsolver:
# pid: 12958
# total CPU time (s): 19.7459
# total CPU user time (s): 19.6516
# total CPU system time (s): 0.094255
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.057781 second user time and 0.103269 second system time
The end