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 (8593 MiB free)
memory of node 1: 16384 MiB (15344 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406582-1569405421/watcher-4406582-1569405421 -o /tmp/evaluation-result-4406582-1569405421/solver-4406582-1569405421 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1569392986-17027 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 954226294 HOME/instance-4406582-1569405421.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19387, runsolver pid=19384
[startup+0.100113 s]*
/proc/loadavg: 1.98 1.90 1.80 5/228 19403
/proc/meminfo: memFree=24495472/32770624 swapFree=66999788/67108860
[pid=19387] ppid=19384 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (xcsp3-exec) S 19384 19387 16995 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516796035 115843072 362 33554432000 4194304 5098028 140727009721936 140727009720040 140529858204284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29609984 140727009727355 140727009727597 140727009727597 140727009730506 0
/proc/19387/statm: 28282 362 304 221 0 87 0
[pid=19389] ppid=19387 vsize=15144776 memory=29732 CPUtime=0.12 cores=1,3,5,7
/proc/19389/stat : 19389 (java) S 19387 19387 16995 0 -1 1077944320 5907 0 0 0 11 1 0 0 20 0 15 0 516796036 15508250624 7433 33554432000 4194304 4196468 140733891712800 140733891695344 140275579498231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
/proc/19389/statm: 3786194 7433 3122 1 0 3748377 0
[pid=19389/tid=19390] ppid=19387 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/19389/task/19390/stat : 19390 (java) R 19387 19387 16995 0 -1 4202560 3816 0 0 0 8 1 0 0 20 0 15 0 516796036 15508250624 7433 33554432000 4194304 4196468 140733891712800 140275583729552 140275579510166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19391] ppid=19387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19391/stat : 19391 (java) S 19387 19387 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516796037 15508250624 7433 33554432000 4194304 4196468 140733891712800 140275515734544 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19392] ppid=19387 vsize=15144776 memory=4050624073117439648 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19392/stat : 19392 (java) S 19387 19387 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516796037 15508250624 7433 33554432000 4194304 4196468 140733891712800 140275514682000 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19393] ppid=19387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19393/stat : 19393 (java) S 19387 19387 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516796037 15508250624 7433 33554432000 4194304 4196468 140733891712800 140275513628944 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19394] ppid=19387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19394/stat : 19394 (java) S 19387 19387 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516796037 15508250624 7433 33554432000 4194304 4196468 140733891712800 140275512576400 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19395] ppid=19387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19395/stat : 19395 (java) S 19387 19387 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516796038 15508250624 7433 33554432000 4194304 4196468 140733891712800 140275115252464 140275579509378 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19396] ppid=19387 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19396/stat : 19396 (java) S 19387 19387 16995 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516796039 15508250624 7433 33554432000 4194304 4196468 140733891712800 140275114198688 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19397] ppid=19387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19397/stat : 19397 (java) S 19387 19387 16995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516796039 15508250624 7433 33554432000 4194304 4196468 140733891712800 140275113145584 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19398] ppid=19387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19398/stat : 19398 (java) S 19387 19387 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516796041 15508250624 7433 33554432000 4194304 4196468 140733891712800 140275112094160 140275579516827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19399] ppid=19387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19399/stat : 19399 (java) R 19387 19387 16995 0 -1 4202560 317 0 0 0 0 0 0 0 20 0 15 0 516796041 15508250624 7433 33554432000 4194304 4196468 140733891712800 140275111041264 140275564916176 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19400] ppid=19387 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19400/stat : 19400 (java) R 19387 19387 16995 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 516796041 15508250624 7433 33554432000 4194304 4196468 140733891712800 140275109988720 140275579509378 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19401] ppid=19387 vsize=15144776 memory=140642794313344 CPUtime=0.02 cores=1,3,5,7
/proc/19389/task/19401/stat : 19401 (java) R 19387 19387 16995 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 516796041 15508250624 7433 33554432000 4194304 4196468 140733891712800 140275041167344 140275579510166 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19402] ppid=19387 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19402/stat : 19402 (java) S 19387 19387 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516796042 15508250624 7433 33554432000 4194304 4196468 140733891712800 140275040115040 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19403] ppid=19387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19403/stat : 19403 (java) S 19387 19387 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516796042 15508250624 7433 33554432000 4194304 4196468 140733891712800 140275039063088 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31180 KiB
[startup+0.210828 s]*
/proc/loadavg: 1.98 1.90 1.80 4/228 19403
/proc/meminfo: memFree=24482876/32770624 swapFree=66999788/67108860
[pid=19387] ppid=19384 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (xcsp3-exec) S 19384 19387 16995 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516796035 115843072 362 33554432000 4194304 5098028 140727009721936 140727009720040 140529858204284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29609984 140727009727355 140727009727597 140727009727597 140727009730506 0
/proc/19387/statm: 28282 362 304 221 0 87 0
[pid=19389] ppid=19387 vsize=15144776 memory=40968 CPUtime=0.34 cores=1,3,5,7
/proc/19389/stat : 19389 (java) S 19387 19387 16995 0 -1 1077944320 9461 0 0 0 31 3 0 0 20 0 15 0 516796036 15508250624 10242 33554432000 4194304 4196468 140733891712800 140733891695344 140275579498231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
/proc/19389/statm: 3786194 10242 3294 1 0 3748377 0
[pid=19389/tid=19390] ppid=19387 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/19389/task/19390/stat : 19390 (java) R 19387 19387 16995 0 -1 4202560 6634 0 0 0 18 2 0 0 20 0 15 0 516796036 15508250624 10242 33554432000 4194304 4196468 140733891712800 140275583734928 140275579519578 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19391] ppid=19387 vsize=15144776 memory=2669799 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19391/stat : 19391 (java) S 19387 19387 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516796037 15508250624 10242 33554432000 4194304 4196468 140733891712800 140275515734544 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19392] ppid=19387 vsize=15144776 memory=140642797946551 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19392/stat : 19392 (java) S 19387 19387 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516796037 15508250624 10242 33554432000 4194304 4196468 140733891712800 140275514682000 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19393] ppid=19387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19393/stat : 19393 (java) S 19387 19387 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516796037 15508250624 10242 33554432000 4194304 4196468 140733891712800 140275513628944 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19394] ppid=19387 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19394/stat : 19394 (java) S 19387 19387 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516796037 15508250624 10242 33554432000 4194304 4196468 140733891712800 140275512576400 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19395] ppid=19387 vsize=15144776 memory=140642794313344 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19395/stat : 19395 (java) S 19387 19387 16995 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516796038 15508250624 10242 33554432000 4194304 4196468 140733891712800 140275115252464 140275579509378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19396] ppid=19387 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19396/stat : 19396 (java) S 19387 19387 16995 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516796039 15508250624 10242 33554432000 4194304 4196468 140733891712800 140275114198688 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19397] ppid=19387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19397/stat : 19397 (java) S 19387 19387 16995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516796039 15508250624 10242 33554432000 4194304 4196468 140733891712800 140275113145584 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19398] ppid=19387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19398/stat : 19398 (java) S 19387 19387 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516796041 15508250624 10242 33554432000 4194304 4196468 140733891712800 140275112094160 140275579516827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19399] ppid=19387 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/19389/task/19399/stat : 19399 (java) R 19387 19387 16995 0 -1 1077944384 391 0 0 0 2 0 0 0 20 0 15 0 516796041 15508250624 10242 33554432000 4194304 4196468 140733891712800 140275111041264 140275579509378 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19400] ppid=19387 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/19389/task/19400/stat : 19400 (java) S 19387 19387 16995 0 -1 1077944384 381 0 0 0 2 0 0 0 20 0 15 0 516796041 15508250624 10242 33554432000 4194304 4196468 140733891712800 140275109988720 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19401] ppid=19387 vsize=15144776 memory=140642794313344 CPUtime=0.08 cores=1,3,5,7
/proc/19389/task/19401/stat : 19401 (java) R 19387 19387 16995 0 -1 1077944384 752 0 0 0 8 0 0 0 20 0 15 0 516796041 15508250624 10242 33554432000 4194304 4196468 140733891712800 140275041167344 140275579509378 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19402] ppid=19387 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19402/stat : 19402 (java) S 19387 19387 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516796042 15508250624 10242 33554432000 4194304 4196468 140733891712800 140275040115040 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19403] ppid=19387 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19403/stat : 19403 (java) S 19387 19387 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516796042 15508250624 10242 33554432000 4194304 4196468 140733891712800 140275039063088 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42416 KiB
[startup+0.310636 s]*
/proc/loadavg: 1.98 1.90 1.80 3/228 19403
/proc/meminfo: memFree=24476080/32770624 swapFree=66999788/67108860
[pid=19387] ppid=19384 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (xcsp3-exec) S 19384 19387 16995 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516796035 115843072 362 33554432000 4194304 5098028 140727009721936 140727009720040 140529858204284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29609984 140727009727355 140727009727597 140727009727597 140727009730506 0
/proc/19387/statm: 28282 362 304 221 0 87 0
[pid=19389] ppid=19387 vsize=15149032 memory=49788 CPUtime=0.52 cores=1,3,5,7
/proc/19389/stat : 19389 (java) S 19387 19387 16995 0 -1 1077944320 10781 0 0 0 48 4 0 0 20 0 15 0 516796036 15512608768 12447 33554432000 4194304 4196468 140733891712800 140733891695344 140275579498231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
/proc/19389/statm: 3787258 12447 3358 1 0 3748377 0
[pid=19389/tid=19390] ppid=19387 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/19389/task/19390/stat : 19390 (java) R 19387 19387 16995 0 -1 4202560 7824 0 0 0 27 2 0 0 20 0 15 0 516796036 15512608768 12517 33554432000 4194304 4196468 140733891712800 140275583729344 140275563578718 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19391] ppid=19387 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19391/stat : 19391 (java) S 19387 19387 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516796037 15512608768 12517 33554432000 4194304 4196468 140733891712800 140275515734544 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19392] ppid=19387 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19392/stat : 19392 (java) S 19387 19387 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516796037 15512608768 12517 33554432000 4194304 4196468 140733891712800 140275514682000 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19393] ppid=19387 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19393/stat : 19393 (java) S 19387 19387 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516796037 15512608768 12517 33554432000 4194304 4196468 140733891712800 140275513628944 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19394] ppid=19387 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19394/stat : 19394 (java) S 19387 19387 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516796037 15512608768 12517 33554432000 4194304 4196468 140733891712800 140275512576400 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19395] ppid=19387 vsize=15149032 memory=-7305852742256935071 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19395/stat : 19395 (java) S 19387 19387 16995 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516796038 15512608768 12517 33554432000 4194304 4196468 140733891712800 140275115252464 140275579509378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19396] ppid=19387 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19396/stat : 19396 (java) S 19387 19387 16995 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516796039 15512608768 12517 33554432000 4194304 4196468 140733891712800 140275114198688 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19397] ppid=19387 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19397/stat : 19397 (java) S 19387 19387 16995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516796039 15512608768 12517 33554432000 4194304 4196468 140733891712800 140275113145584 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19398] ppid=19387 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19398/stat : 19398 (java) S 19387 19387 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516796041 15512608768 12517 33554432000 4194304 4196468 140733891712800 140275112094160 140275579516827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19399] ppid=19387 vsize=15149032 memory=7827413994055111515 CPUtime=0.03 cores=1,3,5,7
/proc/19389/task/19399/stat : 19399 (java) S 19387 19387 16995 0 -1 1077944384 396 0 0 0 3 0 0 0 20 0 15 0 516796041 15512608768 12517 33554432000 4194304 4196468 140733891712800 140275111041264 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19400] ppid=19387 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/19389/task/19400/stat : 19400 (java) S 19387 19387 16995 0 -1 1077944384 402 0 0 0 4 0 0 0 20 0 15 0 516796041 15512608768 12517 33554432000 4194304 4196468 140733891712800 140275109988720 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19401] ppid=19387 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/19389/task/19401/stat : 19401 (java) S 19387 19387 16995 0 -1 1077944384 864 0 0 0 12 0 0 0 20 0 15 0 516796041 15512608768 12517 33554432000 4194304 4196468 140733891712800 140275041167344 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19402] ppid=19387 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19402/stat : 19402 (java) S 19387 19387 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516796042 15512608768 12517 33554432000 4194304 4196468 140733891712800 140275040115040 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19403] ppid=19387 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19403/stat : 19403 (java) S 19387 19387 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516796042 15512608768 12517 33554432000 4194304 4196468 140733891712800 140275039063088 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51236 KiB
[startup+0.700849 s]
/proc/loadavg: 1.98 1.90 1.80 5/228 19403
/proc/meminfo: memFree=24446352/32770624 swapFree=66999788/67108860
[pid=19387] ppid=19384 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (xcsp3-exec) S 19384 19387 16995 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516796035 115843072 362 33554432000 4194304 5098028 140727009721936 140727009720040 140529858204284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29609984 140727009727355 140727009727597 140727009727597 140727009730506 0
/proc/19387/statm: 28282 362 304 221 0 87 0
[pid=19389] ppid=19387 vsize=15151156 memory=92640 CPUtime=1.82 cores=1,3,5,7
/proc/19389/stat : 19389 (java) S 19387 19387 16995 0 -1 1077944320 15315 0 0 0 177 5 0 0 20 0 15 0 516796036 15514783744 23160 33554432000 4194304 4196468 140733891712800 140733891695344 140275579498231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
/proc/19389/statm: 3787789 23160 3458 1 0 3748889 0
[pid=19389/tid=19390] ppid=19387 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=1,3,5,7
/proc/19389/task/19390/stat : 19390 (java) R 19387 19387 16995 0 -1 4202560 9178 0 0 0 64 3 0 0 20 0 15 0 516796036 15514783744 23160 33554432000 4194304 4196468 140733891712800 140275583734464 140275196697821 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19391] ppid=19387 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19391/stat : 19391 (java) S 19387 19387 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516796037 15514783744 23160 33554432000 4194304 4196468 140733891712800 140275515734544 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19392] ppid=19387 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19392/stat : 19392 (java) S 19387 19387 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516796037 15514783744 23160 33554432000 4194304 4196468 140733891712800 140275514682000 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19393] ppid=19387 vsize=15151156 memory=772 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19393/stat : 19393 (java) S 19387 19387 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516796037 15514783744 23160 33554432000 4194304 4196468 140733891712800 140275513628944 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19394] ppid=19387 vsize=15151156 memory=3648 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19394/stat : 19394 (java) S 19387 19387 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516796037 15514783744 23160 33554432000 4194304 4196468 140733891712800 140275512576400 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19395] ppid=19387 vsize=15151156 memory=948 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19395/stat : 19395 (java) S 19387 19387 16995 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516796038 15514783744 23160 33554432000 4194304 4196468 140733891712800 140275115252464 140275579509378 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19396] ppid=19387 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19396/stat : 19396 (java) S 19387 19387 16995 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516796039 15514783744 23160 33554432000 4194304 4196468 140733891712800 140275114198688 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19397] ppid=19387 vsize=15151156 memory=9588 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19397/stat : 19397 (java) S 19387 19387 16995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516796039 15514783744 23160 33554432000 4194304 4196468 140733891712800 140275113145584 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19398] ppid=19387 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19398/stat : 19398 (java) S 19387 19387 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516796041 15514783744 23160 33554432000 4194304 4196468 140733891712800 140275112094160 140275579516827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19399] ppid=19387 vsize=15151156 memory=628 CPUtime=0.37 cores=1,3,5,7
/proc/19389/task/19399/stat : 19399 (java) R 19387 19387 16995 0 -1 4202560 1461 0 0 0 37 0 0 0 20 0 15 0 516796041 15514783744 23160 33554432000 4194304 4196468 140733891712800 140275111034288 140275562995178 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19400] ppid=19387 vsize=15151156 memory=1056 CPUtime=0.36 cores=1,3,5,7
/proc/19389/task/19400/stat : 19400 (java) R 19387 19387 16995 0 -1 4202560 1243 0 0 0 36 0 0 0 20 0 15 0 516796041 15514783744 23160 33554432000 4194304 4196468 140733891712800 140275109974912 140275563028303 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19401] ppid=19387 vsize=15151156 memory=1716 CPUtime=0.38 cores=1,3,5,7
/proc/19389/task/19401/stat : 19401 (java) S 19387 19387 16995 0 -1 1077944384 2124 0 0 0 38 0 0 0 20 0 15 0 516796041 15514783744 23160 33554432000 4194304 4196468 140733891712800 140275041167344 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19402] ppid=19387 vsize=15151156 memory=6176 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19402/stat : 19402 (java) S 19387 19387 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516796042 15514783744 23160 33554432000 4194304 4196468 140733891712800 140275040115040 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19403] ppid=19387 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19403/stat : 19403 (java) S 19387 19387 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516796042 15514783744 23160 33554432000 4194304 4196468 140733891712800 140275039063088 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
Current children cumulated CPU time: 1.82 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 94088 KiB
[startup+1.50087 s]
/proc/loadavg: 1.98 1.90 1.80 3/228 19403
/proc/meminfo: memFree=24433200/32770624 swapFree=66999788/67108860
[pid=19387] ppid=19384 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (xcsp3-exec) S 19384 19387 16995 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516796035 115843072 362 33554432000 4194304 5098028 140727009721936 140727009720040 140529858204284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29609984 140727009727355 140727009727597 140727009727597 140727009730506 0
/proc/19387/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/19389/task/19397/stat : 19397 (java) S 19387 19387 16995 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 516796039 15514783744 344244 33554432000 4194304 4196468 140733891712800 140275113145600 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19398] ppid=19387 vsize=15151156 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19398/stat : 19398 (java) S 19387 19387 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516796041 15514783744 344244 33554432000 4194304 4196468 140733891712800 140275112094160 140275579516827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19399] ppid=19387 vsize=15151156 memory=1376976 CPUtime=2.34 cores=1,3,5,7
/proc/19389/task/19399/stat : 19399 (java) S 19387 19387 16995 0 -1 1077944384 14781 0 0 0 233 1 0 0 20 0 15 0 516796041 15514783744 344244 33554432000 4194304 4196468 140733891712800 140275111041264 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19400] ppid=19387 vsize=15151156 memory=1448 CPUtime=2.08 cores=1,3,5,7
/proc/19389/task/19400/stat : 19400 (java) S 19387 19387 16995 0 -1 1077944384 12437 0 0 0 207 1 0 0 20 0 15 0 516796041 15514783744 344244 33554432000 4194304 4196468 140733891712800 140275109988720 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19401] ppid=19387 vsize=15151156 memory=1448 CPUtime=0.64 cores=1,3,5,7
/proc/19389/task/19401/stat : 19401 (java) S 19387 19387 16995 0 -1 1077944384 10408 0 0 0 63 1 0 0 20 0 15 0 516796041 15514783744 344244 33554432000 4194304 4196468 140733891712800 140275041167344 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19402] ppid=19387 vsize=15151156 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19402/stat : 19402 (java) S 19387 19387 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516796042 15514783744 344244 33554432000 4194304 4196468 140733891712800 140275040115040 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19403] ppid=19387 vsize=15151156 memory=1448 CPUtime=0.95 cores=1,3,5,7
/proc/19389/task/19403/stat : 19403 (java) S 19387 19387 16995 0 -1 1077944384 1504 0 0 0 44 51 0 0 20 0 15 0 516796042 15514783744 344244 33554432000 4194304 4196468 140733891712800 140275039063088 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
Current children cumulated CPU time: 2306.17 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1378424 KiB
[startup+2322.3 s]
/proc/loadavg: 0.71 0.79 1.16 2/207 19712
/proc/meminfo: memFree=24960252/32770624 swapFree=66999808/67108860
[pid=19387] ppid=19384 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (xcsp3-exec) S 19384 19387 16995 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516796035 115843072 362 33554432000 4194304 5098028 140727009721936 140727009720040 140529858204284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29609984 140727009727355 140727009727597 140727009727597 140727009730506 0
/proc/19387/statm: 28282 362 304 221 0 87 0
[pid=19389] ppid=19387 vsize=15151156 memory=1378788 CPUtime=2367.08 cores=1,3,5,7
/proc/19389/stat : 19389 (java) S 19387 19387 16995 0 -1 1077944320 325728 0 0 0 236525 183 0 0 20 0 15 0 516796036 15514783744 344697 33554432000 4194304 4196468 140733891712800 140733891695344 140275579498231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
/proc/19389/statm: 3787789 344697 3522 1 0 3748889 0
[pid=19389/tid=19390] ppid=19387 vsize=15151156 memory=1378788 CPUtime=2307.02 cores=1,3,5,7
/proc/19389/task/19390/stat : 19390 (java) R 19387 19387 16995 0 -1 4202560 195846 0 0 0 230652 50 0 0 20 0 15 0 516796036 15514783744 344697 33554432000 4194304 4196468 140733891712800 140275583737920 140275199571401 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19391] ppid=19387 vsize=15151156 memory=1378788 CPUtime=13.06 cores=1,3,5,7
/proc/19389/task/19391/stat : 19391 (java) S 19387 19387 16995 0 -1 1077944384 17823 0 0 0 1290 16 0 0 20 0 15 0 516796037 15514783744 344697 33554432000 4194304 4196468 140733891712800 140275515734544 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19392] ppid=19387 vsize=15151156 memory=1448 CPUtime=13.05 cores=1,3,5,7
/proc/19389/task/19392/stat : 19392 (java) S 19387 19387 16995 0 -1 1077944384 16979 0 0 0 1285 20 0 0 20 0 15 0 516796037 15514783744 344697 33554432000 4194304 4196468 140733891712800 140275514682000 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19393] ppid=19387 vsize=15151156 memory=1329376 CPUtime=13.04 cores=1,3,5,7
/proc/19389/task/19393/stat : 19393 (java) S 19387 19387 16995 0 -1 1077944384 15147 0 0 0 1288 16 0 0 20 0 15 0 516796037 15514783744 344697 33554432000 4194304 4196468 140733891712800 140275513628944 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19394] ppid=19387 vsize=15151156 memory=1408 CPUtime=13.06 cores=1,3,5,7
/proc/19389/task/19394/stat : 19394 (java) S 19387 19387 16995 0 -1 1077944384 13770 0 0 0 1291 15 0 0 20 0 15 0 516796037 15514783744 344697 33554432000 4194304 4196468 140733891712800 140275512576400 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19395] ppid=19387 vsize=15151156 memory=1448 CPUtime=1.68 cores=1,3,5,7
/proc/19389/task/19395/stat : 19395 (java) S 19387 19387 16995 0 -1 1077944384 25611 0 0 0 149 19 0 0 20 0 15 0 516796038 15514783744 344697 33554432000 4194304 4196468 140733891712800 140275115252464 140275579509378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19396] ppid=19387 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19396/stat : 19396 (java) S 19387 19387 16995 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 516796039 15514783744 344697 33554432000 4194304 4196468 140733891712800 140275114198752 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19397] ppid=19387 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19397/stat : 19397 (java) S 19387 19387 16995 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 516796039 15514783744 344697 33554432000 4194304 4196468 140733891712800 140275113145600 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19398] ppid=19387 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19398/stat : 19398 (java) S 19387 19387 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516796041 15514783744 344697 33554432000 4194304 4196468 140733891712800 140275112094160 140275579516827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19399] ppid=19387 vsize=15151156 memory=916 CPUtime=2.34 cores=1,3,5,7
/proc/19389/task/19399/stat : 19399 (java) S 19387 19387 16995 0 -1 1077944384 14783 0 0 0 233 1 0 0 20 0 15 0 516796041 15514783744 344697 33554432000 4194304 4196468 140733891712800 140275111041264 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19400] ppid=19387 vsize=15151156 memory=3848 CPUtime=2.08 cores=1,3,5,7
/proc/19389/task/19400/stat : 19400 (java) S 19387 19387 16995 0 -1 1077944384 12440 0 0 0 207 1 0 0 20 0 15 0 516796041 15514783744 344697 33554432000 4194304 4196468 140733891712800 140275109988720 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19401] ppid=19387 vsize=15151156 memory=1448 CPUtime=0.64 cores=1,3,5,7
/proc/19389/task/19401/stat : 19401 (java) S 19387 19387 16995 0 -1 1077944384 10410 0 0 0 63 1 0 0 20 0 15 0 516796041 15514783744 344697 33554432000 4194304 4196468 140733891712800 140275041167344 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19402] ppid=19387 vsize=15151156 memory=1235688 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19402/stat : 19402 (java) S 19387 19387 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516796042 15514783744 344697 33554432000 4194304 4196468 140733891712800 140275040115040 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19403] ppid=19387 vsize=15151156 memory=1448 CPUtime=0.98 cores=1,3,5,7
/proc/19389/task/19403/stat : 19403 (java) S 19387 19387 16995 0 -1 1077944384 1513 0 0 0 46 52 0 0 20 0 15 0 516796042 15514783744 344697 33554432000 4194304 4196468 140733891712800 140275039063088 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
Current children cumulated CPU time: 2367.08 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1380236 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2354.7 s]
/proc/loadavg: 0.60 0.75 1.13 2/207 19714
/proc/meminfo: memFree=24768296/32770624 swapFree=66999808/67108860
[pid=19387] ppid=19384 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (xcsp3-exec) S 19384 19387 16995 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516796035 115843072 362 33554432000 4194304 5098028 140727009721936 140727009720040 140529858204284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29609984 140727009727355 140727009727597 140727009727597 140727009730506 0
/proc/19387/statm: 28282 362 304 221 0 87 0
[pid=19389] ppid=19387 vsize=15151156 memory=1571264 CPUtime=2400.02 cores=1,3,5,7
/proc/19389/stat : 19389 (java) S 19387 19387 16995 0 -1 1077944320 329605 0 0 0 239813 189 0 0 20 0 15 0 516796036 15514783744 392816 33554432000 4194304 4196468 140733891712800 140733891695344 140275579498231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
/proc/19389/statm: 3787789 392816 3522 1 0 3748889 0
[pid=19389/tid=19390] ppid=19387 vsize=15151156 memory=1448312 CPUtime=2339.2 cores=1,3,5,7
/proc/19389/task/19390/stat : 19390 (java) R 19387 19387 16995 0 -1 4202560 198996 0 0 0 233867 53 0 0 20 0 15 0 516796036 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275583737920 140275199626570 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19391] ppid=19387 vsize=15151156 memory=1448 CPUtime=13.25 cores=1,3,5,7
/proc/19389/task/19391/stat : 19391 (java) S 19387 19387 16995 0 -1 1077944384 17955 0 0 0 1308 17 0 0 20 0 15 0 516796037 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275515734544 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19392] ppid=19387 vsize=15151156 memory=1569180 CPUtime=13.23 cores=1,3,5,7
/proc/19389/task/19392/stat : 19392 (java) S 19387 19387 16995 0 -1 1077944384 17114 0 0 0 1302 21 0 0 20 0 15 0 516796037 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275514682000 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19393] ppid=19387 vsize=15151156 memory=1571264 CPUtime=13.22 cores=1,3,5,7
/proc/19389/task/19393/stat : 19393 (java) S 19387 19387 16995 0 -1 1077944384 15288 0 0 0 1305 17 0 0 20 0 15 0 516796037 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275513628944 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19394] ppid=19387 vsize=15151156 memory=1571264 CPUtime=13.25 cores=1,3,5,7
/proc/19389/task/19394/stat : 19394 (java) S 19387 19387 16995 0 -1 1077944384 13955 0 0 0 1309 16 0 0 20 0 15 0 516796037 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275512576400 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19395] ppid=19387 vsize=15151156 memory=1448 CPUtime=1.7 cores=1,3,5,7
/proc/19389/task/19395/stat : 19395 (java) S 19387 19387 16995 0 -1 1077944384 25743 0 0 0 151 19 0 0 20 0 15 0 516796038 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275115252464 140275579509378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19396] ppid=19387 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19396/stat : 19396 (java) S 19387 19387 16995 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 516796039 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275114198752 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19397] ppid=19387 vsize=15151156 memory=1569180 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19397/stat : 19397 (java) S 19387 19387 16995 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 516796039 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275113145600 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19398] ppid=19387 vsize=15151156 memory=2848 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19398/stat : 19398 (java) S 19387 19387 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516796041 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275112094160 140275579516827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19399] ppid=19387 vsize=15151156 memory=1408 CPUtime=2.34 cores=1,3,5,7
/proc/19389/task/19399/stat : 19399 (java) S 19387 19387 16995 0 -1 1077944384 14783 0 0 0 233 1 0 0 20 0 15 0 516796041 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275111041264 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19400] ppid=19387 vsize=15151156 memory=3624 CPUtime=2.08 cores=1,3,5,7
/proc/19389/task/19400/stat : 19400 (java) S 19387 19387 16995 0 -1 1077944384 12440 0 0 0 207 1 0 0 20 0 15 0 516796041 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275109988720 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19401] ppid=19387 vsize=15151156 memory=55364 CPUtime=0.64 cores=1,3,5,7
/proc/19389/task/19401/stat : 19401 (java) S 19387 19387 16995 0 -1 1077944384 10410 0 0 0 63 1 0 0 20 0 15 0 516796041 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275041167344 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19402] ppid=19387 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19402/stat : 19402 (java) S 19387 19387 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516796042 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275040115040 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19403] ppid=19387 vsize=15151156 memory=1448 CPUtime=1 cores=1,3,5,7
/proc/19389/task/19403/stat : 19403 (java) S 19387 19387 16995 0 -1 1077944384 1515 0 0 0 47 53 0 0 20 0 15 0 516796042 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275039063088 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1572712 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2354.72 s]
# the end of solver process 19387 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000739 s, system=0.001478 s
[startup+2354.72 s]
# the end of solver process 19389 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.14 s, system=1.91088 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2354.7 s]
/proc/loadavg: 0.60 0.75 1.13 2/207 19714
/proc/meminfo: memFree=24768296/32770624 swapFree=66999808/67108860
[pid=19387] ppid=19384 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19387/stat : 19387 (xcsp3-exec) S 19384 19387 16995 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516796035 115843072 362 33554432000 4194304 5098028 140727009721936 140727009720040 140529858204284 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 29609984 140727009727355 140727009727597 140727009727597 140727009730506 0
/proc/19387/statm: 28282 362 304 221 0 87 0
[pid=19389] ppid=19387 vsize=15151156 memory=1571264 CPUtime=2400.02 cores=1,3,5,7
/proc/19389/stat : 19389 (java) S 19387 19387 16995 0 -1 1077944320 329605 0 0 0 239813 189 0 0 20 0 15 0 516796036 15514783744 392816 33554432000 4194304 4196468 140733891712800 140733891695344 140275579498231 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
/proc/19389/statm: 3787789 392816 3522 1 0 3748889 0
[pid=19389/tid=19390] ppid=19387 vsize=15151156 memory=1448312 CPUtime=2339.2 cores=1,3,5,7
/proc/19389/task/19390/stat : 19390 (java) R 19387 19387 16995 0 -1 4202560 198996 0 0 0 233867 53 0 0 20 0 15 0 516796036 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275583737920 140275199626570 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19391] ppid=19387 vsize=15151156 memory=1448 CPUtime=13.25 cores=1,3,5,7
/proc/19389/task/19391/stat : 19391 (java) S 19387 19387 16995 0 -1 1077944384 17955 0 0 0 1308 17 0 0 20 0 15 0 516796037 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275515734544 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19392] ppid=19387 vsize=15151156 memory=1569180 CPUtime=13.23 cores=1,3,5,7
/proc/19389/task/19392/stat : 19392 (java) S 19387 19387 16995 0 -1 1077944384 17114 0 0 0 1302 21 0 0 20 0 15 0 516796037 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275514682000 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19393] ppid=19387 vsize=15151156 memory=1571264 CPUtime=13.22 cores=1,3,5,7
/proc/19389/task/19393/stat : 19393 (java) S 19387 19387 16995 0 -1 1077944384 15288 0 0 0 1305 17 0 0 20 0 15 0 516796037 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275513628944 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19394] ppid=19387 vsize=15151156 memory=1571264 CPUtime=13.25 cores=1,3,5,7
/proc/19389/task/19394/stat : 19394 (java) S 19387 19387 16995 0 -1 1077944384 13955 0 0 0 1309 16 0 0 20 0 15 0 516796037 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275512576400 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19395] ppid=19387 vsize=15151156 memory=1448 CPUtime=1.7 cores=1,3,5,7
/proc/19389/task/19395/stat : 19395 (java) S 19387 19387 16995 0 -1 1077944384 25743 0 0 0 151 19 0 0 20 0 15 0 516796038 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275115252464 140275579509378 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19396] ppid=19387 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19396/stat : 19396 (java) S 19387 19387 16995 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 516796039 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275114198752 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19397] ppid=19387 vsize=15151156 memory=1569180 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19397/stat : 19397 (java) S 19387 19387 16995 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 516796039 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275113145600 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19398] ppid=19387 vsize=15151156 memory=2848 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19398/stat : 19398 (java) S 19387 19387 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516796041 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275112094160 140275579516827 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19399] ppid=19387 vsize=15151156 memory=1408 CPUtime=2.34 cores=1,3,5,7
/proc/19389/task/19399/stat : 19399 (java) S 19387 19387 16995 0 -1 1077944384 14783 0 0 0 233 1 0 0 20 0 15 0 516796041 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275111041264 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19400] ppid=19387 vsize=15151156 memory=3624 CPUtime=2.08 cores=1,3,5,7
/proc/19389/task/19400/stat : 19400 (java) S 19387 19387 16995 0 -1 1077944384 12440 0 0 0 207 1 0 0 20 0 15 0 516796041 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275109988720 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19401] ppid=19387 vsize=15151156 memory=55364 CPUtime=0.64 cores=1,3,5,7
/proc/19389/task/19401/stat : 19401 (java) S 19387 19387 16995 0 -1 1077944384 10410 0 0 0 63 1 0 0 20 0 15 0 516796041 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275041167344 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19402] ppid=19387 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/19389/task/19402/stat : 19402 (java) S 19387 19387 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516796042 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275040115040 140275579508437 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
[pid=19389/tid=19403] ppid=19387 vsize=15151156 memory=1448 CPUtime=1 cores=1,3,5,7
/proc/19389/task/19403/stat : 19403 (java) S 19387 19387 16995 0 -1 1077944384 1515 0 0 0 47 53 0 0 20 0 15 0 516796042 15514783744 392816 33554432000 4194304 4196468 140733891712800 140275039063088 140275579509378 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16277504 140733891716079 140733891716250 140733891716250 140733891719119 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1572712 KiB
Child status: 143
Real time (s): 2354.72
CPU time (s): 2400.05
CPU user time (s): 2398.14
CPU system time (s): 1.91088
CPU usage (%): 101.925
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 1572712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.14
system time used= 1.91088
maximum resident set size= 1572096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 330328
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91442
involuntary context switches= 2975
# summary of solver processes directly reported to runsolver:
# pid: 19387,19389
# total CPU time (s): 2400.05
# total CPU user time (s): 2398.14
# total CPU system time (s): 1.91088
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 18.9996 second user time and 17.8526 second system time
The end