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 (12194 MiB free)
memory of node 1: 16384 MiB (13673 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283190-1503215705/watcher-4283190-1503215705 -o /tmp/evaluation-result-4283190-1503215705/solver-4283190-1503215705 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node115-1503208459-21141 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 437648457 HOME/instance-4283190-1503215705.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=26814, runsolver pid=26811
Current StackSize limit: 8192 KiB
[startup+0.100148 s]*
/proc/loadavg: 2.22 2.02 1.95 3/218 26830
/proc/meminfo: memFree=26470132/32770624 swapFree=67108860/67108860
[pid=26814] ppid=26811 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26814/stat : 26814 (xcsp3-exec) S 26811 26814 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154658053 9740288 346 33554432000 4194304 5098028 140726176313424 140726176311528 140560813613692 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31653888 140726176318581 140726176318784 140726176318784 140726176321515 0
/proc/26814/statm: 2378 346 289 221 0 87 0
[pid=26816] ppid=26814 vsize=13978596 memory=29076 CPUtime=0.12 cores=1,3,5,7
/proc/26816/stat : 26816 (java) S 26814 26814 21109 0 -1 1077944320 5134 0 0 0 11 1 0 0 20 0 15 0 154658053 14314082304 7269 33554432000 4194304 4196468 140720778953808 140720778936352 139813494251255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
/proc/26816/statm: 3494649 7269 2868 1 0 3482966 0
[pid=26816/tid=26817] ppid=26814 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/26816/task/26817/stat : 26817 (java) R 26814 26814 21109 0 -1 4202560 3066 0 0 0 8 1 0 0 20 0 15 0 154658053 14314082304 7269 33554432000 4194304 4196468 140720778953808 139813498483776 139813494273181 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26818] ppid=26814 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26818/stat : 26818 (java) S 26814 26814 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154658054 14314082304 7269 33554432000 4194304 4196468 140720778953808 139813409320080 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26819] ppid=26814 vsize=13978596 memory=139733836772992 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26819/stat : 26819 (java) S 26814 26814 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154658054 14314082304 7269 33554432000 4194304 4196468 140720778953808 139813408267280 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26820] ppid=26814 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26820/stat : 26820 (java) S 26814 26814 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154658054 14314082304 7269 33554432000 4194304 4196468 140720778953808 139813407214480 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26821] ppid=26814 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26821/stat : 26821 (java) S 26814 26814 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154658054 14314082304 7269 33554432000 4194304 4196468 140720778953808 139813406161680 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26822] ppid=26814 vsize=13978596 memory=139733836772992 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26822/stat : 26822 (java) S 26814 26814 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154658056 14314082304 7269 33554432000 4194304 4196468 140720778953808 139812967795056 139813494262402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26823] ppid=26814 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26823/stat : 26823 (java) S 26814 26814 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154658056 14314082304 7269 33554432000 4194304 4196468 140720778953808 139812966741024 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26824] ppid=26814 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26824/stat : 26824 (java) S 26814 26814 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154658056 14314082304 7269 33554432000 4194304 4196468 140720778953808 139812965688176 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26825] ppid=26814 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26825/stat : 26825 (java) S 26814 26814 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154658059 14314082304 7269 33554432000 4194304 4196468 140720778953808 139812964636496 139813494269851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26826] ppid=26814 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26826/stat : 26826 (java) R 26814 26814 21109 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 154658059 14314082304 7269 33554432000 4194304 4196468 140720778953808 139812963584880 139813494262402 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26827] ppid=26814 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26827/stat : 26827 (java) S 26814 26814 21109 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 154658059 14314082304 7269 33554432000 4194304 4196468 140720778953808 139812962532176 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26828] ppid=26814 vsize=13978596 memory=139733836772992 CPUtime=0.01 cores=1,3,5,7
/proc/26816/task/26828/stat : 26828 (java) S 26814 26814 21109 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 15 0 154658059 14314082304 7269 33554432000 4194304 4196468 140720778953808 139812961479280 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26829] ppid=26814 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26829/stat : 26829 (java) S 26814 26814 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154658059 14314082304 7269 33554432000 4194304 4196468 140720778953808 139812960426720 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26830] ppid=26814 vsize=13978596 memory=139733836772992 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26830/stat : 26830 (java) S 26814 26814 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154658059 14314082304 7269 33554432000 4194304 4196468 140720778953808 139812959374000 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30460 KiB
[startup+0.210775 s]*
/proc/loadavg: 2.22 2.02 1.95 3/218 26830
/proc/meminfo: memFree=26459084/32770624 swapFree=67108860/67108860
[pid=26814] ppid=26811 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26814/stat : 26814 (xcsp3-exec) S 26811 26814 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154658053 9740288 346 33554432000 4194304 5098028 140726176313424 140726176311528 140560813613692 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31653888 140726176318581 140726176318784 140726176318784 140726176321515 0
/proc/26814/statm: 2378 346 289 221 0 87 0
[pid=26816] ppid=26814 vsize=13982852 memory=40544 CPUtime=0.34 cores=1,3,5,7
/proc/26816/stat : 26816 (java) S 26814 26814 21109 0 -1 1077944320 7780 0 0 0 32 2 0 0 20 0 15 0 154658053 14318440448 10136 33554432000 4194304 4196468 140720778953808 140720778936352 139813494251255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
/proc/26816/statm: 3495713 10136 3059 1 0 3482966 0
[pid=26816/tid=26817] ppid=26814 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/26816/task/26817/stat : 26817 (java) R 26814 26814 21109 0 -1 4202560 4925 0 0 0 18 1 0 0 20 0 15 0 154658053 14318440448 10136 33554432000 4194304 4196468 140720778953808 139813498462160 139813486929269 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26818] ppid=26814 vsize=13982852 memory=9005 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26818/stat : 26818 (java) S 26814 26814 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154658054 14318440448 10136 33554432000 4194304 4196468 140720778953808 139813409320080 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26819] ppid=26814 vsize=13982852 memory=139733837516108 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26819/stat : 26819 (java) S 26814 26814 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154658054 14318440448 10136 33554432000 4194304 4196468 140720778953808 139813408267280 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26820] ppid=26814 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26820/stat : 26820 (java) S 26814 26814 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154658054 14318440448 10136 33554432000 4194304 4196468 140720778953808 139813407214480 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26821] ppid=26814 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26821/stat : 26821 (java) S 26814 26814 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154658054 14318440448 10136 33554432000 4194304 4196468 140720778953808 139813406161680 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26822] ppid=26814 vsize=13982852 memory=139733836772992 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26822/stat : 26822 (java) S 26814 26814 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154658056 14318440448 10136 33554432000 4194304 4196468 140720778953808 139812967795056 139813494262402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26823] ppid=26814 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26823/stat : 26823 (java) S 26814 26814 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154658056 14318440448 10136 33554432000 4194304 4196468 140720778953808 139812966741024 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26824] ppid=26814 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26824/stat : 26824 (java) S 26814 26814 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154658056 14318440448 10136 33554432000 4194304 4196468 140720778953808 139812965688176 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26825] ppid=26814 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26825/stat : 26825 (java) S 26814 26814 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154658059 14318440448 10136 33554432000 4194304 4196468 140720778953808 139812964636496 139813494269851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26826] ppid=26814 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26816/task/26826/stat : 26826 (java) S 26814 26814 21109 0 -1 1077944384 435 0 0 0 3 0 0 0 20 0 15 0 154658059 14318440448 10136 33554432000 4194304 4196468 140720778953808 139812963584880 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26827] ppid=26814 vsize=13982852 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/26816/task/26827/stat : 26827 (java) S 26814 26814 21109 0 -1 1077944384 364 0 0 0 1 0 0 0 20 0 15 0 154658059 14318440448 10136 33554432000 4194304 4196468 140720778953808 139812962532080 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26828] ppid=26814 vsize=13982852 memory=139733836772992 CPUtime=0.08 cores=1,3,5,7
/proc/26816/task/26828/stat : 26828 (java) S 26814 26814 21109 0 -1 1077944384 752 0 0 0 8 0 0 0 20 0 15 0 154658059 14318440448 10136 33554432000 4194304 4196468 140720778953808 139812961479280 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26829] ppid=26814 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26829/stat : 26829 (java) S 26814 26814 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154658059 14318440448 10136 33554432000 4194304 4196468 140720778953808 139812960426720 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26830] ppid=26814 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26830/stat : 26830 (java) S 26814 26814 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154658059 14318440448 10136 33554432000 4194304 4196468 140720778953808 139812959374000 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41928 KiB
[startup+0.310488 s]*
/proc/loadavg: 2.22 2.02 1.95 3/218 26830
/proc/meminfo: memFree=26451764/32770624 swapFree=67108860/67108860
[pid=26814] ppid=26811 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26814/stat : 26814 (xcsp3-exec) S 26811 26814 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154658053 9740288 346 33554432000 4194304 5098028 140726176313424 140726176311528 140560813613692 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31653888 140726176318581 140726176318784 140726176318784 140726176321515 0
/proc/26814/statm: 2378 346 289 221 0 87 0
[pid=26816] ppid=26814 vsize=13982928 memory=48260 CPUtime=0.51 cores=1,3,5,7
/proc/26816/stat : 26816 (java) S 26814 26814 21109 0 -1 1077944320 8704 0 0 0 48 3 0 0 20 0 15 0 154658053 14318518272 12065 33554432000 4194304 4196468 140720778953808 140720778936352 139813494251255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
/proc/26816/statm: 3495732 12065 3125 1 0 3482966 0
[pid=26816/tid=26817] ppid=26814 vsize=13982928 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/26816/task/26817/stat : 26817 (java) R 26814 26814 21109 0 -1 4202560 5611 0 0 0 28 2 0 0 20 0 15 0 154658053 14318518272 12065 33554432000 4194304 4196468 140720778953808 139813498483088 139813494273181 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26818] ppid=26814 vsize=13982928 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26818/stat : 26818 (java) S 26814 26814 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154658054 14318518272 12065 33554432000 4194304 4196468 140720778953808 139813409320080 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26819] ppid=26814 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26819/stat : 26819 (java) S 26814 26814 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154658054 14318518272 12065 33554432000 4194304 4196468 140720778953808 139813408267280 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26820] ppid=26814 vsize=13982928 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26820/stat : 26820 (java) S 26814 26814 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154658054 14318518272 12065 33554432000 4194304 4196468 140720778953808 139813407214480 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26821] ppid=26814 vsize=13982928 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26821/stat : 26821 (java) S 26814 26814 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154658054 14318518272 12065 33554432000 4194304 4196468 140720778953808 139813406161680 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26822] ppid=26814 vsize=13982928 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26822/stat : 26822 (java) S 26814 26814 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154658056 14318518272 12065 33554432000 4194304 4196468 140720778953808 139812967795056 139813494262402 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26823] ppid=26814 vsize=13982928 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26823/stat : 26823 (java) S 26814 26814 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154658056 14318518272 12065 33554432000 4194304 4196468 140720778953808 139812966741024 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26824] ppid=26814 vsize=13982928 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26824/stat : 26824 (java) S 26814 26814 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154658056 14318518272 12065 33554432000 4194304 4196468 140720778953808 139812965688176 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26825] ppid=26814 vsize=13982928 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26825/stat : 26825 (java) S 26814 26814 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154658059 14318518272 12065 33554432000 4194304 4196468 140720778953808 139812964636496 139813494269851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26826] ppid=26814 vsize=13982928 memory=4713750055892520310 CPUtime=0.04 cores=1,3,5,7
/proc/26816/task/26826/stat : 26826 (java) S 26814 26814 21109 0 -1 1077944384 539 0 0 0 4 0 0 0 20 0 15 0 154658059 14318518272 12065 33554432000 4194304 4196468 140720778953808 139812963584880 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26827] ppid=26814 vsize=13982928 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26816/task/26827/stat : 26827 (java) S 26814 26814 21109 0 -1 1077944384 375 0 0 0 2 0 0 0 20 0 15 0 154658059 14318518272 12065 33554432000 4194304 4196468 140720778953808 139812962532080 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26828] ppid=26814 vsize=13982928 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/26816/task/26828/stat : 26828 (java) R 26814 26814 21109 0 -1 4202560 875 0 0 0 13 0 0 0 20 0 15 0 154658059 14318518272 12065 33554432000 4194304 4196468 140720778953808 139812961479280 139813486271418 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26829] ppid=26814 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26829/stat : 26829 (java) S 26814 26814 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154658059 14318518272 12065 33554432000 4194304 4196468 140720778953808 139812960426720 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26830] ppid=26814 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26830/stat : 26830 (java) S 26814 26814 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154658059 14318518272 12065 33554432000 4194304 4196468 140720778953808 139812959374000 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49644 KiB
[startup+0.700873 s]
/proc/loadavg: 2.22 2.02 1.95 4/218 26830
/proc/meminfo: memFree=26438304/32770624 swapFree=67108860/67108860
[pid=26814] ppid=26811 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26814/stat : 26814 (xcsp3-exec) S 26811 26814 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154658053 9740288 346 33554432000 4194304 5098028 140726176313424 140726176311528 140560813613692 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31653888 140726176318581 140726176318784 140726176318784 140726176321515 0
/proc/26814/statm: 2378 346 289 221 0 87 0
[pid=26816] ppid=26814 vsize=13984976 memory=69460 CPUtime=1.63 cores=1,3,5,7
/proc/26816/stat : 26816 (java) S 26814 26814 21109 0 -1 1077944320 12612 0 0 0 158 5 0 0 20 0 15 0 154658053 14320615424 17365 33554432000 4194304 4196468 140720778953808 140720778936352 139813494251255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
/proc/26816/statm: 3496244 17365 3209 1 0 3483478 0
[pid=26816/tid=26817] ppid=26814 vsize=13984976 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/26816/task/26817/stat : 26817 (java) R 26814 26814 21109 0 -1 4202560 6200 0 0 0 64 3 0 0 20 0 15 0 154658053 14320615424 17365 33554432000 4194304 4196468 140720778953808 139813498488704 139813083772049 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26818] ppid=26814 vsize=13984976 memory=288230587427463936 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26818/stat : 26818 (java) S 26814 26814 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154658054 14320615424 17365 33554432000 4194304 4196468 140720778953808 139813409320080 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26819] ppid=26814 vsize=13984976 memory=16106957111054841 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26819/stat : 26819 (java) S 26814 26814 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154658054 14320615424 17365 33554432000 4194304 4196468 140720778953808 139813408267280 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26820] ppid=26814 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26820/stat : 26820 (java) S 26814 26814 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154658054 14320615424 17365 33554432000 4194304 4196468 140720778953808 139813407214480 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26821] ppid=26814 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26821/stat : 26821 (java) S 26814 26814 21109 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154658054 14320615424 17365 33554432000 4194304 4196468 140720778953808 139813406161680 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26822] ppid=26814 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26822/stat : 26822 (java) S 26814 26814 21109 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154658056 14320615424 17365 33554432000 4194304 4196468 140720778953808 139812967795056 139813494262402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26823] ppid=26814 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26823/stat : 26823 (java) S 26814 26814 21109 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154658056 14320615424 17365 33554432000 4194304 4196468 140720778953808 139812966741024 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26824] ppid=26814 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26824/stat : 26824 (java) S 26814 26814 21109 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154658056 14320615424 17365 33554432000 4194304 4196468 140720778953808 139812965688176 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26825] ppid=26814 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26825/stat : 26825 (java) S 26814 26814 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154658059 14320615424 17365 33554432000 4194304 4196468 140720778953808 139812964636496 139813494269851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26826] ppid=26814 vsize=13984976 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/26816/task/26826/stat : 26826 (java) R 26814 26814 21109 0 -1 4202560 1882 0 0 0 31 0 0 0 20 0 15 0 154658059 14320615424 17365 33554432000 4194304 4196468 140720778953808 139812963570680 139813478147641 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26827] ppid=26814 vsize=13984976 memory=3910083626211240551 CPUtime=0.28 cores=1,3,5,7
/proc/26816/task/26827/stat : 26827 (java) R 26814 26814 21109 0 -1 4202560 1427 0 0 0 28 0 0 0 20 0 15 0 154658059 14320615424 17365 33554432000 4194304 4196468 140720778953808 139812962520640 139813479358834 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26828] ppid=26814 vsize=13984976 memory=7091027922389396073 CPUtime=0.33 cores=1,3,5,7
/proc/26816/task/26828/stat : 26828 (java) S 26814 26814 21109 0 -1 1077944384 1796 0 0 0 33 0 0 0 20 0 15 0 154658059 14320615424 17365 33554432000 4194304 4196468 140720778953808 139812961479280 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26829] ppid=26814 vsize=13984976 memory=7594587674001172330 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26829/stat : 26829 (java) S 26814 26814 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154658059 14320615424 17365 33554432000 4194304 4196468 140720778953808 139812960426720 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26830] ppid=26814 vsize=13984976 memory=7300704776819335744 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26830/stat : 26830 (java) S 26814 26814 21109 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154658059 14320615424 17365 33554432000 4194304 4196468 140720778953808 139812959374000 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 70844 KiB
[startup+1.5009 s]
/proc/loadavg: 2.22 2.02 1.95 5/218 26830
/proc/meminfo: memFree=26419328/32770624 swapFree=67108860/67108860
[pid=26814] ppid=26811 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26814/stat : 26814 (xcsp3-exec) S 26811 26814 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154658053 9740288 346 33554432000 4194304 5098028 140726176313424 140726176311528 140560813613692 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31653888 140726176318581 140726176318784 140726176318784 140726176321515 0
/proc/26814/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/26816/task/26819/stat : 26819 (java) S 26814 26814 21109 0 -1 1077944384 461 0 0 0 1 0 0 0 20 0 15 0 154658054 14320615424 49325 33554432000 4194304 4196468 140720778953808 139813408267280 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26820] ppid=26814 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26820/stat : 26820 (java) S 26814 26814 21109 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 154658054 14320615424 49325 33554432000 4194304 4196468 140720778953808 139813407214480 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26821] ppid=26814 vsize=13984976 memory=2408 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26821/stat : 26821 (java) S 26814 26814 21109 0 -1 1077944384 507 0 0 0 0 0 0 0 20 0 15 0 154658054 14320615424 49325 33554432000 4194304 4196468 140720778953808 139813406161680 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26822] ppid=26814 vsize=13984976 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26816/task/26822/stat : 26822 (java) S 26814 26814 21109 0 -1 1077944384 706 0 0 0 1 0 0 0 20 0 15 0 154658056 14320615424 49325 33554432000 4194304 4196468 140720778953808 139812967795056 139813494262402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26823] ppid=26814 vsize=13984976 memory=11204 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26823/stat : 26823 (java) S 26814 26814 21109 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154658056 14320615424 49325 33554432000 4194304 4196468 140720778953808 139812966741024 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26824] ppid=26814 vsize=13984976 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26824/stat : 26824 (java) S 26814 26814 21109 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154658056 14320615424 49325 33554432000 4194304 4196468 140720778953808 139812965688176 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26825] ppid=26814 vsize=13984976 memory=139733674168882 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26825/stat : 26825 (java) S 26814 26814 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154658059 14320615424 49325 33554432000 4194304 4196468 140720778953808 139812964636496 139813494269851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26826] ppid=26814 vsize=13984976 memory=6656426216303648864 CPUtime=1.23 cores=1,3,5,7
/proc/26816/task/26826/stat : 26826 (java) S 26814 26814 21109 0 -1 1077944384 7516 0 0 0 122 1 0 0 20 0 15 0 154658059 14320615424 49325 33554432000 4194304 4196468 140720778953808 139812963584880 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26827] ppid=26814 vsize=13984976 memory=196276 CPUtime=1.18 cores=1,3,5,7
/proc/26816/task/26827/stat : 26827 (java) S 26814 26814 21109 0 -1 1077944384 7130 0 0 0 117 1 0 0 20 0 15 0 154658059 14320615424 49325 33554432000 4194304 4196468 140720778953808 139812962532080 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26828] ppid=26814 vsize=13984976 memory=2408 CPUtime=0.42 cores=1,3,5,7
/proc/26816/task/26828/stat : 26828 (java) S 26814 26814 21109 0 -1 1077944384 4315 0 0 0 41 1 0 0 20 0 15 0 154658059 14320615424 49325 33554432000 4194304 4196468 140720778953808 139812961479280 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26829] ppid=26814 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26829/stat : 26829 (java) S 26814 26814 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154658059 14320615424 49325 33554432000 4194304 4196468 140720778953808 139812960426720 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26830] ppid=26814 vsize=13984976 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26830/stat : 26830 (java) S 26814 26814 21109 0 -1 1077944384 403 0 0 0 0 0 0 0 20 0 15 0 154658059 14320615424 49325 33554432000 4194304 4196468 140720778953808 139812959374000 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
Current children cumulated CPU time: 22.08 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 198684 KiB
[startup+20.8008 s]
/proc/loadavg: 2.51 2.10 1.98 3/218 26830
/proc/meminfo: memFree=26301136/32770624 swapFree=67108860/67108860
[pid=26814] ppid=26811 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26814/stat : 26814 (xcsp3-exec) S 26811 26814 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154658053 9740288 346 33554432000 4194304 5098028 140726176313424 140726176311528 140560813613692 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31653888 140726176318581 140726176318784 140726176318784 140726176321515 0
/proc/26814/statm: 2378 346 289 221 0 87 0
[pid=26816] ppid=26814 vsize=13984976 memory=197316 CPUtime=23.71 cores=1,3,5,7
/proc/26816/stat : 26816 (java) S 26814 26814 21109 0 -1 1077944320 31392 0 0 0 2361 10 0 0 20 0 15 0 154658053 14320615424 49329 33554432000 4194304 4196468 140720778953808 140720778936352 139813494251255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
/proc/26816/statm: 3496244 49329 3246 1 0 3483478 0
[pid=26816/tid=26817] ppid=26814 vsize=13984976 memory=1384 CPUtime=20.75 cores=1,3,5,7
/proc/26816/task/26817/stat : 26817 (java) R 26814 26814 21109 0 -1 4202560 8328 0 0 0 2070 5 0 0 20 0 15 0 154658053 14320615424 49329 33554432000 4194304 4196468 140720778953808 139813498487768 139813084504585 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26818] ppid=26814 vsize=13984976 memory=197300 CPUtime=0.01 cores=1,3,5,7
/proc/26816/task/26818/stat : 26818 (java) S 26814 26814 21109 0 -1 1077944384 266 0 0 0 1 0 0 0 20 0 15 0 154658054 14320615424 49329 33554432000 4194304 4196468 140720778953808 139813409320080 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26819] ppid=26814 vsize=13984976 memory=1384 CPUtime=0.01 cores=1,3,5,7
/proc/26816/task/26819/stat : 26819 (java) S 26814 26814 21109 0 -1 1077944384 461 0 0 0 1 0 0 0 20 0 15 0 154658054 14320615424 49329 33554432000 4194304 4196468 140720778953808 139813408267280 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26820] ppid=26814 vsize=13984976 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/26816/task/26820/stat : 26820 (java) S 26814 26814 21109 0 -1 1077944384 307 0 0 0 1 0 0 0 20 0 15 0 154658054 14320615424 49329 33554432000 4194304 4196468 140720778953808 139813407214480 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26821] ppid=26814 vsize=13984976 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26816/task/26821/stat : 26821 (java) S 26814 26814 21109 0 -1 1077944384 509 0 0 0 1 0 0 0 20 0 15 0 154658054 14320615424 49329 33554432000 4194304 4196468 140720778953808 139813406161680 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26822] ppid=26814 vsize=13984976 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26816/task/26822/stat : 26822 (java) S 26814 26814 21109 0 -1 1077944384 706 0 0 0 1 0 0 0 20 0 15 0 154658056 14320615424 49329 33554432000 4194304 4196468 140720778953808 139812967795056 139813494262402 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26823] ppid=26814 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26823/stat : 26823 (java) S 26814 26814 21109 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154658056 14320615424 49329 33554432000 4194304 4196468 140720778953808 139812966741024 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26824] ppid=26814 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26824/stat : 26824 (java) S 26814 26814 21109 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154658056 14320615424 49329 33554432000 4194304 4196468 140720778953808 139812965688176 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26825] ppid=26814 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26825/stat : 26825 (java) S 26814 26814 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154658059 14320615424 49329 33554432000 4194304 4196468 140720778953808 139812964636496 139813494269851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26826] ppid=26814 vsize=13984976 memory=0 CPUtime=1.25 cores=1,3,5,7
/proc/26816/task/26826/stat : 26826 (java) S 26814 26814 21109 0 -1 1077944384 7619 0 0 0 124 1 0 0 20 0 15 0 154658059 14320615424 49329 33554432000 4194304 4196468 140720778953808 139812963584880 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26827] ppid=26814 vsize=13984976 memory=0 CPUtime=1.18 cores=1,3,5,7
/proc/26816/task/26827/stat : 26827 (java) S 26814 26814 21109 0 -1 1077944384 7132 0 0 0 117 1 0 0 20 0 15 0 154658059 14320615424 49329 33554432000 4194304 4196468 140720778953808 139812962532080 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26828] ppid=26814 vsize=13984976 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/26816/task/26828/stat : 26828 (java) S 26814 26814 21109 0 -1 1077944384 4315 0 0 0 41 1 0 0 20 0 15 0 154658059 14320615424 49329 33554432000 4194304 4196468 140720778953808 139812961479280 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26829] ppid=26814 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26829/stat : 26829 (java) S 26814 26814 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154658059 14320615424 49329 33554432000 4194304 4196468 140720778953808 139812960426720 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26830] ppid=26814 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26830/stat : 26830 (java) S 26814 26814 21109 0 -1 1077944384 403 0 0 0 0 0 0 0 20 0 15 0 154658059 14320615424 49329 33554432000 4194304 4196468 140720778953808 139812959374000 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
Current children cumulated CPU time: 23.71 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 198700 KiB
[startup+21.6008 s]
/proc/loadavg: 2.51 2.10 1.98 3/218 26830
/proc/meminfo: memFree=26301072/32770624 swapFree=67108860/67108860
[pid=26814] ppid=26811 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26814/stat : 26814 (xcsp3-exec) S 26811 26814 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154658053 9740288 346 33554432000 4194304 5098028 140726176313424 140726176311528 140560813613692 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31653888 140726176318581 140726176318784 140726176318784 140726176321515 0
/proc/26814/statm: 2378 346 289 221 0 87 0
[pid=26816] ppid=26814 vsize=13984976 memory=197308 CPUtime=24.51 cores=1,3,5,7
/proc/26816/stat : 26816 (java) S 26814 26814 21109 0 -1 1077944320 31400 0 0 0 2441 10 0 0 20 0 15 0 154658053 14320615424 49327 33554432000 4194304 4196468 140720778953808 140720778936352 139813494251255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
/proc/26816/statm: 3496244 49327 3246 1 0 3483478 0
[pid=26816/tid=26817] ppid=26814 vsize=13984976 memory=6791534058613427641 CPUtime=21.55 cores=1,3,5,7
/proc/26816/task/26817/stat : 26817 (java) R 26814 26814 21109 0 -1 4202560 8330 0 0 0 2150 5 0 0 20 0 15 0 154658053 14320615424 49327 33554432000 4194304 4196468 140720778953808 139813498489920 139813084334884 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26818] ppid=26814 vsize=13984976 memory=42768 CPUtime=0.01 cores=1,3,5,7
/proc/26816/task/26818/stat : 26818 (java) S 26814 26814 21109 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 15 0 154658054 14320615424 49327 33554432000 4194304 4196468 140720778953808 139813409320080 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26819] ppid=26814 vsize=13984976 memory=1296 CPUtime=0.01 cores=1,3,5,7
/proc/26816/task/26819/stat : 26819 (java) S 26814 26814 21109 0 -1 1077944384 462 0 0 0 1 0 0 0 20 0 15 0 154658054 14320615424 49327 33554432000 4194304 4196468 140720778953808 139813408267280 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26820] ppid=26814 vsize=13984976 memory=2408 CPUtime=0.01 cores=1,3,5,7
/proc/26816/task/26820/stat : 26820 (java) S 26814 26814 21109 0 -1 1077944384 309 0 0 0 1 0 0 0 20 0 15 0 154658054 14320615424 49327 33554432000 4194304 4196468 140720778953808 139813407214480 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26821] ppid=26814 vsize=13984976 memory=4420 CPUtime=0.01 cores=1,3,5,7
/proc/26816/task/26821/stat : 26821 (java) S 26814 26814 21109 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 15 0 154658054 14320615424 49327 33554432000 4194304 4196468 140720778953808 139813406161680 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26822] ppid=26814 vsize=13984976 memory=42900 CPUtime=0.01 cores=1,3,5,7
/proc/26816/task/26822/stat : 26822 (java) S 26814 26814 21109 0 -1 1077944384 706 0 0 0 1 0 0 0 20 0 15 0 154658056 14320615424 49327 33554432000 4194304 4196468 140720778953808 139812967795056 139813494262402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26823] ppid=26814 vsize=13984976 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26823/stat : 26823 (java) S 26814 26814 21109 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154658056 14320615424 49327 33554432000 4194304 4196468 140720778953808 139812966741024 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26824] ppid=26814 vsize=13984976 memory=7969827881154724766 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26824/stat : 26824 (java) S 26814 26814 21109 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154658056 14320615424 49327 33554432000 4194304 4196468 140720778953808 139812965688176 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26825] ppid=26814 vsize=13984976 memory=8322546984482543461 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26825/stat : 26825 (java) S 26814 26814 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154658059 14320615424 49327 33554432000 4194304 4196468 140720778953808 139812964636496 139813494269851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26826] ppid=26814 vsize=13984976 memory=7444819964895188565 CPUtime=1.25 cores=1,3,5,7
/proc/26816/task/26826/stat : 26826 (java) S 26814 26814 21109 0 -1 1077944384 7619 0 0 0 124 1 0 0 20 0 15 0 154658059 14320615424 49327 33554432000 4194304 4196468 140720778953808 139812963584880 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26827] ppid=26814 vsize=13984976 memory=7883665958318137681 CPUtime=1.18 cores=1,3,5,7
/proc/26816/task/26827/stat : 26827 (java) S 26814 26814 21109 0 -1 1077944384 7132 0 0 0 117 1 0 0 20 0 15 0 154658059 14320615424 49327 33554432000 4194304 4196468 140720778953808 139812962532080 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26828] ppid=26814 vsize=13984976 memory=7593439929670067796 CPUtime=0.42 cores=1,3,5,7
/proc/26816/task/26828/stat : 26828 (java) S 26814 26814 21109 0 -1 1077944384 4315 0 0 0 41 1 0 0 20 0 15 0 154658059 14320615424 49327 33554432000 4194304 4196468 140720778953808 139812961479280 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26829] ppid=26814 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26829/stat : 26829 (java) S 26814 26814 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154658059 14320615424 49327 33554432000 4194304 4196468 140720778953808 139812960426720 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26830] ppid=26814 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26830/stat : 26830 (java) S 26814 26814 21109 0 -1 1077944384 403 0 0 0 0 0 0 0 20 0 15 0 154658059 14320615424 49327 33554432000 4194304 4196468 140720778953808 139812959374000 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
Current children cumulated CPU time: 24.51 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 198692 KiB
[startup+22.0007 s]*
/proc/loadavg: 2.51 2.10 1.98 3/218 26830
/proc/meminfo: memFree=26300700/32770624 swapFree=67108860/67108860
[pid=26814] ppid=26811 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26814/stat : 26814 (xcsp3-exec) S 26811 26814 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154658053 9740288 346 33554432000 4194304 5098028 140726176313424 140726176311528 140560813613692 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31653888 140726176318581 140726176318784 140726176318784 140726176321515 0
/proc/26814/statm: 2378 346 289 221 0 87 0
[pid=26816] ppid=26814 vsize=13984976 memory=197308 CPUtime=24.92 cores=1,3,5,7
/proc/26816/stat : 26816 (java) S 26814 26814 21109 0 -1 1077944320 31400 0 0 0 2482 10 0 0 20 0 15 0 154658053 14320615424 49327 33554432000 4194304 4196468 140720778953808 140720778936352 139813494251255 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
/proc/26816/statm: 3496244 49327 3246 1 0 3483478 0
[pid=26816/tid=26817] ppid=26814 vsize=13984976 memory=4026532047 CPUtime=21.95 cores=1,3,5,7
/proc/26816/task/26817/stat : 26817 (java) R 26814 26814 21109 0 -1 4202560 8330 0 0 0 2190 5 0 0 20 0 15 0 154658053 14320615424 49327 33554432000 4194304 4196468 140720778953808 139813498489920 139813084910305 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26818] ppid=26814 vsize=13984976 memory=8976 CPUtime=0.01 cores=1,3,5,7
/proc/26816/task/26818/stat : 26818 (java) S 26814 26814 21109 0 -1 1077944384 267 0 0 0 1 0 0 0 20 0 15 0 154658054 14320615424 49327 33554432000 4194304 4196468 140720778953808 139813409320080 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26819] ppid=26814 vsize=13984976 memory=139733837507952 CPUtime=0.01 cores=1,3,5,7
/proc/26816/task/26819/stat : 26819 (java) S 26814 26814 21109 0 -1 1077944384 462 0 0 0 1 0 0 0 20 0 15 0 154658054 14320615424 49327 33554432000 4194304 4196468 140720778953808 139813408267280 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26820] ppid=26814 vsize=13984976 memory=7229517926731767872 CPUtime=0.01 cores=1,3,5,7
/proc/26816/task/26820/stat : 26820 (java) S 26814 26814 21109 0 -1 1077944384 309 0 0 0 1 0 0 0 20 0 15 0 154658054 14320615424 49327 33554432000 4194304 4196468 140720778953808 139813407214480 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26821] ppid=26814 vsize=13984976 memory=3467825727509962799 CPUtime=0.01 cores=1,3,5,7
/proc/26816/task/26821/stat : 26821 (java) S 26814 26814 21109 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 15 0 154658054 14320615424 49327 33554432000 4194304 4196468 140720778953808 139813406161680 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26822] ppid=26814 vsize=13984976 memory=2319528933003122352 CPUtime=0.01 cores=1,3,5,7
/proc/26816/task/26822/stat : 26822 (java) S 26814 26814 21109 0 -1 1077944384 706 0 0 0 1 0 0 0 20 0 15 0 154658056 14320615424 49327 33554432000 4194304 4196468 140720778953808 139812967795056 139813494262402 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26823] ppid=26814 vsize=13984976 memory=3467824627879784479 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26823/stat : 26823 (java) S 26814 26814 21109 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 154658056 14320615424 49327 33554432000 4194304 4196468 140720778953808 139812966741024 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26824] ppid=26814 vsize=13984976 memory=8099279071866868839 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26824/stat : 26824 (java) S 26814 26814 21109 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154658056 14320615424 49327 33554432000 4194304 4196468 140720778953808 139812965688176 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26825] ppid=26814 vsize=13984976 memory=7588684550706915689 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26825/stat : 26825 (java) S 26814 26814 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154658059 14320615424 49327 33554432000 4194304 4196468 140720778953808 139812964636496 139813494269851 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26826] ppid=26814 vsize=13984976 memory=0 CPUtime=1.25 cores=1,3,5,7
/proc/26816/task/26826/stat : 26826 (java) S 26814 26814 21109 0 -1 1077944384 7619 0 0 0 124 1 0 0 20 0 15 0 154658059 14320615424 49327 33554432000 4194304 4196468 140720778953808 139812963584880 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26827] ppid=26814 vsize=13984976 memory=3690471420425877043 CPUtime=1.18 cores=1,3,5,7
/proc/26816/task/26827/stat : 26827 (java) S 26814 26814 21109 0 -1 1077944384 7132 0 0 0 117 1 0 0 20 0 15 0 154658059 14320615424 49327 33554432000 4194304 4196468 140720778953808 139812962532080 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26828] ppid=26814 vsize=13984976 memory=2319528958773389184 CPUtime=0.42 cores=1,3,5,7
/proc/26816/task/26828/stat : 26828 (java) S 26814 26814 21109 0 -1 1077944384 4315 0 0 0 41 1 0 0 20 0 15 0 154658059 14320615424 49327 33554432000 4194304 4196468 140720778953808 139812961479280 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26829] ppid=26814 vsize=13984976 memory=3834033537023162159 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26829/stat : 26829 (java) S 26814 26814 21109 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154658059 14320615424 49327 33554432000 4194304 4196468 140720778953808 139812960426720 139813494261461 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
[pid=26816/tid=26830] ppid=26814 vsize=13984976 memory=3760986516934579888 CPUtime=0 cores=1,3,5,7
/proc/26816/task/26830/stat : 26830 (java) S 26814 26814 21109 0 -1 1077944384 403 0 0 0 0 0 0 0 20 0 15 0 154658059 14320615424 49327 33554432000 4194304 4196468 140720778953808 139812959374000 139813494262402 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 33427456 140720778957981 140720778958156 140720778958156 140720778960847 0
Current children cumulated CPU time: 24.92 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 198692 KiB
[startup+22.2007 s]
/proc/loadavg: 2.51 2.10 1.98 3/218 26830
/proc/meminfo: memFree=26300700/32770624 swapFree=67108860/67108860
[pid=26814] ppid=26811 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26814/stat : 26814 (xcsp3-exec) S 26811 26814 21109 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154658053 9740288 346 33554432000 4194304 5098028 140726176313424 140726176311528 140560813613692 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 31653888 140726176318581 140726176318784 140726176318784 140726176321515 0
/proc/26814/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1384 KiB
Child status: 0
Real time (s): 22.2024
CPU time (s): 25.1225
CPU user time (s): 25.0113
CPU system time (s): 0.111117
CPU usage (%): 113.152
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 198700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.0113
system time used= 0.111117
maximum resident set size= 199364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32239
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2648
involuntary context switches= 29
# summary of solver processes directly reported to runsolver:
# pid: 26814
# total CPU time (s): 25.1225
# total CPU user time (s): 25.0113
# total CPU system time (s): 0.111117
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.160388 second user time and 0.245741 second system time
The end