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 (5580 MiB free)
memory of node 1: 16384 MiB (3701 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403532-1568990671/watcher-4403532-1568990671 -o /tmp/evaluation-result-4403532-1568990671/solver-4403532-1568990671 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568988175-11773 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1825515185 HOME/instance-4403532-1568990671.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
Current StackSize limit: 8192 KiB
solver pid=16087, runsolver pid=16084
[startup+0.100159 s]*
/proc/loadavg: 8.68 8.14 7.63 6/234 16103
/proc/meminfo: memFree=9488276/32770624 swapFree=66974524/67108860
[pid=16087] ppid=16084 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16087/stat : 16087 (xcsp3-exec) S 16084 16087 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475334017 115843072 362 33554432000 4194304 5098028 140727065031136 140727065029240 140624064131708 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34430976 140727065039738 140727065039981 140727065039981 140727065042890 0
/proc/16087/statm: 28282 362 304 221 0 87 0
[pid=16089] ppid=16087 vsize=15144776 memory=29368 CPUtime=0.12 cores=0,2,4,6
/proc/16089/stat : 16089 (java) S 16087 16087 11742 0 -1 1077944320 5739 0 0 0 11 1 0 0 20 0 15 0 475334017 15508250624 7342 33554432000 4194304 4196468 140734526479856 140734526462400 139806262177527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
/proc/16089/statm: 3786194 7342 3157 1 0 3748377 0
[pid=16089/tid=16090] ppid=16087 vsize=15144776 memory=8324486588775410251 CPUtime=0.08 cores=0,2,4,6
/proc/16089/task/16090/stat : 16090 (java) R 16087 16087 11742 0 -1 4202560 3665 0 0 0 8 0 0 0 20 0 15 0 475334017 15508250624 7342 33554432000 4194304 4196468 140734526479856 139806266407936 139806246221157 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16091] ppid=16087 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16091/stat : 16091 (java) S 16087 16087 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475334018 15508250624 7342 33554432000 4194304 4196468 140734526479856 139805854981136 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16092] ppid=16087 vsize=15144776 memory=140011967063680 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16092/stat : 16092 (java) S 16087 16087 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475334018 15508250624 7342 33554432000 4194304 4196468 140734526479856 139805853928592 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16093] ppid=16087 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16093/stat : 16093 (java) S 16087 16087 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475334018 15508250624 7342 33554432000 4194304 4196468 140734526479856 139805852875536 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16094] ppid=16087 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16094/stat : 16094 (java) S 16087 16087 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475334018 15508250624 7342 33554432000 4194304 4196468 140734526479856 139805851822992 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16095] ppid=16087 vsize=15144776 memory=140011967063680 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16095/stat : 16095 (java) S 16087 16087 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475334020 15508250624 7342 33554432000 4194304 4196468 140734526479856 139805136206064 139806262188674 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16096] ppid=16087 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16096/stat : 16096 (java) S 16087 16087 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475334020 15508250624 7342 33554432000 4194304 4196468 140734526479856 139805135152288 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16097] ppid=16087 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16097/stat : 16097 (java) S 16087 16087 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475334020 15508250624 7342 33554432000 4194304 4196468 140734526479856 139805134099184 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16098] ppid=16087 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16098/stat : 16098 (java) S 16087 16087 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475334023 15508250624 7342 33554432000 4194304 4196468 140734526479856 139805133047760 139806262196123 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16099] ppid=16087 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16099/stat : 16099 (java) R 16087 16087 11742 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 475334023 15508250624 7342 33554432000 4194304 4196468 140734526479856 139805131995888 139806262188674 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16100] ppid=16087 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16100/stat : 16100 (java) R 16087 16087 11742 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 475334023 15508250624 7342 33554432000 4194304 4196468 140734526479856 139805130943344 139806248241636 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16101] ppid=16087 vsize=15144776 memory=140011967063680 CPUtime=0.02 cores=0,2,4,6
/proc/16089/task/16101/stat : 16101 (java) R 16087 16087 11742 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 475334023 15508250624 7342 33554432000 4194304 4196468 140734526479856 139805129890288 139806254414654 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16102] ppid=16087 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16102/stat : 16102 (java) S 16087 16087 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475334023 15508250624 7342 33554432000 4194304 4196468 140734526479856 139805128837984 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16103] ppid=16087 vsize=15144776 memory=140011967063680 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16103/stat : 16103 (java) S 16087 16087 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475334023 15508250624 7342 33554432000 4194304 4196468 140734526479856 139805127785008 139806262188674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30816 KiB
[startup+0.211074 s]*
/proc/loadavg: 8.68 8.14 7.63 8/234 16103
/proc/meminfo: memFree=9475260/32770624 swapFree=66974524/67108860
[pid=16087] ppid=16084 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16087/stat : 16087 (xcsp3-exec) S 16084 16087 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475334017 115843072 362 33554432000 4194304 5098028 140727065031136 140727065029240 140624064131708 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34430976 140727065039738 140727065039981 140727065039981 140727065042890 0
/proc/16087/statm: 28282 362 304 221 0 87 0
[pid=16089] ppid=16087 vsize=15144776 memory=40180 CPUtime=0.34 cores=0,2,4,6
/proc/16089/stat : 16089 (java) S 16087 16087 11742 0 -1 1077944320 9310 0 0 0 31 3 0 0 20 0 15 0 475334017 15508250624 10045 33554432000 4194304 4196468 140734526479856 140734526462400 139806262177527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
/proc/16089/statm: 3786194 10045 3275 1 0 3748377 0
[pid=16089/tid=16090] ppid=16087 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/16089/task/16090/stat : 16090 (java) R 16087 16087 11742 0 -1 4202560 6618 0 0 0 18 2 0 0 20 0 15 0 475334017 15508250624 10045 33554432000 4194304 4196468 140734526479856 139806266414288 139806262198874 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16091] ppid=16087 vsize=15144776 memory=9034 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16091/stat : 16091 (java) S 16087 16087 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475334018 15508250624 10045 33554432000 4194304 4196468 140734526479856 139805854981136 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16092] ppid=16087 vsize=15144776 memory=140011967078226 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16092/stat : 16092 (java) S 16087 16087 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475334018 15508250624 10045 33554432000 4194304 4196468 140734526479856 139805853928592 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16093] ppid=16087 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16093/stat : 16093 (java) S 16087 16087 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475334018 15508250624 10045 33554432000 4194304 4196468 140734526479856 139805852875536 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16094] ppid=16087 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16094/stat : 16094 (java) S 16087 16087 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475334018 15508250624 10045 33554432000 4194304 4196468 140734526479856 139805851822992 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16095] ppid=16087 vsize=15144776 memory=140011967063680 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16095/stat : 16095 (java) S 16087 16087 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475334020 15508250624 10045 33554432000 4194304 4196468 140734526479856 139805136206064 139806262188674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16096] ppid=16087 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16096/stat : 16096 (java) S 16087 16087 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475334020 15508250624 10045 33554432000 4194304 4196468 140734526479856 139805135152288 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16097] ppid=16087 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16097/stat : 16097 (java) S 16087 16087 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475334020 15508250624 10045 33554432000 4194304 4196468 140734526479856 139805134099184 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16098] ppid=16087 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16098/stat : 16098 (java) S 16087 16087 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475334023 15508250624 10045 33554432000 4194304 4196468 140734526479856 139805133047760 139806262196123 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16099] ppid=16087 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16089/task/16099/stat : 16099 (java) S 16087 16087 11742 0 -1 1077944384 543 0 0 0 3 0 0 0 20 0 15 0 475334023 15508250624 10045 33554432000 4194304 4196468 140734526479856 139805131995888 139806262188674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16100] ppid=16087 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/16089/task/16100/stat : 16100 (java) S 16087 16087 11742 0 -1 1077944384 58 0 0 0 1 0 0 0 20 0 15 0 475334023 15508250624 10045 33554432000 4194304 4196468 140734526479856 139805130943344 139806262188674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16101] ppid=16087 vsize=15144776 memory=140011967063680 CPUtime=0.08 cores=0,2,4,6
/proc/16089/task/16101/stat : 16101 (java) S 16087 16087 11742 0 -1 1077944384 786 0 0 0 8 0 0 0 20 0 15 0 475334023 15508250624 10045 33554432000 4194304 4196468 140734526479856 139805129890288 139806262188674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16102] ppid=16087 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16102/stat : 16102 (java) S 16087 16087 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475334023 15508250624 10045 33554432000 4194304 4196468 140734526479856 139805128837984 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16103] ppid=16087 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16103/stat : 16103 (java) S 16087 16087 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475334023 15508250624 10045 33554432000 4194304 4196468 140734526479856 139805127785008 139806262188674 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41628 KiB
[startup+0.311743 s]*
/proc/loadavg: 8.68 8.14 7.63 8/234 16103
/proc/meminfo: memFree=9467740/32770624 swapFree=66974524/67108860
[pid=16087] ppid=16084 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16087/stat : 16087 (xcsp3-exec) S 16084 16087 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475334017 115843072 362 33554432000 4194304 5098028 140727065031136 140727065029240 140624064131708 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34430976 140727065039738 140727065039981 140727065039981 140727065042890 0
/proc/16087/statm: 28282 362 304 221 0 87 0
[pid=16089] ppid=16087 vsize=15149032 memory=49680 CPUtime=0.54 cores=0,2,4,6
/proc/16089/stat : 16089 (java) S 16087 16087 11742 0 -1 1077944320 10777 0 0 0 50 4 0 0 20 0 15 0 475334017 15512608768 12420 33554432000 4194304 4196468 140734526479856 140734526462400 139806262177527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
/proc/16089/statm: 3787258 12420 3371 1 0 3748377 0
[pid=16089/tid=16090] ppid=16087 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/16089/task/16090/stat : 16090 (java) R 16087 16087 11742 0 -1 4202560 7806 0 0 0 27 3 0 0 20 0 15 0 475334017 15512608768 12485 33554432000 4194304 4196468 140734526479856 139806266408640 139806246258014 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16091] ppid=16087 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16091/stat : 16091 (java) S 16087 16087 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475334018 15512608768 12485 33554432000 4194304 4196468 140734526479856 139805854981136 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16092] ppid=16087 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16092/stat : 16092 (java) S 16087 16087 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475334018 15512608768 12485 33554432000 4194304 4196468 140734526479856 139805853928592 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16093] ppid=16087 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16093/stat : 16093 (java) S 16087 16087 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475334018 15512608768 12485 33554432000 4194304 4196468 140734526479856 139805852875536 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16094] ppid=16087 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16094/stat : 16094 (java) S 16087 16087 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475334018 15512608768 12490 33554432000 4194304 4196468 140734526479856 139805851822992 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16095] ppid=16087 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16095/stat : 16095 (java) S 16087 16087 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475334020 15512608768 12490 33554432000 4194304 4196468 140734526479856 139805136206064 139806262188674 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16096] ppid=16087 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16096/stat : 16096 (java) S 16087 16087 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475334020 15512608768 12490 33554432000 4194304 4196468 140734526479856 139805135152288 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16097] ppid=16087 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16097/stat : 16097 (java) S 16087 16087 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475334020 15512608768 12490 33554432000 4194304 4196468 140734526479856 139805134099184 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16098] ppid=16087 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16098/stat : 16098 (java) S 16087 16087 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475334023 15512608768 12490 33554432000 4194304 4196468 140734526479856 139805133047760 139806262196123 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16099] ppid=16087 vsize=15149032 memory=7827413994055111515 CPUtime=0.06 cores=0,2,4,6
/proc/16089/task/16099/stat : 16099 (java) R 16087 16087 11742 0 -1 4202560 631 0 0 0 6 0 0 0 20 0 15 0 475334023 15512608768 12490 33554432000 4194304 4196468 140734526479856 139805131986272 139806239438784 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16100] ppid=16087 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/16089/task/16100/stat : 16100 (java) S 16087 16087 11742 0 -1 1077944384 85 0 0 0 3 0 0 0 20 0 15 0 475334023 15512608768 12490 33554432000 4194304 4196468 140734526479856 139805130943344 139806262188674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16101] ppid=16087 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/16089/task/16101/stat : 16101 (java) S 16087 16087 11742 0 -1 1077944384 961 0 0 0 13 0 0 0 20 0 15 0 475334023 15512608768 12490 33554432000 4194304 4196468 140734526479856 139805129890288 139806262188674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16102] ppid=16087 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16102/stat : 16102 (java) S 16087 16087 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475334023 15512608768 12490 33554432000 4194304 4196468 140734526479856 139805128837984 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16103] ppid=16087 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16103/stat : 16103 (java) S 16087 16087 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475334023 15512608768 12490 33554432000 4194304 4196468 140734526479856 139805127785008 139806262188674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51128 KiB
[startup+0.701068 s]
/proc/loadavg: 8.47 8.10 7.63 8/234 16103
/proc/meminfo: memFree=9430560/32770624 swapFree=66974524/67108860
[pid=16087] ppid=16084 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16087/stat : 16087 (xcsp3-exec) S 16084 16087 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475334017 115843072 362 33554432000 4194304 5098028 140727065031136 140727065029240 140624064131708 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34430976 140727065039738 140727065039981 140727065039981 140727065042890 0
/proc/16087/statm: 28282 362 304 221 0 87 0
[pid=16089] ppid=16087 vsize=15149032 memory=198752 CPUtime=1.4 cores=0,2,4,6
/proc/16089/stat : 16089 (java) S 16087 16087 11742 0 -1 1077944320 13245 0 0 0 131 9 0 0 20 0 15 0 475334017 15512608768 49688 33554432000 4194304 4196468 140734526479856 140734526462400 139806262177527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
/proc/16089/statm: 3787258 49688 3403 1 0 3748377 0
[pid=16089/tid=16090] ppid=16087 vsize=15149032 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/16089/task/16090/stat : 16090 (java) S 16087 16087 11742 0 -1 1077944384 8028 0 0 0 61 5 0 0 20 0 15 0 475334017 15512608768 49688 33554432000 4194304 4196468 140734526479856 139806266416704 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16091] ppid=16087 vsize=15149032 memory=54380 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16091/stat : 16091 (java) R 16087 16087 11742 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 15 0 475334018 15512608768 49688 33554432000 4194304 4196468 140734526479856 139805854981136 139806255277227 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16092] ppid=16087 vsize=15149032 memory=984 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16092/stat : 16092 (java) R 16087 16087 11742 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 15 0 475334018 15512608768 49688 33554432000 4194304 4196468 140734526479856 139805853928792 139806255277227 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16093] ppid=16087 vsize=15149032 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16093/stat : 16093 (java) R 16087 16087 11742 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 15 0 475334018 15512608768 49688 33554432000 4194304 4196468 140734526479856 139805852875536 139806255274228 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16094] ppid=16087 vsize=15149032 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16094/stat : 16094 (java) R 16087 16087 11742 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 15 0 475334018 15512608768 49688 33554432000 4194304 4196468 140734526479856 139805851823192 139806255274228 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16095] ppid=16087 vsize=15149032 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16095/stat : 16095 (java) S 16087 16087 11742 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 475334020 15512608768 49688 33554432000 4194304 4196468 140734526479856 139805136204576 139806262187733 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16096] ppid=16087 vsize=15149032 memory=3636 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16096/stat : 16096 (java) S 16087 16087 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475334020 15512608768 49688 33554432000 4194304 4196468 140734526479856 139805135152288 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16097] ppid=16087 vsize=15149032 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16097/stat : 16097 (java) S 16087 16087 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475334020 15512608768 49688 33554432000 4194304 4196468 140734526479856 139805134099184 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16098] ppid=16087 vsize=15149032 memory=6088 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16098/stat : 16098 (java) S 16087 16087 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475334023 15512608768 49688 33554432000 4194304 4196468 140734526479856 139805133047760 139806262196123 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16099] ppid=16087 vsize=15149032 memory=10564 CPUtime=0.25 cores=0,2,4,6
/proc/16089/task/16099/stat : 16099 (java) S 16087 16087 11742 0 -1 1077944384 1554 0 0 0 25 0 0 0 20 0 15 0 475334023 15512608768 49688 33554432000 4194304 4196468 140734526479856 139805131995888 139806262188674 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16100] ppid=16087 vsize=15149032 memory=716 CPUtime=0.22 cores=0,2,4,6
/proc/16089/task/16100/stat : 16100 (java) S 16087 16087 11742 0 -1 1077944384 833 0 0 0 22 0 0 0 20 0 15 0 475334023 15512608768 49688 33554432000 4194304 4196468 140734526479856 139805130943344 139806262188674 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16101] ppid=16087 vsize=15149032 memory=780 CPUtime=0.19 cores=0,2,4,6
/proc/16089/task/16101/stat : 16101 (java) S 16087 16087 11742 0 -1 1077944384 1449 0 0 0 19 0 0 0 20 0 15 0 475334023 15512608768 49688 33554432000 4194304 4196468 140734526479856 139805129886160 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16102] ppid=16087 vsize=15149032 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16102/stat : 16102 (java) S 16087 16087 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475334023 15512608768 49688 33554432000 4194304 4196468 140734526479856 139805128837984 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16103] ppid=16087 vsize=15149032 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16103/stat : 16103 (java) S 16087 16087 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475334023 15512608768 49688 33554432000 4194304 4196468 140734526479856 139805127785008 139806262188674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 200200 KiB
[startup+1.50106 s]
/proc/loadavg: 8.47 8.10 7.63 6/234 16103
/proc/meminfo: memFree=9220376/32770624 swapFree=66974524/67108860
[pid=16087] ppid=16084 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16087/stat : 16087 (xcsp3-exec) S 16084 16087 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475334017 115843072 362 33554432000 4194304 5098028 140727065031136 140727065029240 140624064131708 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34430976 140727065039738 140727065039981 140727065039981 140727065042890 0
/proc/16087/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/16089/task/16092/stat : 16092 (java) R 16087 16087 11742 0 -1 4202560 1067643 0 0 0 27451 1357 0 0 20 0 15 0 475334018 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805853928792 139806255281174 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16093] ppid=16087 vsize=15151156 memory=3053811428158493008 CPUtime=288.47 cores=0,2,4,6
/proc/16089/task/16093/stat : 16093 (java) R 16087 16087 11742 0 -1 4202560 1632179 0 0 0 27370 1477 0 0 20 0 15 0 475334018 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805852875424 139806255281179 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16094] ppid=16087 vsize=15151156 memory=12820532 CPUtime=288.58 cores=0,2,4,6
/proc/16089/task/16094/stat : 16094 (java) R 16087 16087 11742 0 -1 4202560 1395911 0 0 0 27451 1407 0 0 20 0 15 0 475334018 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805851823192 139806247167163 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16095] ppid=16087 vsize=15151156 memory=1448 CPUtime=51.62 cores=0,2,4,6
/proc/16089/task/16095/stat : 16095 (java) S 16087 16087 11742 0 -1 1077944384 189809 0 0 0 5146 16 0 0 20 0 15 0 475334020 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805136204608 139806262187733 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16096] ppid=16087 vsize=15151156 memory=12820532 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16096/stat : 16096 (java) S 16087 16087 11742 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 475334020 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805135152352 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16097] ppid=16087 vsize=15151156 memory=920 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16097/stat : 16097 (java) S 16087 16087 11742 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 475334020 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805134099200 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16098] ppid=16087 vsize=15151156 memory=280023681478368 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16098/stat : 16098 (java) S 16087 16087 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475334023 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805133047760 139806262196123 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16099] ppid=16087 vsize=15151156 memory=9126232286719478932 CPUtime=2.14 cores=0,2,4,6
/proc/16089/task/16099/stat : 16099 (java) S 16087 16087 11742 0 -1 1077944384 8169 0 0 0 213 1 0 0 20 0 15 0 475334023 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805131995936 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16100] ppid=16087 vsize=15151156 memory=8976414709404591081 CPUtime=2.05 cores=0,2,4,6
/proc/16089/task/16100/stat : 16100 (java) S 16087 16087 11742 0 -1 1077944384 7522 0 0 0 204 1 0 0 20 0 15 0 475334023 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805130943104 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16101] ppid=16087 vsize=15151156 memory=12820532 CPUtime=0.62 cores=0,2,4,6
/proc/16089/task/16101/stat : 16101 (java) S 16087 16087 11742 0 -1 1077944384 8892 0 0 0 60 2 0 0 20 0 15 0 475334023 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805129890336 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16102] ppid=16087 vsize=15151156 memory=12820532 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16102/stat : 16102 (java) S 16087 16087 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475334023 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805128837984 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16103] ppid=16087 vsize=15151156 memory=6088 CPUtime=0.49 cores=0,2,4,6
/proc/16089/task/16103/stat : 16103 (java) S 16087 16087 11742 0 -1 1077944384 410 0 0 0 24 25 0 0 20 0 15 0 475334023 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805127785008 139806262188674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
Current children cumulated CPU time: 1281.62 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12823040 KiB
[startup+415.601 s]
/proc/loadavg: 7.95 7.76 7.58 6/234 16141
/proc/meminfo: memFree=203508/32770624 swapFree=66974524/67108860
[pid=16087] ppid=16084 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16087/stat : 16087 (xcsp3-exec) S 16084 16087 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475334017 115843072 362 33554432000 4194304 5098028 140727065031136 140727065029240 140624064131708 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34430976 140727065039738 140727065039981 140727065039981 140727065042890 0
/proc/16087/statm: 28282 362 304 221 0 87 0
[pid=16089] ppid=16087 vsize=15151156 memory=12821592 CPUtime=1285.18 cores=0,2,4,6
/proc/16089/stat : 16089 (java) S 16087 16087 11742 0 -1 1077944320 5925871 0 0 0 122826 5692 0 0 20 0 15 0 475334017 15514783744 3205398 33554432000 4194304 4196468 140734526479856 140734526462400 139806262177527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
/proc/16089/statm: 3787789 3205398 3512 1 0 3748889 0
[pid=16089/tid=16090] ppid=16087 vsize=15151156 memory=3848 CPUtime=71.27 cores=0,2,4,6
/proc/16089/task/16090/stat : 16090 (java) S 16087 16087 11742 0 -1 1077944384 28622 0 0 0 7113 14 0 0 20 0 15 0 475334017 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139806266416800 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16091] ppid=16087 vsize=15151156 memory=54384 CPUtime=288.87 cores=0,2,4,6
/proc/16089/task/16091/stat : 16091 (java) S 16087 16087 11742 0 -1 1077944384 1527385 0 0 0 27485 1402 0 0 20 0 15 0 475334018 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805854981136 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16092] ppid=16087 vsize=15151156 memory=984 CPUtime=288.73 cores=0,2,4,6
/proc/16089/task/16092/stat : 16092 (java) S 16087 16087 11742 0 -1 1077944384 1092481 0 0 0 27515 1358 0 0 20 0 15 0 475334018 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805853928592 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16093] ppid=16087 vsize=15151156 memory=1448 CPUtime=289.12 cores=0,2,4,6
/proc/16089/task/16093/stat : 16093 (java) S 16087 16087 11742 0 -1 1077944384 1648440 0 0 0 27434 1478 0 0 20 0 15 0 475334018 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805852875536 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16094] ppid=16087 vsize=15151156 memory=12821592 CPUtime=289.24 cores=0,2,4,6
/proc/16089/task/16094/stat : 16094 (java) S 16087 16087 11742 0 -1 1077944384 1412755 0 0 0 27516 1408 0 0 20 0 15 0 475334018 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805851822992 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16095] ppid=16087 vsize=15151156 memory=1448 CPUtime=52.56 cores=0,2,4,6
/proc/16089/task/16095/stat : 16095 (java) R 16087 16087 11742 0 -1 4202560 189809 0 0 0 5240 16 0 0 20 0 15 0 475334020 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805136204496 139806246878145 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16096] ppid=16087 vsize=15151156 memory=12821592 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16096/stat : 16096 (java) S 16087 16087 11742 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 475334020 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805135152352 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16097] ppid=16087 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16097/stat : 16097 (java) S 16087 16087 11742 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 475334020 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805134099200 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16098] ppid=16087 vsize=15151156 memory=7234030490512353113 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16098/stat : 16098 (java) S 16087 16087 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475334023 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805133047760 139806262196123 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16099] ppid=16087 vsize=15151156 memory=5860704123725310038 CPUtime=2.14 cores=0,2,4,6
/proc/16089/task/16099/stat : 16099 (java) S 16087 16087 11742 0 -1 1077944384 8169 0 0 0 213 1 0 0 20 0 15 0 475334023 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805131995936 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16100] ppid=16087 vsize=15151156 memory=1060 CPUtime=2.05 cores=0,2,4,6
/proc/16089/task/16100/stat : 16100 (java) S 16087 16087 11742 0 -1 1077944384 7522 0 0 0 204 1 0 0 20 0 15 0 475334023 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805130943104 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16101] ppid=16087 vsize=15151156 memory=3636 CPUtime=0.62 cores=0,2,4,6
/proc/16089/task/16101/stat : 16101 (java) S 16087 16087 11742 0 -1 1077944384 8892 0 0 0 60 2 0 0 20 0 15 0 475334023 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805129890336 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16102] ppid=16087 vsize=15151156 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16102/stat : 16102 (java) S 16087 16087 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475334023 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805128837984 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16103] ppid=16087 vsize=15151156 memory=-3622645143214314312 CPUtime=0.49 cores=0,2,4,6
/proc/16089/task/16103/stat : 16103 (java) S 16087 16087 11742 0 -1 1077944384 410 0 0 0 24 25 0 0 20 0 15 0 475334023 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805127785008 139806262188674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
Current children cumulated CPU time: 1285.18 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12823040 KiB
[startup+416.401 s]
/proc/loadavg: 7.71 7.72 7.56 6/234 16142
/proc/meminfo: memFree=203508/32770624 swapFree=66974524/67108860
[pid=16087] ppid=16084 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16087/stat : 16087 (xcsp3-exec) S 16084 16087 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475334017 115843072 362 33554432000 4194304 5098028 140727065031136 140727065029240 140624064131708 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34430976 140727065039738 140727065039981 140727065039981 140727065042890 0
/proc/16087/statm: 28282 362 304 221 0 87 0
[pid=16089] ppid=16087 vsize=15151156 memory=12821592 CPUtime=1285.98 cores=0,2,4,6
/proc/16089/stat : 16089 (java) S 16087 16087 11742 0 -1 1077944320 5925871 0 0 0 122906 5692 0 0 20 0 15 0 475334017 15514783744 3205398 33554432000 4194304 4196468 140734526479856 140734526462400 139806262177527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
/proc/16089/statm: 3787789 3205398 3512 1 0 3748889 0
[pid=16089/tid=16090] ppid=16087 vsize=15151156 memory=1448 CPUtime=71.27 cores=0,2,4,6
/proc/16089/task/16090/stat : 16090 (java) S 16087 16087 11742 0 -1 1077944384 28622 0 0 0 7113 14 0 0 20 0 15 0 475334017 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139806266416800 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16091] ppid=16087 vsize=15151156 memory=12821592 CPUtime=288.87 cores=0,2,4,6
/proc/16089/task/16091/stat : 16091 (java) S 16087 16087 11742 0 -1 1077944384 1527385 0 0 0 27485 1402 0 0 20 0 15 0 475334018 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805854981136 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16092] ppid=16087 vsize=15151156 memory=940 CPUtime=288.73 cores=0,2,4,6
/proc/16089/task/16092/stat : 16092 (java) S 16087 16087 11742 0 -1 1077944384 1092481 0 0 0 27515 1358 0 0 20 0 15 0 475334018 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805853928592 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16093] ppid=16087 vsize=15151156 memory=6791534058613427641 CPUtime=289.12 cores=0,2,4,6
/proc/16089/task/16093/stat : 16093 (java) S 16087 16087 11742 0 -1 1077944384 1648440 0 0 0 27434 1478 0 0 20 0 15 0 475334018 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805852875536 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16094] ppid=16087 vsize=15151156 memory=10564 CPUtime=289.24 cores=0,2,4,6
/proc/16089/task/16094/stat : 16094 (java) S 16087 16087 11742 0 -1 1077944384 1412755 0 0 0 27516 1408 0 0 20 0 15 0 475334018 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805851822992 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16095] ppid=16087 vsize=15151156 memory=716 CPUtime=53.36 cores=0,2,4,6
/proc/16089/task/16095/stat : 16095 (java) R 16087 16087 11742 0 -1 4202560 189809 0 0 0 5320 16 0 0 20 0 15 0 475334020 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805136204496 139806247173931 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16096] ppid=16087 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16096/stat : 16096 (java) S 16087 16087 11742 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 475334020 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805135152352 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16097] ppid=16087 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16097/stat : 16097 (java) S 16087 16087 11742 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 475334020 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805134099200 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16098] ppid=16087 vsize=15151156 memory=12040 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16098/stat : 16098 (java) S 16087 16087 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475334023 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805133047760 139806262196123 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16099] ppid=16087 vsize=15151156 memory=28008 CPUtime=2.14 cores=0,2,4,6
/proc/16089/task/16099/stat : 16099 (java) S 16087 16087 11742 0 -1 1077944384 8169 0 0 0 213 1 0 0 20 0 15 0 475334023 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805131995936 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16100] ppid=16087 vsize=15151156 memory=2120 CPUtime=2.05 cores=0,2,4,6
/proc/16089/task/16100/stat : 16100 (java) S 16087 16087 11742 0 -1 1077944384 7522 0 0 0 204 1 0 0 20 0 15 0 475334023 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805130943104 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16101] ppid=16087 vsize=15151156 memory=5500 CPUtime=0.62 cores=0,2,4,6
/proc/16089/task/16101/stat : 16101 (java) S 16087 16087 11742 0 -1 1077944384 8892 0 0 0 60 2 0 0 20 0 15 0 475334023 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805129890336 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16102] ppid=16087 vsize=15151156 memory=2213 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16102/stat : 16102 (java) S 16087 16087 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475334023 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805128837984 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16103] ppid=16087 vsize=15151156 memory=0 CPUtime=0.49 cores=0,2,4,6
/proc/16089/task/16103/stat : 16103 (java) S 16087 16087 11742 0 -1 1077944384 410 0 0 0 24 25 0 0 20 0 15 0 475334023 15514783744 3205398 33554432000 4194304 4196468 140734526479856 139805127785008 139806262188674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
Current children cumulated CPU time: 1285.98 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12823040 KiB
[startup+416.801 s]
/proc/loadavg: 7.71 7.72 7.56 6/234 16142
/proc/meminfo: memFree=203508/32770624 swapFree=66974524/67108860
[pid=16087] ppid=16084 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16087/stat : 16087 (xcsp3-exec) S 16084 16087 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475334017 115843072 362 33554432000 4194304 5098028 140727065031136 140727065029240 140624064131708 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34430976 140727065039738 140727065039981 140727065039981 140727065042890 0
/proc/16087/statm: 28282 362 304 221 0 87 0
[pid=16089] ppid=16087 vsize=15151156 memory=12821600 CPUtime=1286.38 cores=0,2,4,6
/proc/16089/stat : 16089 (java) S 16087 16087 11742 0 -1 1077944320 5936513 0 0 0 122946 5692 0 0 20 0 15 0 475334017 15514783744 3205400 33554432000 4194304 4196468 140734526479856 140734526462400 139806262177527 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
/proc/16089/statm: 3787789 3205400 3512 1 0 3748889 0
[pid=16089/tid=16090] ppid=16087 vsize=15151156 memory=12040 CPUtime=71.27 cores=0,2,4,6
/proc/16089/task/16090/stat : 16090 (java) S 16087 16087 11742 0 -1 1077944384 28622 0 0 0 7113 14 0 0 20 0 15 0 475334017 15514783744 3205400 33554432000 4194304 4196468 140734526479856 139806266416800 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16091] ppid=16087 vsize=15151156 memory=28008 CPUtime=288.87 cores=0,2,4,6
/proc/16089/task/16091/stat : 16091 (java) S 16087 16087 11742 0 -1 1077944384 1527385 0 0 0 27485 1402 0 0 20 0 15 0 475334018 15514783744 3205400 33554432000 4194304 4196468 140734526479856 139805854981136 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16092] ppid=16087 vsize=15151156 memory=2120 CPUtime=288.73 cores=0,2,4,6
/proc/16089/task/16092/stat : 16092 (java) S 16087 16087 11742 0 -1 1077944384 1092481 0 0 0 27515 1358 0 0 20 0 15 0 475334018 15514783744 3205400 33554432000 4194304 4196468 140734526479856 139805853928592 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16093] ppid=16087 vsize=15151156 memory=3620 CPUtime=289.12 cores=0,2,4,6
/proc/16089/task/16093/stat : 16093 (java) S 16087 16087 11742 0 -1 1077944384 1648440 0 0 0 27434 1478 0 0 20 0 15 0 475334018 15514783744 3205400 33554432000 4194304 4196468 140734526479856 139805852875536 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16094] ppid=16087 vsize=15151156 memory=54384 CPUtime=289.24 cores=0,2,4,6
/proc/16089/task/16094/stat : 16094 (java) S 16087 16087 11742 0 -1 1077944384 1412755 0 0 0 27516 1408 0 0 20 0 15 0 475334018 15514783744 3205400 33554432000 4194304 4196468 140734526479856 139805851822992 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16095] ppid=16087 vsize=15151156 memory=984 CPUtime=53.76 cores=0,2,4,6
/proc/16089/task/16095/stat : 16095 (java) R 16087 16087 11742 0 -1 4202560 200451 0 0 0 5359 17 0 0 20 0 15 0 475334020 15514783744 3205400 33554432000 4194304 4196468 140734526479856 139805136204496 139806247173872 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16096] ppid=16087 vsize=15151156 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16096/stat : 16096 (java) S 16087 16087 11742 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 475334020 15514783744 3205400 33554432000 4194304 4196468 140734526479856 139805135152352 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16097] ppid=16087 vsize=15151156 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16097/stat : 16097 (java) S 16087 16087 11742 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 15 0 475334020 15514783744 3205400 33554432000 4194304 4196468 140734526479856 139805134099200 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16098] ppid=16087 vsize=15151156 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16098/stat : 16098 (java) S 16087 16087 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475334023 15514783744 3205400 33554432000 4194304 4196468 140734526479856 139805133047760 139806262196123 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16099] ppid=16087 vsize=15151156 memory=3636 CPUtime=2.14 cores=0,2,4,6
/proc/16089/task/16099/stat : 16099 (java) S 16087 16087 11742 0 -1 1077944384 8169 0 0 0 213 1 0 0 20 0 15 0 475334023 15514783744 3205400 33554432000 4194304 4196468 140734526479856 139805131995936 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16100] ppid=16087 vsize=15151156 memory=1192 CPUtime=2.05 cores=0,2,4,6
/proc/16089/task/16100/stat : 16100 (java) S 16087 16087 11742 0 -1 1077944384 7522 0 0 0 204 1 0 0 20 0 15 0 475334023 15514783744 3205400 33554432000 4194304 4196468 140734526479856 139805130943104 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16101] ppid=16087 vsize=15151156 memory=940 CPUtime=0.62 cores=0,2,4,6
/proc/16089/task/16101/stat : 16101 (java) S 16087 16087 11742 0 -1 1077944384 8892 0 0 0 60 2 0 0 20 0 15 0 475334023 15514783744 3205400 33554432000 4194304 4196468 140734526479856 139805129890336 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16102] ppid=16087 vsize=15151156 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/16089/task/16102/stat : 16102 (java) S 16087 16087 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475334023 15514783744 3205400 33554432000 4194304 4196468 140734526479856 139805128837984 139806262187733 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
[pid=16089/tid=16103] ppid=16087 vsize=15151156 memory=12040 CPUtime=0.49 cores=0,2,4,6
/proc/16089/task/16103/stat : 16103 (java) S 16087 16087 11742 0 -1 1077944384 410 0 0 0 24 25 0 0 20 0 15 0 475334023 15514783744 3205400 33554432000 4194304 4196468 140734526479856 139805127785008 139806262188674 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23068672 140734526481391 140734526481562 140734526481562 140734526484431 0
Current children cumulated CPU time: 1286.38 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12823048 KiB
[startup+417.201 s]*
/proc/loadavg: 7.71 7.72 7.56 6/221 16143
/proc/meminfo: memFree=7527516/32770624 swapFree=66974524/67108860
[pid=16087] ppid=16084 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/16087/stat : 16087 (xcsp3-exec) S 16084 16087 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475334017 115843072 362 33554432000 4194304 5098028 140727065031136 140727065029240 140624064131708 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 34430976 140727065039738 140727065039981 140727065039981 140727065042890 0
/proc/16087/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 1
Real time (s): 417.295
CPU time (s): 1286.88
CPU user time (s): 1229.67
CPU system time (s): 57.2146
CPU usage (%): 308.387
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 12823048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1229.67
system time used= 57.2146
maximum resident set size= 12821824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5937204
page faults= 0
swaps= 0
block input operations= 0
block output operations= 592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15656
involuntary context switches= 27820
# summary of solver processes directly reported to runsolver:
# pid: 16087
# total CPU time (s): 1286.88
# total CPU user time (s): 1229.67
# total CPU system time (s): 57.2146
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.7886 second user time and 4.83139 second system time
The end