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 (15254 MiB free)
memory of node 1: 16384 MiB (13393 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400437-1568679232/watcher-4400437-1568679232 -o /tmp/evaluation-result-4400437-1568679232/solver-4400437-1568679232 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32544 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1825563472 HOME/instance-4400437-1568679232.xml
running on 4 cores: 0,2,4,6
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
solver pid=8770, runsolver pid=8767
Current StackSize limit: 8192 KiB
[startup+0.100616 s]*
/proc/loadavg: 9.19 8.60 8.51 8/234 8786
/proc/meminfo: memFree=29319760/32770624 swapFree=66997372/67108860
[pid=8770] ppid=8767 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8770/stat : 8770 (xcsp3-exec) S 8767 8770 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444176252 115843072 363 33554432000 4194304 5098028 140723110320096 140723110318200 139637966160508 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12509184 140723110327162 140723110327405 140723110327405 140723110330314 0
/proc/8770/statm: 28282 363 304 221 0 87 0
[pid=8772] ppid=8770 vsize=15144776 memory=28936 CPUtime=0.12 cores=0,2,4,6
/proc/8772/stat : 8772 (java) S 8770 8770 32513 0 -1 1077944320 5662 0 0 0 11 1 0 0 20 0 15 0 444176252 15508250624 7234 33554432000 4194304 4196468 140726295865392 140726295847936 140298922655479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
/proc/8772/statm: 3786194 7234 3162 1 0 3748377 0
[pid=8772/tid=8773] ppid=8770 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/8772/task/8773/stat : 8773 (java) R 8770 8770 32513 0 -1 4202560 3582 0 0 0 8 1 0 0 20 0 15 0 444176252 15508250624 7234 33554432000 4194304 4196468 140726295865392 140298926876752 140298922676826 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8774] ppid=8770 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8774/stat : 8774 (java) S 8770 8770 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444176253 15508250624 7234 33554432000 4194304 4196468 140726295865392 140298875275920 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8775] ppid=8770 vsize=15144776 memory=140309778101888 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8775/stat : 8775 (java) S 8770 8770 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444176253 15508250624 7234 33554432000 4194304 4196468 140726295865392 140298874223120 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8776] ppid=8770 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8776/stat : 8776 (java) S 8770 8770 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444176253 15508250624 7234 33554432000 4194304 4196468 140726295865392 140298873170320 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8777] ppid=8770 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8777/stat : 8777 (java) S 8770 8770 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444176253 15508250624 7234 33554432000 4194304 4196468 140726295865392 140298872117520 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8778] ppid=8770 vsize=15144776 memory=140309778101888 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8778/stat : 8778 (java) S 8770 8770 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444176254 15508250624 7234 33554432000 4194304 4196468 140726295865392 140298390842224 140298922666626 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8779] ppid=8770 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8779/stat : 8779 (java) S 8770 8770 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444176255 15508250624 7234 33554432000 4194304 4196468 140726295865392 140298389788192 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8780] ppid=8770 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8780/stat : 8780 (java) S 8770 8770 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444176255 15508250624 7234 33554432000 4194304 4196468 140726295865392 140298388735344 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8781] ppid=8770 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8781/stat : 8781 (java) S 8770 8770 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444176257 15508250624 7234 33554432000 4194304 4196468 140726295865392 140298387683664 140298922674075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8782] ppid=8770 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8782/stat : 8782 (java) S 8770 8770 32513 0 -1 1077944384 447 0 0 0 0 0 0 0 20 0 15 0 444176257 15508250624 7234 33554432000 4194304 4196468 140726295865392 140298386631024 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8783] ppid=8770 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8783/stat : 8783 (java) S 8770 8770 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444176257 15508250624 7234 33554432000 4194304 4196468 140726295865392 140298385578224 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8784] ppid=8770 vsize=15144776 memory=140309778101888 CPUtime=0.02 cores=0,2,4,6
/proc/8772/task/8784/stat : 8784 (java) S 8770 8770 32513 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 15 0 444176257 15508250624 7234 33554432000 4194304 4196468 140726295865392 140298384525424 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8785] ppid=8770 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8785/stat : 8785 (java) S 8770 8770 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444176257 15508250624 7234 33554432000 4194304 4196468 140726295865392 140298383472864 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8786] ppid=8770 vsize=15144776 memory=140309778101888 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8786/stat : 8786 (java) S 8770 8770 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444176258 15508250624 7234 33554432000 4194304 4196468 140726295865392 140298382421168 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30388 KiB
[startup+0.210748 s]*
/proc/loadavg: 9.19 8.60 8.51 7/234 8786
/proc/meminfo: memFree=29307292/32770624 swapFree=66997372/67108860
[pid=8770] ppid=8767 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8770/stat : 8770 (xcsp3-exec) S 8767 8770 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444176252 115843072 363 33554432000 4194304 5098028 140723110320096 140723110318200 139637966160508 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12509184 140723110327162 140723110327405 140723110327405 140723110330314 0
/proc/8770/statm: 28282 363 304 221 0 87 0
[pid=8772] ppid=8770 vsize=15144776 memory=40804 CPUtime=0.34 cores=0,2,4,6
/proc/8772/stat : 8772 (java) S 8770 8770 32513 0 -1 1077944320 9411 0 0 0 31 3 0 0 20 0 15 0 444176252 15508250624 10201 33554432000 4194304 4196468 140726295865392 140726295847936 140298922655479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
/proc/8772/statm: 3786194 10201 3306 1 0 3748377 0
[pid=8772/tid=8773] ppid=8770 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/8772/task/8773/stat : 8773 (java) R 8770 8770 32513 0 -1 4202560 6580 0 0 0 18 2 0 0 20 0 15 0 444176252 15508250624 10201 33554432000 4194304 4196468 140726295865392 140298926892528 140298906735966 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8774] ppid=8770 vsize=15144776 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8774/stat : 8774 (java) S 8770 8770 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444176253 15508250624 10201 33554432000 4194304 4196468 140726295865392 140298875275920 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8775] ppid=8770 vsize=15144776 memory=140309778128176 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8775/stat : 8775 (java) S 8770 8770 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444176253 15508250624 10201 33554432000 4194304 4196468 140726295865392 140298874223120 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8776] ppid=8770 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8776/stat : 8776 (java) S 8770 8770 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444176253 15508250624 10201 33554432000 4194304 4196468 140726295865392 140298873170320 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8777] ppid=8770 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8777/stat : 8777 (java) S 8770 8770 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444176253 15508250624 10201 33554432000 4194304 4196468 140726295865392 140298872117520 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8778] ppid=8770 vsize=15144776 memory=140309778101888 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8778/stat : 8778 (java) S 8770 8770 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444176254 15508250624 10201 33554432000 4194304 4196468 140726295865392 140298390842224 140298922666626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8779] ppid=8770 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8779/stat : 8779 (java) S 8770 8770 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444176255 15508250624 10201 33554432000 4194304 4196468 140726295865392 140298389788192 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8780] ppid=8770 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8780/stat : 8780 (java) S 8770 8770 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444176255 15508250624 10201 33554432000 4194304 4196468 140726295865392 140298388735344 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8781] ppid=8770 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8781/stat : 8781 (java) S 8770 8770 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444176257 15508250624 10201 33554432000 4194304 4196468 140726295865392 140298387683664 140298922674075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8782] ppid=8770 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/8772/task/8782/stat : 8782 (java) S 8770 8770 32513 0 -1 1077944384 479 0 0 0 2 0 0 0 20 0 15 0 444176257 15508250624 10201 33554432000 4194304 4196468 140726295865392 140298386631024 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8783] ppid=8770 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/8772/task/8783/stat : 8783 (java) S 8770 8770 32513 0 -1 1077944384 268 0 0 0 2 0 0 0 20 0 15 0 444176257 15508250624 10201 33554432000 4194304 4196468 140726295865392 140298385578224 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8784] ppid=8770 vsize=15144776 memory=140309778101888 CPUtime=0.08 cores=0,2,4,6
/proc/8772/task/8784/stat : 8784 (java) S 8770 8770 32513 0 -1 1077944384 780 0 0 0 8 0 0 0 20 0 15 0 444176257 15508250624 10201 33554432000 4194304 4196468 140726295865392 140298384525424 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8785] ppid=8770 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8785/stat : 8785 (java) S 8770 8770 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444176257 15508250624 10201 33554432000 4194304 4196468 140726295865392 140298383472864 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8786] ppid=8770 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8786/stat : 8786 (java) S 8770 8770 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444176258 15508250624 10201 33554432000 4194304 4196468 140726295865392 140298382421168 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42256 KiB
[startup+0.311965 s]*
/proc/loadavg: 9.19 8.60 8.51 7/234 8786
/proc/meminfo: memFree=29299908/32770624 swapFree=66997372/67108860
[pid=8770] ppid=8767 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8770/stat : 8770 (xcsp3-exec) S 8767 8770 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444176252 115843072 363 33554432000 4194304 5098028 140723110320096 140723110318200 139637966160508 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12509184 140723110327162 140723110327405 140723110327405 140723110330314 0
/proc/8770/statm: 28282 363 304 221 0 87 0
[pid=8772] ppid=8770 vsize=15149032 memory=50012 CPUtime=0.53 cores=0,2,4,6
/proc/8772/stat : 8772 (java) S 8770 8770 32513 0 -1 1077944320 10824 0 0 0 49 4 0 0 20 0 15 0 444176252 15512608768 12503 33554432000 4194304 4196468 140726295865392 140726295847936 140298922655479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
/proc/8772/statm: 3787258 12503 3355 1 0 3748377 0
[pid=8772/tid=8773] ppid=8770 vsize=15149032 memory=32213995742560408 CPUtime=0.3 cores=0,2,4,6
/proc/8772/task/8773/stat : 8773 (java) R 8770 8770 32513 0 -1 4202560 7778 0 0 0 27 3 0 0 20 0 15 0 444176252 15512608768 12573 33554432000 4194304 4196468 140726295865392 140298926886592 140298906735966 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8774] ppid=8770 vsize=15149032 memory=288230600379474824 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8774/stat : 8774 (java) S 8770 8770 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444176253 15512608768 12573 33554432000 4194304 4196468 140726295865392 140298875275920 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8775] ppid=8770 vsize=15149032 memory=14131147721789782 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8775/stat : 8775 (java) S 8770 8770 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444176253 15512608768 12573 33554432000 4194304 4196468 140726295865392 140298874223120 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8776] ppid=8770 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8776/stat : 8776 (java) S 8770 8770 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444176253 15512608768 12573 33554432000 4194304 4196468 140726295865392 140298873170320 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8777] ppid=8770 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8777/stat : 8777 (java) S 8770 8770 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444176253 15512608768 12573 33554432000 4194304 4196468 140726295865392 140298872117520 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8778] ppid=8770 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8778/stat : 8778 (java) S 8770 8770 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444176254 15512608768 12573 33554432000 4194304 4196468 140726295865392 140298390842224 140298922666626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8779] ppid=8770 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8779/stat : 8779 (java) S 8770 8770 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444176255 15512608768 12573 33554432000 4194304 4196468 140726295865392 140298389788192 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8780] ppid=8770 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8780/stat : 8780 (java) S 8770 8770 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444176255 15512608768 12573 33554432000 4194304 4196468 140726295865392 140298388735344 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8781] ppid=8770 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8781/stat : 8781 (java) S 8770 8770 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444176257 15512608768 12573 33554432000 4194304 4196468 140726295865392 140298387683664 140298922674075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8782] ppid=8770 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8772/task/8782/stat : 8782 (java) S 8770 8770 32513 0 -1 1077944384 488 0 0 0 3 0 0 0 20 0 15 0 444176257 15512608768 12573 33554432000 4194304 4196468 140726295865392 140298386631024 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8783] ppid=8770 vsize=15149032 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/8772/task/8783/stat : 8783 (java) S 8770 8770 32513 0 -1 1077944384 410 0 0 0 6 0 0 0 20 0 15 0 444176257 15512608768 12573 33554432000 4194304 4196468 140726295865392 140298385578224 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8784] ppid=8770 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/8772/task/8784/stat : 8784 (java) S 8770 8770 32513 0 -1 1077944384 874 0 0 0 12 0 0 0 20 0 15 0 444176257 15512608768 12573 33554432000 4194304 4196468 140726295865392 140298384525424 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8785] ppid=8770 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8785/stat : 8785 (java) S 8770 8770 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444176257 15512608768 12573 33554432000 4194304 4196468 140726295865392 140298383472864 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8786] ppid=8770 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8786/stat : 8786 (java) S 8770 8770 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444176258 15512608768 12573 33554432000 4194304 4196468 140726295865392 140298382421168 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51464 KiB
[startup+0.700971 s]
/proc/loadavg: 9.19 8.60 8.51 10/234 8786
/proc/meminfo: memFree=29282912/32770624 swapFree=66997372/67108860
[pid=8770] ppid=8767 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8770/stat : 8770 (xcsp3-exec) S 8767 8770 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444176252 115843072 363 33554432000 4194304 5098028 140723110320096 140723110318200 139637966160508 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12509184 140723110327162 140723110327405 140723110327405 140723110330314 0
/proc/8770/statm: 28282 363 304 221 0 87 0
[pid=8772] ppid=8770 vsize=15417412 memory=103588 CPUtime=1.69 cores=0,2,4,6
/proc/8772/stat : 8772 (java) S 8770 8770 32513 0 -1 1077944320 14587 0 0 0 164 5 0 0 20 0 19 0 444176252 15787429888 25897 33554432000 4194304 4196468 140726295865392 140726295847936 140298922655479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
/proc/8772/statm: 3854353 25897 3459 1 0 3815453 0
[pid=8772/tid=8773] ppid=8770 vsize=15417412 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/8772/task/8773/stat : 8773 (java) S 8770 8770 32513 0 -1 1077944384 9212 0 0 0 61 4 0 0 20 0 19 0 444176252 15787429888 25897 33554432000 4194304 4196468 140726295865392 140298926896256 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8774] ppid=8770 vsize=15417412 memory=143 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8774/stat : 8774 (java) S 8770 8770 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444176253 15787429888 25897 33554432000 4194304 4196468 140726295865392 140298875275920 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8775] ppid=8770 vsize=15417412 memory=2 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8775/stat : 8775 (java) S 8770 8770 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444176253 15787429888 25897 33554432000 4194304 4196468 140726295865392 140298874223120 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8776] ppid=8770 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8776/stat : 8776 (java) S 8770 8770 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444176253 15787429888 25897 33554432000 4194304 4196468 140726295865392 140298873170320 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8777] ppid=8770 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8777/stat : 8777 (java) S 8770 8770 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444176253 15787429888 25897 33554432000 4194304 4196468 140726295865392 140298872117520 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8778] ppid=8770 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8778/stat : 8778 (java) S 8770 8770 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 444176254 15787429888 25897 33554432000 4194304 4196468 140726295865392 140298390842224 140298922666626 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8779] ppid=8770 vsize=15417412 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8779/stat : 8779 (java) S 8770 8770 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444176255 15787429888 25897 33554432000 4194304 4196468 140726295865392 140298389788192 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8780] ppid=8770 vsize=15417412 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8780/stat : 8780 (java) S 8770 8770 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 444176255 15787429888 25897 33554432000 4194304 4196468 140726295865392 140298388735344 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8781] ppid=8770 vsize=15417412 memory=812 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8781/stat : 8781 (java) S 8770 8770 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444176257 15787429888 25897 33554432000 4194304 4196468 140726295865392 140298387683664 140298922674075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8782] ppid=8770 vsize=15417412 memory=1764 CPUtime=0.28 cores=0,2,4,6
/proc/8772/task/8782/stat : 8782 (java) S 8770 8770 32513 0 -1 1077944384 1066 0 0 0 28 0 0 0 20 0 19 0 444176257 15787429888 25897 33554432000 4194304 4196468 140726295865392 140298386631024 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8783] ppid=8770 vsize=15417412 memory=111628 CPUtime=0.32 cores=0,2,4,6
/proc/8772/task/8783/stat : 8783 (java) R 8770 8770 32513 0 -1 4202560 1161 0 0 0 32 0 0 0 20 0 19 0 444176257 15787429888 25897 33554432000 4194304 4196468 140726295865392 140298385571248 140298908665227 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8784] ppid=8770 vsize=15417412 memory=796 CPUtime=0.37 cores=0,2,4,6
/proc/8772/task/8784/stat : 8784 (java) R 8770 8770 32513 0 -1 4202560 1703 0 0 0 37 0 0 0 20 0 19 0 444176257 15787429888 25897 33554432000 4194304 4196468 140726295865392 140298384521376 140298906902145 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8785] ppid=8770 vsize=15417412 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8785/stat : 8785 (java) S 8770 8770 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444176257 15787429888 25897 33554432000 4194304 4196468 140726295865392 140298383472864 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8786] ppid=8770 vsize=15417412 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8786/stat : 8786 (java) S 8770 8770 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444176258 15787429888 25897 33554432000 4194304 4196468 140726295865392 140298382421168 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
Current children cumulated CPU time: 1.69 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 105040 KiB
[startup+1.50075 s]
/proc/loadavg: 9.02 8.58 8.50 11/238 8790
/proc/meminfo: memFree=29236184/32770624 swapFree=66997372/67108860
[pid=8770] ppid=8767 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8770/stat : 8770 (xcsp3-exec) S 8767 8770 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444176252 115843072 363 33554432000 4194304 5098028 140723110320096 140723110318200 139637966160508 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12509184 140723110327162 140723110327405 140723110327405 140723110330314 0
/proc/8770/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/8772/task/8778/stat : 8778 (java) S 8770 8770 32513 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 444176254 15855591424 50480 33554432000 4194304 4196468 140726295865392 140298390842224 140298922666626 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8779] ppid=8770 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8779/stat : 8779 (java) S 8770 8770 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444176255 15855591424 50480 33554432000 4194304 4196468 140726295865392 140298389788192 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8780] ppid=8770 vsize=15483976 memory=280619338699616 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8780/stat : 8780 (java) S 8770 8770 32513 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 444176255 15855591424 50480 33554432000 4194304 4196468 140726295865392 140298388735344 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8781] ppid=8770 vsize=15483976 memory=9319 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8781/stat : 8781 (java) S 8770 8770 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444176257 15855591424 50480 33554432000 4194304 4196468 140726295865392 140298387683664 140298922674075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8782] ppid=8770 vsize=15483976 memory=3525043 CPUtime=0.9 cores=0,2,4,6
/proc/8772/task/8782/stat : 8782 (java) S 8770 8770 32513 0 -1 1077944384 1460 0 0 0 90 0 0 0 20 0 19 0 444176257 15855591424 50480 33554432000 4194304 4196468 140726295865392 140298386631024 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8783] ppid=8770 vsize=15483976 memory=0 CPUtime=0.72 cores=0,2,4,6
/proc/8772/task/8783/stat : 8783 (java) R 8770 8770 32513 0 -1 1077944384 1263 0 0 0 72 0 0 0 20 0 19 0 444176257 15855591424 50480 33554432000 4194304 4196468 140726295865392 140298385578224 140298922666626 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8784] ppid=8770 vsize=15483976 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/8772/task/8784/stat : 8784 (java) S 8770 8770 32513 0 -1 1077944384 2106 0 0 0 52 0 0 0 20 0 19 0 444176257 15855591424 50480 33554432000 4194304 4196468 140726295865392 140298384525424 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8785] ppid=8770 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8785/stat : 8785 (java) S 8770 8770 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444176257 15855591424 50480 33554432000 4194304 4196468 140726295865392 140298383472864 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8786] ppid=8770 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8786/stat : 8786 (java) S 8770 8770 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444176258 15855591424 50480 33554432000 4194304 4196468 140726295865392 140298382421168 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
Current children cumulated CPU time: 4.84 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 203372 KiB
[startup+2.80818 s]
# the end of solver process 8770 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.88033 s, system=0.138335 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60934 s]
/proc/loadavg: 9.02 8.58 8.50 11/238 8790
/proc/meminfo: memFree=29236184/32770624 swapFree=66997372/67108860
[pid=8770] ppid=8767 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8770/stat : 8770 (xcsp3-exec) S 8767 8770 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444176252 115843072 363 33554432000 4194304 5098028 140723110320096 140723110318200 139637966160508 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12509184 140723110327162 140723110327405 140723110327405 140723110330314 0
/proc/8770/statm: 28282 363 304 221 0 87 0
[pid=8772] ppid=8770 vsize=15483976 memory=202008 CPUtime=5.28 cores=0,2,4,6
/proc/8772/stat : 8772 (java) S 8770 8770 32513 0 -1 1077944320 16109 0 0 0 518 10 0 0 20 0 19 0 444176252 15855591424 50502 33554432000 4194304 4196468 140726295865392 140726295847936 140298922655479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
/proc/8772/statm: 3870994 50502 3508 1 0 3832094 0
[pid=8772/tid=8773] ppid=8770 vsize=15483976 memory=8112282956445269571 CPUtime=0.65 cores=0,2,4,6
/proc/8772/task/8773/stat : 8773 (java) S 8770 8770 32513 0 -1 1077944384 9214 0 0 0 61 4 0 0 20 0 19 0 444176252 15855591424 50502 33554432000 4194304 4196468 140726295865392 140298926896256 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8774] ppid=8770 vsize=15483976 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8774/stat : 8774 (java) S 8770 8770 32513 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 19 0 444176253 15855591424 50502 33554432000 4194304 4196468 140726295865392 140298875275920 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8775] ppid=8770 vsize=15483976 memory=3184 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8775/stat : 8775 (java) S 8770 8770 32513 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 19 0 444176253 15855591424 50502 33554432000 4194304 4196468 140726295865392 140298874223120 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8776] ppid=8770 vsize=15483976 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8776/stat : 8776 (java) S 8770 8770 32513 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 444176253 15855591424 50502 33554432000 4194304 4196468 140726295865392 140298873170320 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8777] ppid=8770 vsize=15483976 memory=2193824 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8777/stat : 8777 (java) S 8770 8770 32513 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 444176253 15855591424 50502 33554432000 4194304 4196468 140726295865392 140298872117520 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8778] ppid=8770 vsize=15483976 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8778/stat : 8778 (java) S 8770 8770 32513 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 444176254 15855591424 50502 33554432000 4194304 4196468 140726295865392 140298390842224 140298922666626 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8779] ppid=8770 vsize=15483976 memory=2424 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8779/stat : 8779 (java) S 8770 8770 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444176255 15855591424 50502 33554432000 4194304 4196468 140726295865392 140298389788192 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8780] ppid=8770 vsize=15483976 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8780/stat : 8780 (java) S 8770 8770 32513 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 444176255 15855591424 50502 33554432000 4194304 4196468 140726295865392 140298388735344 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8781] ppid=8770 vsize=15483976 memory=114384 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8781/stat : 8781 (java) S 8770 8770 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444176257 15855591424 50502 33554432000 4194304 4196468 140726295865392 140298387683664 140298922674075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8782] ppid=8770 vsize=15483976 memory=1756 CPUtime=0.95 cores=0,2,4,6
/proc/8772/task/8782/stat : 8782 (java) R 8770 8770 32513 0 -1 4202560 1465 0 0 0 95 0 0 0 20 0 19 0 444176257 15855591424 50502 33554432000 4194304 4196468 140726295865392 140298386619776 140298904200139 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8783] ppid=8770 vsize=15483976 memory=1808 CPUtime=0.78 cores=0,2,4,6
/proc/8772/task/8783/stat : 8783 (java) R 8770 8770 32513 0 -1 4202560 1274 0 0 0 78 0 0 0 20 0 19 0 444176257 15855591424 50502 33554432000 4194304 4196468 140726295865392 140298385567824 140298906156017 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8784] ppid=8770 vsize=15483976 memory=920 CPUtime=0.53 cores=0,2,4,6
/proc/8772/task/8784/stat : 8784 (java) R 8770 8770 32513 0 -1 1077944384 2124 0 0 0 53 0 0 0 20 0 19 0 444176257 15855591424 50502 33554432000 4194304 4196468 140726295865392 140298384525424 140298922666626 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8785] ppid=8770 vsize=15483976 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8785/stat : 8785 (java) S 8770 8770 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444176257 15855591424 50502 33554432000 4194304 4196468 140726295865392 140298383472864 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8786] ppid=8770 vsize=15483976 memory=2664 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8786/stat : 8786 (java) S 8770 8770 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444176258 15855591424 50502 33554432000 4194304 4196468 140726295865392 140298382421168 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
Current children cumulated CPU time: 5.28 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 203460 KiB
[startup+2.40135 s]
/proc/loadavg: 9.02 8.58 8.50 11/238 8806
/proc/meminfo: memFree=29126448/32770624 swapFree=66997372/67108860
[pid=8770] ppid=8767 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8770/stat : 8770 (xcsp3-exec) S 8767 8770 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444176252 115843072 363 33554432000 4194304 5098028 140723110320096 140723110318200 139637966160508 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12509184 140723110327162 140723110327405 140723110327405 140723110330314 0
/proc/8770/statm: 28282 363 304 221 0 87 0
[pid=8772] ppid=8770 vsize=15483976 memory=222744 CPUtime=8.41 cores=0,2,4,6
/proc/8772/stat : 8772 (java) S 8770 8770 32513 0 -1 1077944320 16263 0 0 0 830 11 0 0 20 0 19 0 444176252 15855591424 55686 33554432000 4194304 4196468 140726295865392 140726295847936 140298922655479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
/proc/8772/statm: 3870994 55686 3510 1 0 3832094 0
[pid=8772/tid=8773] ppid=8770 vsize=15483976 memory=141640 CPUtime=0.65 cores=0,2,4,6
/proc/8772/task/8773/stat : 8773 (java) S 8770 8770 32513 0 -1 1077944384 9214 0 0 0 61 4 0 0 20 0 19 0 444176252 15855591424 55686 33554432000 4194304 4196468 140726295865392 140298926896256 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8774] ppid=8770 vsize=15483976 memory=14410423571057304 CPUtime=0.01 cores=0,2,4,6
/proc/8772/task/8774/stat : 8774 (java) S 8770 8770 32513 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 19 0 444176253 15855591424 55686 33554432000 4194304 4196468 140726295865392 140298875275920 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8775] ppid=8770 vsize=15483976 memory=1112 CPUtime=0.02 cores=0,2,4,6
/proc/8772/task/8775/stat : 8775 (java) S 8770 8770 32513 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 19 0 444176253 15855591424 55686 33554432000 4194304 4196468 140726295865392 140298874223120 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8776] ppid=8770 vsize=15483976 memory=1004 CPUtime=0.03 cores=0,2,4,6
/proc/8772/task/8776/stat : 8776 (java) S 8770 8770 32513 0 -1 1077944384 36 0 0 0 2 1 0 0 20 0 19 0 444176253 15855591424 55686 33554432000 4194304 4196468 140726295865392 140298873170320 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8777] ppid=8770 vsize=15483976 memory=33 CPUtime=0.03 cores=0,2,4,6
/proc/8772/task/8777/stat : 8777 (java) S 8770 8770 32513 0 -1 1077944384 37 0 0 0 2 1 0 0 20 0 19 0 444176253 15855591424 55686 33554432000 4194304 4196468 140726295865392 140298872117520 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8778] ppid=8770 vsize=15483976 memory=6364243174103024257 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8778/stat : 8778 (java) S 8770 8770 32513 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 444176254 15855591424 55686 33554432000 4194304 4196468 140726295865392 140298390842224 140298922666626 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8779] ppid=8770 vsize=15483976 memory=280619338698128 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8779/stat : 8779 (java) S 8770 8770 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444176255 15855591424 55686 33554432000 4194304 4196468 140726295865392 140298389788256 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8780] ppid=8770 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8780/stat : 8780 (java) S 8770 8770 32513 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 444176255 15855591424 55686 33554432000 4194304 4196468 140726295865392 140298388735344 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8781] ppid=8770 vsize=15483976 memory=140309669396390 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8781/stat : 8781 (java) S 8770 8770 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444176257 15855591424 55686 33554432000 4194304 4196468 140726295865392 140298387683664 140298922674075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8782] ppid=8770 vsize=15483976 memory=1400237504561912195 CPUtime=1.24 cores=0,2,4,6
/proc/8772/task/8782/stat : 8782 (java) R 8770 8770 32513 0 -1 4202560 1520 0 0 0 124 0 0 0 20 0 19 0 444176257 15855591424 55686 33554432000 4194304 4196468 140726295865392 140298386617120 140298904199583 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8783] ppid=8770 vsize=15483976 memory=0 CPUtime=0.95 cores=0,2,4,6
/proc/8772/task/8783/stat : 8783 (java) S 8770 8770 32513 0 -1 1077944384 1300 0 0 0 95 0 0 0 20 0 19 0 444176257 15855591424 55686 33554432000 4194304 4196468 140726295865392 140298385578224 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8784] ppid=8770 vsize=15483976 memory=280619339101136 CPUtime=0.55 cores=0,2,4,6
/proc/8772/task/8784/stat : 8784 (java) S 8770 8770 32513 0 -1 1077944384 2154 0 0 0 55 0 0 0 20 0 19 0 444176257 15855591424 55686 33554432000 4194304 4196468 140726295865392 140298384525424 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8785] ppid=8770 vsize=15483976 memory=7441045021077997520 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8785/stat : 8785 (java) S 8770 8770 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444176257 15855591424 55686 33554432000 4194304 4196468 140726295865392 140298383472864 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8786] ppid=8770 vsize=15483976 memory=204164 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8786/stat : 8786 (java) S 8770 8770 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444176258 15855591424 55686 33554432000 4194304 4196468 140726295865392 140298382421168 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8803] ppid=8770 vsize=15483976 memory=0 CPUtime=0.71 cores=0,2,4,6
/proc/8772/task/8803/stat : 8803 (java) R 8770 8770 32513 0 -1 4202560 17 0 0 0 71 0 0 0 20 0 19 0 444176398 15855591424 55686 33554432000 4194304 4196468 140726295865392 140298369228008 140298550564668 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8804] ppid=8770 vsize=15483976 memory=0 CPUtime=0.72 cores=0,2,4,6
/proc/8772/task/8804/stat : 8804 (java) R 8770 8770 32513 0 -1 4202560 18 0 0 0 72 0 0 0 20 0 19 0 444176398 15855591424 55686 33554432000 4194304 4196468 140726295865392 140298373439352 140298551795021 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8805] ppid=8770 vsize=15483976 memory=0 CPUtime=0.86 cores=0,2,4,6
/proc/8772/task/8805/stat : 8805 (java) R 8770 8770 32513 0 -1 4202560 18 0 0 0 86 0 0 0 20 0 19 0 444176398 15855591424 55686 33554432000 4194304 4196468 140726295865392 140298371335064 140298551257004 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8806] ppid=8770 vsize=15483976 memory=0 CPUtime=0.7 cores=0,2,4,6
/proc/8772/task/8806/stat : 8806 (java) R 8770 8770 32513 0 -1 4202560 18 0 0 0 70 0 0 0 20 0 19 0 444176399 15855591424 55686 33554432000 4194304 4196468 140726295865392 140298372386552 140298551764112 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
Current children cumulated CPU time: 8.41 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 224196 KiB
[startup+2.80202 s]
/proc/loadavg: 9.02 8.58 8.50 11/238 8806
/proc/meminfo: memFree=29126448/32770624 swapFree=66997372/67108860
[pid=8770] ppid=8767 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/8770/stat : 8770 (xcsp3-exec) S 8767 8770 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 444176252 115843072 363 33554432000 4194304 5098028 140723110320096 140723110318200 139637966160508 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12509184 140723110327162 140723110327405 140723110327405 140723110330314 0
/proc/8770/statm: 28282 363 304 221 0 87 0
[pid=8772] ppid=8770 vsize=15483976 memory=317288 CPUtime=10 cores=0,2,4,6
/proc/8772/stat : 8772 (java) S 8770 8770 32513 0 -1 1077944320 16487 0 0 0 987 13 0 0 20 0 16 0 444176252 15855591424 79322 33554432000 4194304 4196468 140726295865392 140726295847936 140298922655479 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
/proc/8772/statm: 3870994 79322 3511 1 0 3832094 0
[pid=8772/tid=8773] ppid=8770 vsize=15483976 memory=7518306933008655449 CPUtime=0.65 cores=0,2,4,6
/proc/8772/task/8773/stat : 8773 (java) R 8770 8770 32513 0 -1 4202560 9215 0 0 0 61 4 0 0 20 0 16 0 444176252 15855591424 79322 33554432000 4194304 4196468 140726295865392 140298926896256 140298922667414 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8774] ppid=8770 vsize=15483976 memory=7518306937303493975 CPUtime=0.01 cores=0,2,4,6
/proc/8772/task/8774/stat : 8774 (java) S 8770 8770 32513 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 16 0 444176253 15855591424 79322 33554432000 4194304 4196468 140726295865392 140298875275920 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8775] ppid=8770 vsize=15483976 memory=7518308058273506640 CPUtime=0.02 cores=0,2,4,6
/proc/8772/task/8775/stat : 8775 (java) S 8770 8770 32513 0 -1 1077944384 31 0 0 0 1 1 0 0 20 0 16 0 444176253 15855591424 79322 33554432000 4194304 4196468 140726295865392 140298874223120 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8776] ppid=8770 vsize=15483976 memory=7518305846432066135 CPUtime=0.03 cores=0,2,4,6
/proc/8772/task/8776/stat : 8776 (java) S 8770 8770 32513 0 -1 1077944384 36 0 0 0 2 1 0 0 20 0 16 0 444176253 15855591424 79322 33554432000 4194304 4196468 140726295865392 140298873170320 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8777] ppid=8770 vsize=15483976 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/8772/task/8777/stat : 8777 (java) S 8770 8770 32513 0 -1 1077944384 37 0 0 0 2 1 0 0 20 0 16 0 444176253 15855591424 79322 33554432000 4194304 4196468 140726295865392 140298872117520 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8778] ppid=8770 vsize=15483976 memory=8546864036052574154 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8778/stat : 8778 (java) S 8770 8770 32513 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 444176254 15855591424 79322 33554432000 4194304 4196468 140726295865392 140298390842224 140298922666626 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8779] ppid=8770 vsize=15483976 memory=140309778111505 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8779/stat : 8779 (java) S 8770 8770 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 444176255 15855591424 79322 33554432000 4194304 4196468 140726295865392 140298389788256 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8780] ppid=8770 vsize=15483976 memory=3544385955598265196 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8780/stat : 8780 (java) S 8770 8770 32513 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 444176255 15855591424 79322 33554432000 4194304 4196468 140726295865392 140298388735344 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8781] ppid=8770 vsize=15483976 memory=7306648844457431408 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8781/stat : 8781 (java) S 8770 8770 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 444176257 15855591424 79322 33554432000 4194304 4196468 140726295865392 140298387683664 140298922674075 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8782] ppid=8770 vsize=15483976 memory=7667497561383256160 CPUtime=1.27 cores=0,2,4,6
/proc/8772/task/8782/stat : 8782 (java) S 8770 8770 32513 0 -1 1077944384 1531 0 0 0 127 0 0 0 20 0 16 0 444176257 15855591424 79322 33554432000 4194304 4196468 140726295865392 140298386631024 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8783] ppid=8770 vsize=15483976 memory=7444819964895187541 CPUtime=0.98 cores=0,2,4,6
/proc/8772/task/8783/stat : 8783 (java) S 8770 8770 32513 0 -1 1077944384 1307 0 0 0 98 0 0 0 20 0 16 0 444176257 15855591424 79322 33554432000 4194304 4196468 140726295865392 140298385578224 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8784] ppid=8770 vsize=15483976 memory=5788911507359232418 CPUtime=0.55 cores=0,2,4,6
/proc/8772/task/8784/stat : 8784 (java) S 8770 8770 32513 0 -1 1077944384 2158 0 0 0 55 0 0 0 20 0 16 0 444176257 15855591424 79323 33554432000 4194304 4196468 140726295865392 140298384525424 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8785] ppid=8770 vsize=15483976 memory=-9001734043636558696 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8785/stat : 8785 (java) S 8770 8770 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 444176257 15855591424 79323 33554432000 4194304 4196468 140726295865392 140298383472864 140298922665685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
[pid=8772/tid=8786] ppid=8770 vsize=15483976 memory=-7522837583095740291 CPUtime=0 cores=0,2,4,6
/proc/8772/task/8786/stat : 8786 (java) S 8770 8770 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 444176258 15855591424 79323 33554432000 4194304 4196468 140726295865392 140298382421168 140298922666626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12230656 140726295872495 140726295872666 140726295872666 140726295875535 0
Current children cumulated CPU time: 10 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 318740 KiB
Child status: 0
Real time (s): 2.80823
CPU time (s): 10.0187
CPU user time (s): 9.88033
CPU system time (s): 0.138335
CPU usage (%): 356.762
Max. virtual memory (cumulated for all children) (KiB): 15597104
Max. memory (cumulated for all children) (KiB): 318740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.88033
system time used= 0.138335
maximum resident set size= 318492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17053
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2084
involuntary context switches= 424
# summary of solver processes directly reported to runsolver:
# pid: 8770
# total CPU time (s): 10.0187
# total CPU user time (s): 9.88033
# total CPU system time (s): 0.138335
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042086 second user time and 0.069385 second system time
The end