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 (7420 MiB free)
memory of node 1: 16384 MiB (13766 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269474-1502849612/watcher-4269474-1502849612 -o /tmp/evaluation-result-4269474-1502849612/solver-4269474-1502849612 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1502838668-25115 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 140608006 HOME/instance-4269474-1502849612.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=26783, runsolver pid=26780
Current StackSize limit: 8192 KiB
[startup+0.10147 s]*
/proc/loadavg: 2.13 2.04 2.05 4/217 26799
/proc/meminfo: memFree=21676828/32770624 swapFree=67108860/67108860
[pid=26783] ppid=26780 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26783/stat : 26783 (xcsp3-exec) S 26780 26783 25083 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 118042082 9740288 346 33554432000 4194304 5098028 140730258467264 140730258465368 140290908045948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28315648 140730258474095 140730258474299 140730258474299 140730258477035 0
/proc/26783/statm: 2378 346 289 221 0 87 0
[pid=26785] ppid=26783 vsize=13978596 memory=29064 CPUtime=0.12 cores=1,3,5,7
/proc/26785/stat : 26785 (java) S 26783 26783 25083 0 -1 1077944320 5134 0 0 0 11 1 0 0 20 0 15 0 118042083 14314082304 7266 33554432000 4194304 4196468 140731074910960 140731074893504 140690135604983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
/proc/26785/statm: 3494649 7266 2871 1 0 3482966 0
[pid=26785/tid=26786] ppid=26783 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/26785/task/26786/stat : 26786 (java) R 26783 26783 25083 0 -1 4202560 3061 0 0 0 8 0 0 0 20 0 15 0 118042083 14314082304 7266 33554432000 4194304 4196468 140731074910960 140690139836896 140690135616918 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26787] ppid=26783 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26787/stat : 26787 (java) S 26783 26783 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118042084 14314082304 7266 33554432000 4194304 4196468 140731074910960 140690050673680 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26788] ppid=26783 vsize=13978596 memory=139651327723136 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26788/stat : 26788 (java) S 26783 26783 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118042084 14314082304 7266 33554432000 4194304 4196468 140731074910960 140690049621136 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26789] ppid=26783 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26789/stat : 26789 (java) S 26783 26783 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118042084 14314082304 7266 33554432000 4194304 4196468 140731074910960 140690048568080 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26790] ppid=26783 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26790/stat : 26790 (java) S 26783 26783 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118042084 14314082304 7266 33554432000 4194304 4196468 140731074910960 140690047515536 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26791] ppid=26783 vsize=13978596 memory=139651327723136 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26791/stat : 26791 (java) S 26783 26783 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118042085 14314082304 7266 33554432000 4194304 4196468 140731074910960 140689474562288 140690135616130 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26792] ppid=26783 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26792/stat : 26792 (java) S 26783 26783 25083 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118042085 14314082304 7266 33554432000 4194304 4196468 140731074910960 140689473508512 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26793] ppid=26783 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26793/stat : 26793 (java) S 26783 26783 25083 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118042086 14314082304 7266 33554432000 4194304 4196468 140731074910960 140689472455408 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26794] ppid=26783 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26794/stat : 26794 (java) S 26783 26783 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118042088 14314082304 7266 33554432000 4194304 4196468 140731074910960 140689471403984 140690135623579 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26795] ppid=26783 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26795/stat : 26795 (java) S 26783 26783 25083 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 118042088 14314082304 7266 33554432000 4194304 4196468 140731074910960 140689470352112 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26796] ppid=26783 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26796/stat : 26796 (java) S 26783 26783 25083 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 118042088 14314082304 7266 33554432000 4194304 4196468 140731074910960 140689469299568 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26797] ppid=26783 vsize=13978596 memory=139651327723136 CPUtime=0.01 cores=1,3,5,7
/proc/26785/task/26797/stat : 26797 (java) R 26783 26783 25083 0 -1 4202560 334 0 0 0 1 0 0 0 20 0 15 0 118042088 14314082304 7266 33554432000 4194304 4196468 140731074910960 140689468246512 140690114270964 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26798] ppid=26783 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26798/stat : 26798 (java) S 26783 26783 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118042088 14314082304 7266 33554432000 4194304 4196468 140731074910960 140689467194208 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26799] ppid=26783 vsize=13978596 memory=139651327723136 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26799/stat : 26799 (java) S 26783 26783 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118042088 14314082304 7266 33554432000 4194304 4196468 140731074910960 140689466141232 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30448 KiB
[startup+0.210383 s]*
/proc/loadavg: 2.13 2.04 2.05 4/217 26799
/proc/meminfo: memFree=21665912/32770624 swapFree=67108860/67108860
[pid=26783] ppid=26780 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26783/stat : 26783 (xcsp3-exec) S 26780 26783 25083 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 118042082 9740288 346 33554432000 4194304 5098028 140730258467264 140730258465368 140290908045948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28315648 140730258474095 140730258474299 140730258474299 140730258477035 0
/proc/26783/statm: 2378 346 289 221 0 87 0
[pid=26785] ppid=26783 vsize=13982852 memory=40552 CPUtime=0.33 cores=1,3,5,7
/proc/26785/stat : 26785 (java) S 26783 26783 25083 0 -1 1077944320 7772 0 0 0 31 2 0 0 20 0 15 0 118042083 14318440448 10138 33554432000 4194304 4196468 140731074910960 140731074893504 140690135604983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
/proc/26785/statm: 3495713 10138 3055 1 0 3482966 0
[pid=26785/tid=26786] ppid=26783 vsize=13982852 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/26785/task/26786/stat : 26786 (java) R 26783 26783 25083 0 -1 4202560 4914 0 0 0 18 1 0 0 20 0 15 0 118042083 14318440448 10138 33554432000 4194304 4196468 140731074910960 140690139806784 140690135626909 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26787] ppid=26783 vsize=13982852 memory=8911 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26787/stat : 26787 (java) S 26783 26783 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118042084 14318440448 10138 33554432000 4194304 4196468 140731074910960 140690050673680 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26788] ppid=26783 vsize=13982852 memory=288370027479434880 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26788/stat : 26788 (java) S 26783 26783 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118042084 14318440448 10138 33554432000 4194304 4196468 140731074910960 140690049621136 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26789] ppid=26783 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26789/stat : 26789 (java) S 26783 26783 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118042084 14318440448 10138 33554432000 4194304 4196468 140731074910960 140690048568080 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26790] ppid=26783 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26790/stat : 26790 (java) S 26783 26783 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118042084 14318440448 10138 33554432000 4194304 4196468 140731074910960 140690047515536 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26791] ppid=26783 vsize=13982852 memory=139651327723136 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26791/stat : 26791 (java) S 26783 26783 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118042085 14318440448 10138 33554432000 4194304 4196468 140731074910960 140689474562288 140690135616130 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26792] ppid=26783 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26792/stat : 26792 (java) S 26783 26783 25083 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118042085 14318440448 10138 33554432000 4194304 4196468 140731074910960 140689473508512 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26793] ppid=26783 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26793/stat : 26793 (java) S 26783 26783 25083 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118042086 14318440448 10138 33554432000 4194304 4196468 140731074910960 140689472455408 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26794] ppid=26783 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26794/stat : 26794 (java) S 26783 26783 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118042088 14318440448 10138 33554432000 4194304 4196468 140731074910960 140689471403984 140690135623579 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26795] ppid=26783 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/26785/task/26795/stat : 26795 (java) S 26783 26783 25083 0 -1 1077944384 568 0 0 0 2 0 0 0 20 0 15 0 118042088 14318440448 10138 33554432000 4194304 4196468 140731074910960 140689470352112 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26796] ppid=26783 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/26785/task/26796/stat : 26796 (java) R 26783 26783 25083 0 -1 1077944384 267 0 0 0 2 0 0 0 20 0 15 0 118042088 14318440448 10138 33554432000 4194304 4196468 140731074910960 140689469299568 140690135616130 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26797] ppid=26783 vsize=13982852 memory=139651327723136 CPUtime=0.07 cores=1,3,5,7
/proc/26785/task/26797/stat : 26797 (java) R 26783 26783 25083 0 -1 4202560 719 0 0 0 7 0 0 0 20 0 15 0 118042088 14318440448 10138 33554432000 4194304 4196468 140731074910960 140689468246512 140690114740921 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26798] ppid=26783 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26798/stat : 26798 (java) S 26783 26783 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118042088 14318440448 10138 33554432000 4194304 4196468 140731074910960 140689467194208 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26799] ppid=26783 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26799/stat : 26799 (java) S 26783 26783 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118042088 14318440448 10138 33554432000 4194304 4196468 140731074910960 140689466141232 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41936 KiB
[startup+0.310446 s]*
/proc/loadavg: 2.12 2.04 2.05 5/217 26799
/proc/meminfo: memFree=21659708/32770624 swapFree=67108860/67108860
[pid=26783] ppid=26780 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26783/stat : 26783 (xcsp3-exec) S 26780 26783 25083 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 118042082 9740288 346 33554432000 4194304 5098028 140730258467264 140730258465368 140290908045948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28315648 140730258474095 140730258474299 140730258474299 140730258477035 0
/proc/26783/statm: 2378 346 289 221 0 87 0
[pid=26785] ppid=26783 vsize=13982928 memory=47736 CPUtime=0.5 cores=1,3,5,7
/proc/26785/stat : 26785 (java) S 26783 26783 25083 0 -1 1077944320 8587 0 0 0 47 3 0 0 20 0 15 0 118042083 14318518272 11934 33554432000 4194304 4196468 140731074910960 140731074893504 140690135604983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
/proc/26785/statm: 3495732 11934 3110 1 0 3482966 0
[pid=26785/tid=26786] ppid=26783 vsize=13982928 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/26785/task/26786/stat : 26786 (java) R 26783 26783 25083 0 -1 4202560 5568 0 0 0 27 2 0 0 20 0 15 0 118042083 14318518272 11934 33554432000 4194304 4196468 140731074910960 140690139837344 140690119685470 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26787] ppid=26783 vsize=13982928 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26787/stat : 26787 (java) S 26783 26783 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118042084 14318518272 11934 33554432000 4194304 4196468 140731074910960 140690050673680 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26788] ppid=26783 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26788/stat : 26788 (java) S 26783 26783 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118042084 14318518272 11934 33554432000 4194304 4196468 140731074910960 140690049621136 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26789] ppid=26783 vsize=13982928 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26789/stat : 26789 (java) S 26783 26783 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118042084 14318518272 11934 33554432000 4194304 4196468 140731074910960 140690048568080 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26790] ppid=26783 vsize=13982928 memory=4500088472188524148 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26790/stat : 26790 (java) S 26783 26783 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118042084 14318518272 11934 33554432000 4194304 4196468 140731074910960 140690047515536 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26791] ppid=26783 vsize=13982928 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26791/stat : 26791 (java) S 26783 26783 25083 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118042085 14318518272 11934 33554432000 4194304 4196468 140731074910960 140689474562288 140690135616130 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26792] ppid=26783 vsize=13982928 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26792/stat : 26792 (java) S 26783 26783 25083 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118042085 14318518272 11934 33554432000 4194304 4196468 140731074910960 140689473508512 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26793] ppid=26783 vsize=13982928 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26793/stat : 26793 (java) S 26783 26783 25083 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118042086 14318518272 11934 33554432000 4194304 4196468 140731074910960 140689472455408 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26794] ppid=26783 vsize=13982928 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26794/stat : 26794 (java) S 26783 26783 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118042088 14318518272 11934 33554432000 4194304 4196468 140731074910960 140689471403984 140690135623579 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26795] ppid=26783 vsize=13982928 memory=4713750055892520310 CPUtime=0.03 cores=1,3,5,7
/proc/26785/task/26795/stat : 26795 (java) S 26783 26783 25083 0 -1 1077944384 618 0 0 0 3 0 0 0 20 0 15 0 118042088 14318518272 11934 33554432000 4194304 4196468 140731074910960 140689470352112 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26796] ppid=26783 vsize=13982928 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26785/task/26796/stat : 26796 (java) S 26783 26783 25083 0 -1 1077944384 283 0 0 0 3 0 0 0 20 0 15 0 118042088 14318518272 11934 33554432000 4194304 4196468 140731074910960 140689469299568 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26797] ppid=26783 vsize=13982928 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/26785/task/26797/stat : 26797 (java) S 26783 26783 25083 0 -1 1077944384 820 0 0 0 11 0 0 0 20 0 15 0 118042088 14318518272 11934 33554432000 4194304 4196468 140731074910960 140689468246512 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26798] ppid=26783 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26798/stat : 26798 (java) S 26783 26783 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118042088 14318518272 11934 33554432000 4194304 4196468 140731074910960 140689467194208 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26799] ppid=26783 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26799/stat : 26799 (java) S 26783 26783 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118042088 14318518272 11934 33554432000 4194304 4196468 140731074910960 140689466141232 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49120 KiB
[startup+0.701217 s]
/proc/loadavg: 2.12 2.04 2.05 4/217 26799
/proc/meminfo: memFree=21632036/32770624 swapFree=67108860/67108860
[pid=26783] ppid=26780 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26783/stat : 26783 (xcsp3-exec) S 26780 26783 25083 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 118042082 9740288 346 33554432000 4194304 5098028 140730258467264 140730258465368 140290908045948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28315648 140730258474095 140730258474299 140730258474299 140730258477035 0
/proc/26783/statm: 2378 346 289 221 0 87 0
[pid=26785] ppid=26783 vsize=13982928 memory=241532 CPUtime=1.68 cores=1,3,5,7
/proc/26785/stat : 26785 (java) S 26783 26783 25083 0 -1 1077944320 10669 0 0 0 155 13 0 0 20 0 15 0 118042083 14318518272 60383 33554432000 4194304 4196468 140731074910960 140731074893504 140690135604983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
/proc/26785/statm: 3495732 60383 3196 1 0 3482966 0
[pid=26785/tid=26786] ppid=26783 vsize=13982928 memory=33 CPUtime=0.63 cores=1,3,5,7
/proc/26785/task/26786/stat : 26786 (java) S 26783 26783 25083 0 -1 1077944384 5888 0 0 0 60 3 0 0 20 0 15 0 118042083 14318518272 60383 33554432000 4194304 4196468 140731074910960 140690139842864 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26787] ppid=26783 vsize=13982928 memory=-7816663703405220396 CPUtime=0.03 cores=1,3,5,7
/proc/26785/task/26787/stat : 26787 (java) R 26783 26783 25083 0 -1 4202560 37 0 0 0 1 2 0 0 20 0 15 0 118042084 14318518272 60383 33554432000 4194304 4196468 140731074910960 140690050673680 140690128701684 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26788] ppid=26783 vsize=13982928 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/26785/task/26788/stat : 26788 (java) R 26783 26783 25083 0 -1 4202560 39 0 0 0 1 2 0 0 20 0 15 0 118042084 14318518272 60383 33554432000 4194304 4196468 140731074910960 140690049621136 140690128704683 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26789] ppid=26783 vsize=13982928 memory=33268 CPUtime=0.03 cores=1,3,5,7
/proc/26785/task/26789/stat : 26789 (java) R 26783 26783 25083 0 -1 4202560 47 0 0 0 1 2 0 0 20 0 15 0 118042084 14318518272 60383 33554432000 4194304 4196468 140731074910960 140690048568280 140690128704683 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26790] ppid=26783 vsize=13982928 memory=1296 CPUtime=0.02 cores=1,3,5,7
/proc/26785/task/26790/stat : 26790 (java) R 26783 26783 25083 0 -1 4202560 37 0 0 0 1 1 0 0 20 0 15 0 118042084 14318518272 60383 33554432000 4194304 4196468 140731074910960 140690047513232 140690128701732 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26791] ppid=26783 vsize=13982928 memory=2408 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26791/stat : 26791 (java) S 26783 26783 25083 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 118042085 14318518272 60383 33554432000 4194304 4196468 140731074910960 140689474560800 140690135615189 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26792] ppid=26783 vsize=13982928 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26792/stat : 26792 (java) S 26783 26783 25083 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118042085 14318518272 60383 33554432000 4194304 4196468 140731074910960 140689473508512 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26793] ppid=26783 vsize=13982928 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26793/stat : 26793 (java) S 26783 26783 25083 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118042086 14318518272 60383 33554432000 4194304 4196468 140731074910960 140689472455408 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26794] ppid=26783 vsize=13982928 memory=12032 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26794/stat : 26794 (java) S 26783 26783 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118042088 14318518272 60383 33554432000 4194304 4196468 140731074910960 140689471403984 140690135623579 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26795] ppid=26783 vsize=13982928 memory=5792 CPUtime=0.32 cores=1,3,5,7
/proc/26785/task/26795/stat : 26795 (java) S 26783 26783 25083 0 -1 1077944384 1189 0 0 0 32 0 0 0 20 0 15 0 118042088 14318518272 60383 33554432000 4194304 4196468 140731074910960 140689470337104 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26796] ppid=26783 vsize=13982928 memory=796 CPUtime=0.28 cores=1,3,5,7
/proc/26785/task/26796/stat : 26796 (java) S 26783 26783 25083 0 -1 1077944384 858 0 0 0 28 0 0 0 20 0 15 0 118042088 14318518272 60383 33554432000 4194304 4196468 140731074910960 140689469299568 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26797] ppid=26783 vsize=13982928 memory=1436 CPUtime=0.26 cores=1,3,5,7
/proc/26785/task/26797/stat : 26797 (java) S 26783 26783 25083 0 -1 1077944384 1264 0 0 0 26 0 0 0 20 0 15 0 118042088 14318518272 60383 33554432000 4194304 4196468 140731074910960 140689468243712 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26798] ppid=26783 vsize=13982928 memory=1012 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26798/stat : 26798 (java) S 26783 26783 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118042088 14318518272 60383 33554432000 4194304 4196468 140731074910960 140689467194208 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26799] ppid=26783 vsize=13982928 memory=1712 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26799/stat : 26799 (java) S 26783 26783 25083 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118042088 14318518272 60383 33554432000 4194304 4196468 140731074910960 140689466141232 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 242916 KiB
[startup+1.50071 s]
/proc/loadavg: 2.12 2.04 2.05 3/217 26799
/proc/meminfo: memFree=21432208/32770624 swapFree=67108860/67108860
[pid=26783] ppid=26780 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26783/stat : 26783 (xcsp3-exec) S 26780 26783 25083 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 118042082 9740288 346 33554432000 4194304 5098028 140730258467264 140730258465368 140290908045948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28315648 140730258474095 140730258474299 140730258474299 140730258477035 0
/proc/26783/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/26783/stat : 26783 (xcsp3-exec) S 26780 26783 25083 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 118042082 9740288 346 33554432000 4194304 5098028 140730258467264 140730258465368 140290908045948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28315648 140730258474095 140730258474299 140730258474299 140730258477035 0
/proc/26783/statm: 2378 346 289 221 0 87 0
[pid=26785] ppid=26783 vsize=13984976 memory=271284 CPUtime=14.35 cores=1,3,5,7
/proc/26785/stat : 26785 (java) S 26783 26783 25083 0 -1 1077944320 16168 0 0 0 1418 17 0 0 20 0 15 0 118042083 14320615424 67821 33554432000 4194304 4196468 140731074910960 140731074893504 140690135604983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
/proc/26785/statm: 3496244 67821 3226 1 0 3483478 0
[pid=26785/tid=26786] ppid=26783 vsize=13984976 memory=271280 CPUtime=12.71 cores=1,3,5,7
/proc/26785/task/26786/stat : 26786 (java) R 26783 26783 25083 0 -1 4202560 7944 0 0 0 1267 4 0 0 20 0 15 0 118042083 14320615424 67821 33554432000 4194304 4196468 140731074910960 140690139841424 140689727836699 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26787] ppid=26783 vsize=13984976 memory=6944656592387989600 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26787/stat : 26787 (java) S 26783 26783 25083 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 15 0 118042084 14320615424 67821 33554432000 4194304 4196468 140731074910960 140690050673680 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26788] ppid=26783 vsize=13984976 memory=132 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26788/stat : 26788 (java) S 26783 26783 25083 0 -1 1077944384 51 0 0 0 2 2 0 0 20 0 15 0 118042084 14320615424 67821 33554432000 4194304 4196468 140731074910960 140690049621136 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26789] ppid=26783 vsize=13984976 memory=6944656592387989600 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26789/stat : 26789 (java) S 26783 26783 25083 0 -1 1077944384 60 0 0 0 2 2 0 0 20 0 15 0 118042084 14320615424 67821 33554432000 4194304 4196468 140731074910960 140690048568080 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26790] ppid=26783 vsize=13984976 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26790/stat : 26790 (java) S 26783 26783 25083 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 15 0 118042084 14320615424 67821 33554432000 4194304 4196468 140731074910960 140690047515536 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26791] ppid=26783 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26791/stat : 26791 (java) S 26783 26783 25083 0 -1 1077944384 396 0 0 0 0 0 0 0 20 0 15 0 118042085 14320615424 67821 33554432000 4194304 4196468 140731074910960 140689474562288 140690135616130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26792] ppid=26783 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26792/stat : 26792 (java) S 26783 26783 25083 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118042085 14320615424 67821 33554432000 4194304 4196468 140731074910960 140689473508512 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26793] ppid=26783 vsize=13984976 memory=4144 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26793/stat : 26793 (java) S 26783 26783 25083 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 118042086 14320615424 67821 33554432000 4194304 4196468 140731074910960 140689472455408 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26794] ppid=26783 vsize=13984976 memory=33268 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26794/stat : 26794 (java) S 26783 26783 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118042088 14320615424 67821 33554432000 4194304 4196468 140731074910960 140689471403984 140690135623579 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26795] ppid=26783 vsize=13984976 memory=1296 CPUtime=0.53 cores=1,3,5,7
/proc/26785/task/26795/stat : 26795 (java) S 26783 26783 25083 0 -1 1077944384 2953 0 0 0 53 0 0 0 20 0 15 0 118042088 14320615424 67821 33554432000 4194304 4196468 140731074910960 140689470352112 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26796] ppid=26783 vsize=13984976 memory=2408 CPUtime=0.54 cores=1,3,5,7
/proc/26785/task/26796/stat : 26796 (java) S 26783 26783 25083 0 -1 1077944384 1630 0 0 0 54 0 0 0 20 0 15 0 118042088 14320615424 67821 33554432000 4194304 4196468 140731074910960 140689469299568 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26797] ppid=26783 vsize=13984976 memory=1732 CPUtime=0.33 cores=1,3,5,7
/proc/26785/task/26797/stat : 26797 (java) S 26783 26783 25083 0 -1 1077944384 1654 0 0 0 32 1 0 0 20 0 15 0 118042088 14320615424 67821 33554432000 4194304 4196468 140731074910960 140689468246512 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26798] ppid=26783 vsize=13984976 memory=1224 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26798/stat : 26798 (java) S 26783 26783 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118042088 14320615424 67821 33554432000 4194304 4196468 140731074910960 140689467194208 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26799] ppid=26783 vsize=13984976 memory=12032 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26799/stat : 26799 (java) S 26783 26783 25083 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 118042088 14320615424 67821 33554432000 4194304 4196468 140731074910960 140689466141232 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
Current children cumulated CPU time: 14.35 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 272668 KiB
[startup+14.4008 s]
/proc/loadavg: 2.25 2.07 2.06 3/217 26799
/proc/meminfo: memFree=21215676/32770624 swapFree=67108860/67108860
[pid=26783] ppid=26780 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26783/stat : 26783 (xcsp3-exec) S 26780 26783 25083 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 118042082 9740288 346 33554432000 4194304 5098028 140730258467264 140730258465368 140290908045948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28315648 140730258474095 140730258474299 140730258474299 140730258477035 0
/proc/26783/statm: 2378 346 289 221 0 87 0
[pid=26785] ppid=26783 vsize=13984976 memory=271288 CPUtime=15.95 cores=1,3,5,7
/proc/26785/stat : 26785 (java) S 26783 26783 25083 0 -1 1077944320 16589 0 0 0 1578 17 0 0 20 0 15 0 118042083 14320615424 67822 33554432000 4194304 4196468 140731074910960 140731074893504 140690135604983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
/proc/26785/statm: 3496244 67822 3226 1 0 3483478 0
[pid=26785/tid=26786] ppid=26783 vsize=13984976 memory=0 CPUtime=14.31 cores=1,3,5,7
/proc/26785/task/26786/stat : 26786 (java) R 26783 26783 25083 0 -1 4202560 7968 0 0 0 1427 4 0 0 20 0 15 0 118042083 14320615424 67822 33554432000 4194304 4196468 140731074910960 140690139841424 140689727836628 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26787] ppid=26783 vsize=13984976 memory=103 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26787/stat : 26787 (java) S 26783 26783 25083 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 15 0 118042084 14320615424 67822 33554432000 4194304 4196468 140731074910960 140690050673680 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26788] ppid=26783 vsize=13984976 memory=6791534058613427641 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26788/stat : 26788 (java) S 26783 26783 25083 0 -1 1077944384 51 0 0 0 2 2 0 0 20 0 15 0 118042084 14320615424 67822 33554432000 4194304 4196468 140731074910960 140690049621136 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26789] ppid=26783 vsize=13984976 memory=15872 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26789/stat : 26789 (java) S 26783 26783 25083 0 -1 1077944384 60 0 0 0 2 2 0 0 20 0 15 0 118042084 14320615424 67822 33554432000 4194304 4196468 140731074910960 140690048568080 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26790] ppid=26783 vsize=13984976 memory=18476 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26790/stat : 26790 (java) S 26783 26783 25083 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 15 0 118042084 14320615424 67822 33554432000 4194304 4196468 140731074910960 140690047515536 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26791] ppid=26783 vsize=13984976 memory=19684 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26791/stat : 26791 (java) S 26783 26783 25083 0 -1 1077944384 396 0 0 0 0 0 0 0 20 0 15 0 118042085 14320615424 67822 33554432000 4194304 4196468 140731074910960 140689474562288 140690135616130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26792] ppid=26783 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26792/stat : 26792 (java) S 26783 26783 25083 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118042085 14320615424 67822 33554432000 4194304 4196468 140731074910960 140689473508512 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26793] ppid=26783 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26793/stat : 26793 (java) S 26783 26783 25083 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 118042086 14320615424 67822 33554432000 4194304 4196468 140731074910960 140689472455408 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26794] ppid=26783 vsize=13984976 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26794/stat : 26794 (java) S 26783 26783 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118042088 14320615424 67822 33554432000 4194304 4196468 140731074910960 140689471403984 140690135623579 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26795] ppid=26783 vsize=13984976 memory=6944656592455097440 CPUtime=0.53 cores=1,3,5,7
/proc/26785/task/26795/stat : 26795 (java) S 26783 26783 25083 0 -1 1077944384 3096 0 0 0 53 0 0 0 20 0 15 0 118042088 14320615424 67822 33554432000 4194304 4196468 140731074910960 140689470352112 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26796] ppid=26783 vsize=13984976 memory=7953758698938524520 CPUtime=0.54 cores=1,3,5,7
/proc/26785/task/26796/stat : 26796 (java) S 26783 26783 25083 0 -1 1077944384 1784 0 0 0 54 0 0 0 20 0 15 0 118042088 14320615424 67822 33554432000 4194304 4196468 140731074910960 140689469299568 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26797] ppid=26783 vsize=13984976 memory=6299802978650451056 CPUtime=0.33 cores=1,3,5,7
/proc/26785/task/26797/stat : 26797 (java) S 26783 26783 25083 0 -1 1077944384 1754 0 0 0 32 1 0 0 20 0 15 0 118042088 14320615424 67822 33554432000 4194304 4196468 140731074910960 140689468246512 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26798] ppid=26783 vsize=13984976 memory=8171325696389898343 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26798/stat : 26798 (java) S 26783 26783 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118042088 14320615424 67822 33554432000 4194304 4196468 140731074910960 140689467194208 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26799] ppid=26783 vsize=13984976 memory=7590923079004543073 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26799/stat : 26799 (java) S 26783 26783 25083 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 118042088 14320615424 67822 33554432000 4194304 4196468 140731074910960 140689466141232 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
Current children cumulated CPU time: 15.95 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 272672 KiB
[startup+15.2007 s]
/proc/loadavg: 2.25 2.07 2.06 3/217 26799
/proc/meminfo: memFree=21215676/32770624 swapFree=67108860/67108860
[pid=26783] ppid=26780 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26783/stat : 26783 (xcsp3-exec) S 26780 26783 25083 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 118042082 9740288 346 33554432000 4194304 5098028 140730258467264 140730258465368 140290908045948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28315648 140730258474095 140730258474299 140730258474299 140730258477035 0
/proc/26783/statm: 2378 346 289 221 0 87 0
[pid=26785] ppid=26783 vsize=13984976 memory=271300 CPUtime=16.76 cores=1,3,5,7
/proc/26785/stat : 26785 (java) S 26783 26783 25083 0 -1 1077944320 16924 0 0 0 1659 17 0 0 20 0 15 0 118042083 14320615424 67825 33554432000 4194304 4196468 140731074910960 140731074893504 140690135604983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
/proc/26785/statm: 3496244 67825 3226 1 0 3483478 0
[pid=26785/tid=26786] ppid=26783 vsize=13984976 memory=4 CPUtime=15.11 cores=1,3,5,7
/proc/26785/task/26786/stat : 26786 (java) R 26783 26783 25083 0 -1 4202560 8053 0 0 0 1507 4 0 0 20 0 15 0 118042083 14320615424 67825 33554432000 4194304 4196468 140731074910960 140690139841552 140689727836688 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26787] ppid=26783 vsize=13984976 memory=6791534058613427641 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26787/stat : 26787 (java) S 26783 26783 25083 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 15 0 118042084 14320615424 67825 33554432000 4194304 4196468 140731074910960 140690050673680 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26788] ppid=26783 vsize=13984976 memory=271288 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26788/stat : 26788 (java) S 26783 26783 25083 0 -1 1077944384 51 0 0 0 2 2 0 0 20 0 15 0 118042084 14320615424 67825 33554432000 4194304 4196468 140731074910960 140690049621136 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26789] ppid=26783 vsize=13984976 memory=1224 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26789/stat : 26789 (java) S 26783 26783 25083 0 -1 1077944384 60 0 0 0 2 2 0 0 20 0 15 0 118042084 14320615424 67825 33554432000 4194304 4196468 140731074910960 140690048568080 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26790] ppid=26783 vsize=13984976 memory=12032 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26790/stat : 26790 (java) S 26783 26783 25083 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 15 0 118042084 14320615424 67825 33554432000 4194304 4196468 140731074910960 140690047515536 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26791] ppid=26783 vsize=13984976 memory=5792 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26791/stat : 26791 (java) S 26783 26783 25083 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 118042085 14320615424 67825 33554432000 4194304 4196468 140731074910960 140689474562288 140690135616130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26792] ppid=26783 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26792/stat : 26792 (java) S 26783 26783 25083 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118042085 14320615424 67825 33554432000 4194304 4196468 140731074910960 140689473508512 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26793] ppid=26783 vsize=13984976 memory=2408 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26793/stat : 26793 (java) S 26783 26783 25083 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 118042086 14320615424 67825 33554432000 4194304 4196468 140731074910960 140689472455408 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26794] ppid=26783 vsize=13984976 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26794/stat : 26794 (java) S 26783 26783 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118042088 14320615424 67825 33554432000 4194304 4196468 140731074910960 140689471403984 140690135623579 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26795] ppid=26783 vsize=13984976 memory=1224 CPUtime=0.53 cores=1,3,5,7
/proc/26785/task/26795/stat : 26795 (java) S 26783 26783 25083 0 -1 1077944384 3148 0 0 0 53 0 0 0 20 0 15 0 118042088 14320615424 67825 33554432000 4194304 4196468 140731074910960 140689470352112 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26796] ppid=26783 vsize=13984976 memory=12032 CPUtime=0.54 cores=1,3,5,7
/proc/26785/task/26796/stat : 26796 (java) S 26783 26783 25083 0 -1 1077944384 1821 0 0 0 54 0 0 0 20 0 15 0 118042088 14320615424 67825 33554432000 4194304 4196468 140731074910960 140689469299568 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26797] ppid=26783 vsize=13984976 memory=5792 CPUtime=0.33 cores=1,3,5,7
/proc/26785/task/26797/stat : 26797 (java) S 26783 26783 25083 0 -1 1077944384 1889 0 0 0 32 1 0 0 20 0 15 0 118042088 14320615424 67825 33554432000 4194304 4196468 140731074910960 140689468246512 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26798] ppid=26783 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26798/stat : 26798 (java) S 26783 26783 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118042088 14320615424 67825 33554432000 4194304 4196468 140731074910960 140689467194208 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26799] ppid=26783 vsize=13984976 memory=271288 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26799/stat : 26799 (java) S 26783 26783 25083 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 118042088 14320615424 67825 33554432000 4194304 4196468 140731074910960 140689466141232 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
Current children cumulated CPU time: 16.76 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 272684 KiB
[startup+15.4007 s]
/proc/loadavg: 2.25 2.07 2.06 3/217 26799
/proc/meminfo: memFree=21215676/32770624 swapFree=67108860/67108860
[pid=26783] ppid=26780 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/26783/stat : 26783 (xcsp3-exec) S 26780 26783 25083 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 118042082 9740288 346 33554432000 4194304 5098028 140730258467264 140730258465368 140290908045948 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 28315648 140730258474095 140730258474299 140730258474299 140730258477035 0
/proc/26783/statm: 2378 346 289 221 0 87 0
[pid=26785] ppid=26783 vsize=13984976 memory=271312 CPUtime=16.97 cores=1,3,5,7
/proc/26785/stat : 26785 (java) S 26783 26783 25083 0 -1 1077944320 16950 0 0 0 1680 17 0 0 20 0 15 0 118042083 14320615424 67828 33554432000 4194304 4196468 140731074910960 140731074893504 140690135604983 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
/proc/26785/statm: 3496244 67828 3226 1 0 3483478 0
[pid=26785/tid=26786] ppid=26783 vsize=13984976 memory=6656426216303648864 CPUtime=15.31 cores=1,3,5,7
/proc/26785/task/26786/stat : 26786 (java) R 26783 26783 25083 0 -1 4202560 8053 0 0 0 1527 4 0 0 20 0 15 0 118042083 14320615424 67828 33554432000 4194304 4196468 140731074910960 140690139842136 140689727836633 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26787] ppid=26783 vsize=13984976 memory=6944652177228980320 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26787/stat : 26787 (java) S 26783 26783 25083 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 15 0 118042084 14320615424 67828 33554432000 4194304 4196468 140731074910960 140690050673680 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26788] ppid=26783 vsize=13984976 memory=6944656592455359580 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26788/stat : 26788 (java) S 26783 26783 25083 0 -1 1077944384 51 0 0 0 2 2 0 0 20 0 15 0 118042084 14320615424 67828 33554432000 4194304 4196468 140731074910960 140690049621136 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26789] ppid=26783 vsize=13984976 memory=-8312670058677691234 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26789/stat : 26789 (java) S 26783 26783 25083 0 -1 1077944384 60 0 0 0 2 2 0 0 20 0 15 0 118042084 14320615424 67828 33554432000 4194304 4196468 140731074910960 140690048568080 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26790] ppid=26783 vsize=13984976 memory=3611940997157171249 CPUtime=0.04 cores=1,3,5,7
/proc/26785/task/26790/stat : 26790 (java) S 26783 26783 25083 0 -1 1077944384 49 0 0 0 2 2 0 0 20 0 15 0 118042084 14320615424 67828 33554432000 4194304 4196468 140731074910960 140690047515536 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26791] ppid=26783 vsize=13984976 memory=271292 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26791/stat : 26791 (java) S 26783 26783 25083 0 -1 1077944384 422 0 0 0 0 0 0 0 20 0 15 0 118042085 14320615424 67828 33554432000 4194304 4196468 140731074910960 140689474562288 140690135616130 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26792] ppid=26783 vsize=13984976 memory=271288 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26792/stat : 26792 (java) S 26783 26783 25083 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118042085 14320615424 67828 33554432000 4194304 4196468 140731074910960 140689473508512 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26793] ppid=26783 vsize=13984976 memory=6935054825532540783 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26793/stat : 26793 (java) S 26783 26783 25083 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 118042086 14320615424 67828 33554432000 4194304 4196468 140731074910960 140689472455408 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26794] ppid=26783 vsize=13984976 memory=14438657507 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26794/stat : 26794 (java) S 26783 26783 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118042088 14320615424 67828 33554432000 4194304 4196468 140731074910960 140689471403984 140690135623579 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26795] ppid=26783 vsize=13984976 memory=279302394898752 CPUtime=0.53 cores=1,3,5,7
/proc/26785/task/26795/stat : 26795 (java) S 26783 26783 25083 0 -1 1077944384 3173 0 0 0 53 0 0 0 20 0 15 0 118042088 14320615424 67828 33554432000 4194304 4196468 140731074910960 140689470352112 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26796] ppid=26783 vsize=13984976 memory=279302394749064 CPUtime=0.54 cores=1,3,5,7
/proc/26785/task/26796/stat : 26796 (java) S 26783 26783 25083 0 -1 1077944384 1821 0 0 0 54 0 0 0 20 0 15 0 118042088 14320615424 67828 33554432000 4194304 4196468 140731074910960 140689469299568 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26797] ppid=26783 vsize=13984976 memory=7302414590853144941 CPUtime=0.33 cores=1,3,5,7
/proc/26785/task/26797/stat : 26797 (java) S 26783 26783 25083 0 -1 1077944384 1889 0 0 0 32 1 0 0 20 0 15 0 118042088 14320615424 67828 33554432000 4194304 4196468 140731074910960 140689468246512 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26798] ppid=26783 vsize=13984976 memory=7236229500900889449 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26798/stat : 26798 (java) S 26783 26783 25083 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118042088 14320615424 67828 33554432000 4194304 4196468 140731074910960 140689467194208 140690135615189 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
[pid=26785/tid=26799] ppid=26783 vsize=13984976 memory=7518026630507422566 CPUtime=0 cores=1,3,5,7
/proc/26785/task/26799/stat : 26799 (java) S 26783 26783 25083 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 15 0 118042088 14320615424 67828 33554432000 4194304 4196468 140731074910960 140689466141232 140690135616130 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 28114944 140731074917527 140731074917703 140731074917703 140731074920399 0
Current children cumulated CPU time: 16.97 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 272696 KiB
Child status: 0
Real time (s): 15.4993
CPU time (s): 17.0883
CPU user time (s): 16.9029
CPU system time (s): 0.185373
CPU usage (%): 110.252
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 272696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.9029
system time used= 0.185373
maximum resident set size= 271808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18160
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= 1924
involuntary context switches= 19
# summary of solver processes directly reported to runsolver:
# pid: 26783
# total CPU time (s): 17.0883
# total CPU user time (s): 16.9029
# total CPU system time (s): 0.185373
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.122344 second user time and 0.179917 second system time
The end