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 (12153 MiB free)
memory of node 1: 16384 MiB (12331 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406228-1569408431/watcher-4406228-1569408431 -o /var/tmp/evaluation-result-4406228-1569408431/solver-4406228-1569408431 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1569408107-11225 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1638122691 HOME/instance-4406228-1569408431.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
Current StackSize limit: 8192 KiB
solver pid=11838, runsolver pid=11835
[startup+0.100724 s]*
/proc/loadavg: 2.00 1.64 1.48 4/229 11854
/proc/meminfo: memFree=25055568/32770624 swapFree=66974648/67108860
[pid=11838] ppid=11835 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11838/stat : 11838 (xcsp3-exec) S 11835 11838 8971 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516784946 115843072 364 33554432000 4194304 5098028 140727547590688 140727547588792 139994566894204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7483392 140727547597654 140727547597913 140727547597913 140727547600838 0
/proc/11838/statm: 28282 364 305 221 0 87 0
[pid=11840] ppid=11838 vsize=15144776 memory=29008 CPUtime=0.13 cores=1,3,5,7
/proc/11840/stat : 11840 (java) S 11838 11838 8971 0 -1 1077944320 5712 0 0 0 12 1 0 0 20 0 15 0 516784946 15508250624 7252 33554432000 4194304 4196468 140721839934720 140721839917264 140507653095159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
/proc/11840/statm: 3786194 7252 3149 1 0 3748377 0
[pid=11840/tid=11841] ppid=11838 vsize=15144776 memory=8252428994737482315 CPUtime=0.09 cores=1,3,5,7
/proc/11840/task/11841/stat : 11841 (java) R 11838 11838 8971 0 -1 4202560 3571 0 0 0 9 0 0 0 20 0 15 0 516784946 15508250624 7252 33554432000 4194304 4196468 140721839934720 140507657317216 140507653107094 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11842] ppid=11838 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11842/stat : 11842 (java) S 11838 11838 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516784947 15508250624 7252 33554432000 4194304 4196468 140721839934720 140507581136016 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11843] ppid=11838 vsize=15144776 memory=139905243141760 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11843/stat : 11843 (java) S 11838 11838 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516784947 15508250624 7252 33554432000 4194304 4196468 140721839934720 140507580083216 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11844] ppid=11838 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11844/stat : 11844 (java) S 11838 11838 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516784947 15508250624 7252 33554432000 4194304 4196468 140721839934720 140507579030416 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11845] ppid=11838 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11845/stat : 11845 (java) S 11838 11838 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516784947 15508250624 7252 33554432000 4194304 4196468 140721839934720 140507577977616 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11846] ppid=11838 vsize=15144776 memory=139905243141760 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11846/stat : 11846 (java) S 11838 11838 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516784948 15508250624 7252 33554432000 4194304 4196468 140721839934720 140506795719024 140507653106306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11847] ppid=11838 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11847/stat : 11847 (java) S 11838 11838 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516784949 15508250624 7252 33554432000 4194304 4196468 140721839934720 140506794664992 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11848] ppid=11838 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11848/stat : 11848 (java) S 11838 11838 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516784949 15508250624 7252 33554432000 4194304 4196468 140721839934720 140506793612144 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11849] ppid=11838 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11849/stat : 11849 (java) S 11838 11838 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516784951 15508250624 7252 33554432000 4194304 4196468 140721839934720 140506792560464 140507653113755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11850] ppid=11838 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11850/stat : 11850 (java) S 11838 11838 8971 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 15 0 516784951 15508250624 7252 33554432000 4194304 4196468 140721839934720 140506791508848 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11851] ppid=11838 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11851/stat : 11851 (java) S 11838 11838 8971 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 516784951 15508250624 7252 33554432000 4194304 4196468 140721839934720 140506790456048 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11852] ppid=11838 vsize=15144776 memory=139905243141760 CPUtime=0.02 cores=1,3,5,7
/proc/11840/task/11852/stat : 11852 (java) R 11838 11838 8971 0 -1 4202560 371 0 0 0 2 0 0 0 20 0 15 0 516784951 15508250624 7252 33554432000 4194304 4196468 140721839934720 140506789403248 140507637175646 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11853] ppid=11838 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11853/stat : 11853 (java) S 11838 11838 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516784952 15508250624 7252 33554432000 4194304 4196468 140721839934720 140506788350688 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11854] ppid=11838 vsize=15144776 memory=139905243141760 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11854/stat : 11854 (java) S 11838 11838 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516784952 15508250624 7252 33554432000 4194304 4196468 140721839934720 140506787297968 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30464 KiB
[startup+0.210927 s]*
/proc/loadavg: 2.00 1.64 1.48 4/229 11854
/proc/meminfo: memFree=25041956/32770624 swapFree=66974648/67108860
[pid=11838] ppid=11835 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11838/stat : 11838 (xcsp3-exec) S 11835 11838 8971 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516784946 115843072 364 33554432000 4194304 5098028 140727547590688 140727547588792 139994566894204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7483392 140727547597654 140727547597913 140727547597913 140727547600838 0
/proc/11838/statm: 28282 364 305 221 0 87 0
[pid=11840] ppid=11838 vsize=15144776 memory=40896 CPUtime=0.34 cores=1,3,5,7
/proc/11840/stat : 11840 (java) S 11838 11838 8971 0 -1 1077944320 9476 0 0 0 31 3 0 0 20 0 15 0 516784946 15508250624 10224 33554432000 4194304 4196468 140721839934720 140721839917264 140507653095159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
/proc/11840/statm: 3786194 10224 3303 1 0 3748377 0
[pid=11840/tid=11841] ppid=11838 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/11840/task/11841/stat : 11841 (java) R 11838 11838 8971 0 -1 4202560 6605 0 0 0 18 2 0 0 20 0 15 0 516784946 15508250624 10224 33554432000 4194304 4196468 140721839934720 140507657332976 140507645773173 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11842] ppid=11838 vsize=15144776 memory=13657 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11842/stat : 11842 (java) S 11838 11838 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516784947 15508250624 10224 33554432000 4194304 4196468 140721839934720 140507581136016 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11843] ppid=11838 vsize=15144776 memory=288370281394853504 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11843/stat : 11843 (java) S 11838 11838 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516784947 15508250624 10224 33554432000 4194304 4196468 140721839934720 140507580083216 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11844] ppid=11838 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11844/stat : 11844 (java) S 11838 11838 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516784947 15508250624 10224 33554432000 4194304 4196468 140721839934720 140507579030416 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11845] ppid=11838 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11845/stat : 11845 (java) S 11838 11838 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516784947 15508250624 10224 33554432000 4194304 4196468 140721839934720 140507577977616 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11846] ppid=11838 vsize=15144776 memory=139905243141760 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11846/stat : 11846 (java) S 11838 11838 8971 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516784948 15508250624 10224 33554432000 4194304 4196468 140721839934720 140506795719024 140507653106306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11847] ppid=11838 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11847/stat : 11847 (java) S 11838 11838 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516784949 15508250624 10224 33554432000 4194304 4196468 140721839934720 140506794664992 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11848] ppid=11838 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11848/stat : 11848 (java) S 11838 11838 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516784949 15508250624 10224 33554432000 4194304 4196468 140721839934720 140506793612144 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11849] ppid=11838 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11849/stat : 11849 (java) S 11838 11838 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516784951 15508250624 10224 33554432000 4194304 4196468 140721839934720 140506792560464 140507653113755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11850] ppid=11838 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11840/task/11850/stat : 11850 (java) S 11838 11838 8971 0 -1 1077944384 570 0 0 0 3 0 0 0 20 0 15 0 516784951 15508250624 10224 33554432000 4194304 4196468 140721839934720 140506791508848 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11851] ppid=11838 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/11840/task/11851/stat : 11851 (java) S 11838 11838 8971 0 -1 1077944384 217 0 0 0 2 0 0 0 20 0 15 0 516784951 15508250624 10224 33554432000 4194304 4196468 140721839934720 140506790456048 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11852] ppid=11838 vsize=15144776 memory=139905243141760 CPUtime=0.08 cores=1,3,5,7
/proc/11840/task/11852/stat : 11852 (java) S 11838 11838 8971 0 -1 1077944384 779 0 0 0 8 0 0 0 20 0 15 0 516784951 15508250624 10224 33554432000 4194304 4196468 140721839934720 140506789403248 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11853] ppid=11838 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11853/stat : 11853 (java) S 11838 11838 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516784952 15508250624 10224 33554432000 4194304 4196468 140721839934720 140506788350688 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11854] ppid=11838 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11854/stat : 11854 (java) S 11838 11838 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516784952 15508250624 10224 33554432000 4194304 4196468 140721839934720 140506787297968 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42352 KiB
[startup+0.32141 s]*
/proc/loadavg: 2.00 1.64 1.48 3/229 11854
/proc/meminfo: memFree=25035036/32770624 swapFree=66974648/67108860
[pid=11838] ppid=11835 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11838/stat : 11838 (xcsp3-exec) S 11835 11838 8971 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516784946 115843072 364 33554432000 4194304 5098028 140727547590688 140727547588792 139994566894204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7483392 140727547597654 140727547597913 140727547597913 140727547600838 0
/proc/11838/statm: 28282 364 305 221 0 87 0
[pid=11840] ppid=11838 vsize=15149032 memory=50712 CPUtime=0.54 cores=1,3,5,7
/proc/11840/stat : 11840 (java) S 11838 11838 8971 0 -1 1077944320 10985 0 0 0 50 4 0 0 20 0 15 0 516784946 15512608768 12678 33554432000 4194304 4196468 140721839934720 140721839917264 140507653095159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
/proc/11840/statm: 3787258 12678 3359 1 0 3748377 0
[pid=11840/tid=11841] ppid=11838 vsize=15149032 memory=1398722017469774279 CPUtime=0.31 cores=1,3,5,7
/proc/11840/task/11841/stat : 11841 (java) R 11838 11838 8971 0 -1 4202560 7907 0 0 0 28 3 0 0 20 0 15 0 516784946 15512608768 12678 33554432000 4194304 4196468 140721839934720 140507657330368 140507637175646 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11842] ppid=11838 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11842/stat : 11842 (java) S 11838 11838 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516784947 15512608768 12678 33554432000 4194304 4196468 140721839934720 140507581136016 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11843] ppid=11838 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11843/stat : 11843 (java) S 11838 11838 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516784947 15512608768 12678 33554432000 4194304 4196468 140721839934720 140507580083216 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11844] ppid=11838 vsize=15149032 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11844/stat : 11844 (java) S 11838 11838 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516784947 15512608768 12678 33554432000 4194304 4196468 140721839934720 140507579030416 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11845] ppid=11838 vsize=15149032 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11845/stat : 11845 (java) S 11838 11838 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516784947 15512608768 12678 33554432000 4194304 4196468 140721839934720 140507577977616 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11846] ppid=11838 vsize=15149032 memory=6933954179156714387 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11846/stat : 11846 (java) S 11838 11838 8971 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516784948 15512608768 12678 33554432000 4194304 4196468 140721839934720 140506795719024 140507653106306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11847] ppid=11838 vsize=15149032 memory=-7533229591079788448 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11847/stat : 11847 (java) S 11838 11838 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516784949 15512608768 12678 33554432000 4194304 4196468 140721839934720 140506794664992 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11848] ppid=11838 vsize=15149032 memory=4498404016631593313 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11848/stat : 11848 (java) S 11838 11838 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516784949 15512608768 12678 33554432000 4194304 4196468 140721839934720 140506793612144 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11849] ppid=11838 vsize=15149032 memory=-6519613052471072158 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11849/stat : 11849 (java) S 11838 11838 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516784951 15512608768 12678 33554432000 4194304 4196468 140721839934720 140506792560464 140507653113755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11850] ppid=11838 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/11840/task/11850/stat : 11850 (java) S 11838 11838 8971 0 -1 1077944384 674 0 0 0 5 0 0 0 20 0 15 0 516784951 15512608768 12678 33554432000 4194304 4196468 140721839934720 140506791508848 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11851] ppid=11838 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11840/task/11851/stat : 11851 (java) S 11838 11838 8971 0 -1 1077944384 234 0 0 0 3 0 0 0 20 0 15 0 516784951 15512608768 12678 33554432000 4194304 4196468 140721839934720 140506790456048 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11852] ppid=11838 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/11840/task/11852/stat : 11852 (java) S 11838 11838 8971 0 -1 1077944384 872 0 0 0 12 0 0 0 20 0 15 0 516784951 15512608768 12678 33554432000 4194304 4196468 140721839934720 140506789403248 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11853] ppid=11838 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11853/stat : 11853 (java) S 11838 11838 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516784952 15512608768 12678 33554432000 4194304 4196468 140721839934720 140506788350688 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11854] ppid=11838 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11854/stat : 11854 (java) S 11838 11838 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516784952 15512608768 12678 33554432000 4194304 4196468 140721839934720 140506787297968 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52168 KiB
[startup+0.701456 s]
/proc/loadavg: 2.00 1.64 1.48 5/229 11854
/proc/meminfo: memFree=25022880/32770624 swapFree=66974648/67108860
[pid=11838] ppid=11835 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11838/stat : 11838 (xcsp3-exec) S 11835 11838 8971 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516784946 115843072 364 33554432000 4194304 5098028 140727547590688 140727547588792 139994566894204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7483392 140727547597654 140727547597913 140727547597913 140727547600838 0
/proc/11838/statm: 28282 364 305 221 0 87 0
[pid=11840] ppid=11838 vsize=15151156 memory=76696 CPUtime=1.61 cores=1,3,5,7
/proc/11840/stat : 11840 (java) S 11838 11838 8971 0 -1 1077944320 16459 0 0 0 155 6 0 0 20 0 15 0 516784946 15514783744 19174 33554432000 4194304 4196468 140721839934720 140721839917264 140507653095159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
/proc/11840/statm: 3787789 19174 3458 1 0 3748889 0
[pid=11840/tid=11841] ppid=11838 vsize=15151156 memory=1791873778945 CPUtime=0.68 cores=1,3,5,7
/proc/11840/task/11841/stat : 11841 (java) R 11838 11838 8971 0 -1 4202560 9007 0 0 0 64 4 0 0 20 0 15 0 516784946 15514783744 19174 33554432000 4194304 4196468 140721839934720 140507657330512 140507257966493 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11842] ppid=11838 vsize=15151156 memory=3472328296227679313 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11842/stat : 11842 (java) S 11838 11838 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516784947 15514783744 19174 33554432000 4194304 4196468 140721839934720 140507581136016 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11843] ppid=11838 vsize=15151156 memory=-7604262568725289114 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11843/stat : 11843 (java) S 11838 11838 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516784947 15514783744 19174 33554432000 4194304 4196468 140721839934720 140507580083216 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11844] ppid=11838 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11844/stat : 11844 (java) S 11838 11838 8971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516784947 15514783744 19174 33554432000 4194304 4196468 140721839934720 140507579030416 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11845] ppid=11838 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11845/stat : 11845 (java) S 11838 11838 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516784947 15514783744 19174 33554432000 4194304 4196468 140721839934720 140507577977616 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11846] ppid=11838 vsize=15151156 memory=55356 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11846/stat : 11846 (java) S 11838 11838 8971 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516784948 15514783744 19174 33554432000 4194304 4196468 140721839934720 140506795719024 140507653106306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11847] ppid=11838 vsize=15151156 memory=992 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11847/stat : 11847 (java) S 11838 11838 8971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516784949 15514783744 19174 33554432000 4194304 4196468 140721839934720 140506794664992 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11848] ppid=11838 vsize=15151156 memory=2044 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11848/stat : 11848 (java) S 11838 11838 8971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516784949 15514783744 19174 33554432000 4194304 4196468 140721839934720 140506793612144 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11849] ppid=11838 vsize=15151156 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11849/stat : 11849 (java) S 11838 11838 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516784951 15514783744 19174 33554432000 4194304 4196468 140721839934720 140506792560464 140507653113755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11850] ppid=11838 vsize=15151156 memory=11624 CPUtime=0.32 cores=1,3,5,7
/proc/11840/task/11850/stat : 11850 (java) R 11838 11838 8971 0 -1 4202560 2132 0 0 0 32 0 0 0 20 0 15 0 516784951 15514783744 19174 33554432000 4194304 4196468 140721839934720 140506791489864 140507636581175 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11851] ppid=11838 vsize=15151156 memory=740 CPUtime=0.33 cores=1,3,5,7
/proc/11840/task/11851/stat : 11851 (java) R 11838 11838 8971 0 -1 4202560 2568 0 0 0 33 0 0 0 20 0 15 0 516784951 15514783744 19174 33554432000 4194304 4196468 140721839934720 140506790437064 140507634270999 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11852] ppid=11838 vsize=15151156 memory=1056 CPUtime=0.25 cores=1,3,5,7
/proc/11840/task/11852/stat : 11852 (java) S 11838 11838 8971 0 -1 1077944384 1441 0 0 0 25 0 0 0 20 0 15 0 516784951 15514783744 19174 33554432000 4194304 4196468 140721839934720 140506789403248 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11853] ppid=11838 vsize=15151156 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11853/stat : 11853 (java) S 11838 11838 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516784952 15514783744 19174 33554432000 4194304 4196468 140721839934720 140506788350688 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11854] ppid=11838 vsize=15151156 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11854/stat : 11854 (java) S 11838 11838 8971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516784952 15514783744 19174 33554432000 4194304 4196468 140721839934720 140506787297968 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 78152 KiB
[startup+1.50085 s]
/proc/loadavg: 2.00 1.64 1.48 5/229 11854
/proc/meminfo: memFree=24987356/32770624 swapFree=66974648/67108860
[pid=11838] ppid=11835 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11838/stat : 11838 (xcsp3-exec) S 11835 11838 8971 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516784946 115843072 364 33554432000 4194304 5098028 140727547590688 140727547588792 139994566894204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7483392 140727547597654 140727547597913 140727547597913 140727547600838 0
/proc/11838/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/11838/stat : 11838 (xcsp3-exec) S 11835 11838 8971 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516784946 115843072 364 33554432000 4194304 5098028 140727547590688 140727547588792 139994566894204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7483392 140727547597654 140727547597913 140727547597913 140727547600838 0
/proc/11838/statm: 28282 364 305 221 0 87 0
[pid=11840] ppid=11838 vsize=15151156 memory=464900 CPUtime=1650.19 cores=1,3,5,7
/proc/11840/stat : 11840 (java) S 11838 11838 8971 0 -1 1077944320 105383 0 0 0 164848 171 0 0 20 0 15 0 516784946 15514783744 116225 33554432000 4194304 4196468 140721839934720 140721839917264 140507653095159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
/proc/11840/statm: 3787789 116225 3517 1 0 3748889 0
[pid=11840/tid=11841] ppid=11838 vsize=15151156 memory=1424 CPUtime=1623.39 cores=1,3,5,7
/proc/11840/task/11841/stat : 11841 (java) R 11838 11838 8971 0 -1 4202560 41552 0 0 0 162300 39 0 0 20 0 15 0 516784946 15514783744 116225 33554432000 4194304 4196468 140721839934720 140507657334528 140507259008610 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11842] ppid=11838 vsize=15151156 memory=11624 CPUtime=5.37 cores=1,3,5,7
/proc/11840/task/11842/stat : 11842 (java) S 11838 11838 8971 0 -1 1077944384 6680 0 0 0 517 20 0 0 20 0 15 0 516784947 15514783744 116225 33554432000 4194304 4196468 140721839934720 140507581136016 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11843] ppid=11838 vsize=15151156 memory=740 CPUtime=5.4 cores=1,3,5,7
/proc/11840/task/11843/stat : 11843 (java) S 11838 11838 8971 0 -1 1077944384 7622 0 0 0 519 21 0 0 20 0 15 0 516784947 15514783744 116225 33554432000 4194304 4196468 140721839934720 140507580083216 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11844] ppid=11838 vsize=15151156 memory=4872558044660077418 CPUtime=5.41 cores=1,3,5,7
/proc/11840/task/11844/stat : 11844 (java) S 11838 11838 8971 0 -1 1077944384 9324 0 0 0 520 21 0 0 20 0 15 0 516784947 15514783744 116225 33554432000 4194304 4196468 140721839934720 140507579030416 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11845] ppid=11838 vsize=15151156 memory=464900 CPUtime=5.41 cores=1,3,5,7
/proc/11840/task/11845/stat : 11845 (java) S 11838 11838 8971 0 -1 1077944384 7048 0 0 0 520 21 0 0 20 0 15 0 516784947 15514783744 116225 33554432000 4194304 4196468 140721839934720 140507577977616 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11846] ppid=11838 vsize=15151156 memory=1556 CPUtime=2.14 cores=1,3,5,7
/proc/11840/task/11846/stat : 11846 (java) S 11838 11838 8971 0 -1 1077944384 8501 0 0 0 189 25 0 0 20 0 15 0 516784948 15514783744 116225 33554432000 4194304 4196468 140721839934720 140506795719024 140507653106306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11847] ppid=11838 vsize=15151156 memory=924 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11847/stat : 11847 (java) S 11838 11838 8971 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 516784949 15514783744 116225 33554432000 4194304 4196468 140721839934720 140506794665056 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11848] ppid=11838 vsize=15151156 memory=1672 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11848/stat : 11848 (java) S 11838 11838 8971 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 516784949 15514783744 116225 33554432000 4194304 4196468 140721839934720 140506793612160 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11849] ppid=11838 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11849/stat : 11849 (java) S 11838 11838 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516784951 15514783744 116225 33554432000 4194304 4196468 140721839934720 140506792560464 140507653113755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11850] ppid=11838 vsize=15151156 memory=1436 CPUtime=0.96 cores=1,3,5,7
/proc/11840/task/11850/stat : 11850 (java) S 11838 11838 8971 0 -1 1077944384 8483 0 0 0 95 1 0 0 20 0 15 0 516784951 15514783744 116225 33554432000 4194304 4196468 140721839934720 140506791508848 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11851] ppid=11838 vsize=15151156 memory=1456 CPUtime=0.99 cores=1,3,5,7
/proc/11840/task/11851/stat : 11851 (java) S 11838 11838 8971 0 -1 1077944384 10223 0 0 0 98 1 0 0 20 0 15 0 516784951 15514783744 116225 33554432000 4194304 4196468 140721839934720 140506790456048 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11852] ppid=11838 vsize=15151156 memory=1456 CPUtime=0.33 cores=1,3,5,7
/proc/11840/task/11852/stat : 11852 (java) S 11838 11838 8971 0 -1 1077944384 3498 0 0 0 32 1 0 0 20 0 15 0 516784951 15514783744 116225 33554432000 4194304 4196468 140721839934720 140506789403248 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11853] ppid=11838 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11853/stat : 11853 (java) S 11838 11838 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516784952 15514783744 116225 33554432000 4194304 4196468 140721839934720 140506788350688 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11854] ppid=11838 vsize=15151156 memory=465412 CPUtime=0.68 cores=1,3,5,7
/proc/11840/task/11854/stat : 11854 (java) S 11838 11838 8971 0 -1 1077944384 1050 0 0 0 30 38 0 0 20 0 15 0 516784952 15514783744 116225 33554432000 4194304 4196468 140721839934720 140506787297968 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
Current children cumulated CPU time: 1650.19 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 466356 KiB
[startup+1632.8 s]
/proc/loadavg: 1.31 1.49 1.58 3/232 12265
/proc/meminfo: memFree=24709636/32770624 swapFree=66974660/67108860
[pid=11838] ppid=11835 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11838/stat : 11838 (xcsp3-exec) S 11835 11838 8971 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516784946 115843072 364 33554432000 4194304 5098028 140727547590688 140727547588792 139994566894204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7483392 140727547597654 140727547597913 140727547597913 140727547600838 0
/proc/11838/statm: 28282 364 305 221 0 87 0
[pid=11840] ppid=11838 vsize=15151156 memory=464384 CPUtime=1650.99 cores=1,3,5,7
/proc/11840/stat : 11840 (java) S 11838 11838 8971 0 -1 1077944320 105385 0 0 0 164928 171 0 0 20 0 15 0 516784946 15514783744 116096 33554432000 4194304 4196468 140721839934720 140721839917264 140507653095159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
/proc/11840/statm: 3787789 116096 3517 1 0 3748889 0
[pid=11840/tid=11841] ppid=11838 vsize=15151156 memory=1984 CPUtime=1624.18 cores=1,3,5,7
/proc/11840/task/11841/stat : 11841 (java) R 11838 11838 8971 0 -1 4202560 41554 0 0 0 162379 39 0 0 20 0 15 0 516784946 15514783744 116096 33554432000 4194304 4196468 140721839934720 140507657334416 140507258692919 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11842] ppid=11838 vsize=15151156 memory=2424 CPUtime=5.37 cores=1,3,5,7
/proc/11840/task/11842/stat : 11842 (java) S 11838 11838 8971 0 -1 1077944384 6680 0 0 0 517 20 0 0 20 0 15 0 516784947 15514783744 116096 33554432000 4194304 4196468 140721839934720 140507581136016 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11843] ppid=11838 vsize=15151156 memory=1456 CPUtime=5.4 cores=1,3,5,7
/proc/11840/task/11843/stat : 11843 (java) S 11838 11838 8971 0 -1 1077944384 7622 0 0 0 519 21 0 0 20 0 15 0 516784947 15514783744 116096 33554432000 4194304 4196468 140721839934720 140507580083216 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11844] ppid=11838 vsize=15151156 memory=464384 CPUtime=5.41 cores=1,3,5,7
/proc/11840/task/11844/stat : 11844 (java) S 11838 11838 8971 0 -1 1077944384 9324 0 0 0 520 21 0 0 20 0 15 0 516784947 15514783744 116096 33554432000 4194304 4196468 140721839934720 140507579030416 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11845] ppid=11838 vsize=15151156 memory=465924 CPUtime=5.41 cores=1,3,5,7
/proc/11840/task/11845/stat : 11845 (java) S 11838 11838 8971 0 -1 1077944384 7048 0 0 0 520 21 0 0 20 0 15 0 516784947 15514783744 116096 33554432000 4194304 4196468 140721839934720 140507577977616 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11846] ppid=11838 vsize=15151156 memory=1764 CPUtime=2.15 cores=1,3,5,7
/proc/11840/task/11846/stat : 11846 (java) S 11838 11838 8971 0 -1 1077944384 8501 0 0 0 190 25 0 0 20 0 15 0 516784948 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506795719024 140507653106306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11847] ppid=11838 vsize=15151156 memory=111636 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11847/stat : 11847 (java) S 11838 11838 8971 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 516784949 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506794665056 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11848] ppid=11838 vsize=15151156 memory=3612 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11848/stat : 11848 (java) S 11838 11838 8971 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 516784949 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506793612160 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11849] ppid=11838 vsize=15151156 memory=55416 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11849/stat : 11849 (java) S 11838 11838 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516784951 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506792560464 140507653113755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11850] ppid=11838 vsize=15151156 memory=992 CPUtime=0.96 cores=1,3,5,7
/proc/11840/task/11850/stat : 11850 (java) S 11838 11838 8971 0 -1 1077944384 8483 0 0 0 95 1 0 0 20 0 15 0 516784951 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506791508848 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11851] ppid=11838 vsize=15151156 memory=2044 CPUtime=0.99 cores=1,3,5,7
/proc/11840/task/11851/stat : 11851 (java) S 11838 11838 8971 0 -1 1077944384 10223 0 0 0 98 1 0 0 20 0 15 0 516784951 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506790456048 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11852] ppid=11838 vsize=15151156 memory=1424 CPUtime=0.33 cores=1,3,5,7
/proc/11840/task/11852/stat : 11852 (java) S 11838 11838 8971 0 -1 1077944384 3498 0 0 0 32 1 0 0 20 0 15 0 516784951 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506789403248 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11853] ppid=11838 vsize=15151156 memory=11624 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11853/stat : 11853 (java) S 11838 11838 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516784952 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506788350688 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11854] ppid=11838 vsize=15151156 memory=465412 CPUtime=0.68 cores=1,3,5,7
/proc/11840/task/11854/stat : 11854 (java) S 11838 11838 8971 0 -1 1077944384 1050 0 0 0 30 38 0 0 20 0 15 0 516784952 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506787297968 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
Current children cumulated CPU time: 1650.99 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 465840 KiB
[startup+1633.2 s]
/proc/loadavg: 1.31 1.49 1.58 3/232 12265
/proc/meminfo: memFree=24710156/32770624 swapFree=66974660/67108860
[pid=11838] ppid=11835 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11838/stat : 11838 (xcsp3-exec) S 11835 11838 8971 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516784946 115843072 364 33554432000 4194304 5098028 140727547590688 140727547588792 139994566894204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7483392 140727547597654 140727547597913 140727547597913 140727547600838 0
/proc/11838/statm: 28282 364 305 221 0 87 0
[pid=11840] ppid=11838 vsize=15151156 memory=464384 CPUtime=1651.39 cores=1,3,5,7
/proc/11840/stat : 11840 (java) S 11838 11838 8971 0 -1 1077944320 105385 0 0 0 164968 171 0 0 20 0 15 0 516784946 15514783744 116096 33554432000 4194304 4196468 140721839934720 140721839917264 140507653095159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
/proc/11840/statm: 3787789 116096 3517 1 0 3748889 0
[pid=11840/tid=11841] ppid=11838 vsize=15151156 memory=6791534058613427641 CPUtime=1624.58 cores=1,3,5,7
/proc/11840/task/11841/stat : 11841 (java) R 11838 11838 8971 0 -1 4202560 41554 0 0 0 162419 39 0 0 20 0 15 0 516784946 15514783744 116096 33554432000 4194304 4196468 140721839934720 140507657334416 140507258087421 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11842] ppid=11838 vsize=15151156 memory=288230621803970871 CPUtime=5.37 cores=1,3,5,7
/proc/11840/task/11842/stat : 11842 (java) S 11838 11838 8971 0 -1 1077944384 6680 0 0 0 517 20 0 0 20 0 15 0 516784947 15514783744 116096 33554432000 4194304 4196468 140721839934720 140507581136016 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11843] ppid=11838 vsize=15151156 memory=15534115864709562 CPUtime=5.4 cores=1,3,5,7
/proc/11840/task/11843/stat : 11843 (java) S 11838 11838 8971 0 -1 1077944384 7622 0 0 0 519 21 0 0 20 0 15 0 516784947 15514783744 116096 33554432000 4194304 4196468 140721839934720 140507580083216 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11844] ppid=11838 vsize=15151156 memory=1456 CPUtime=5.41 cores=1,3,5,7
/proc/11840/task/11844/stat : 11844 (java) S 11838 11838 8971 0 -1 1077944384 9324 0 0 0 520 21 0 0 20 0 15 0 516784947 15514783744 116096 33554432000 4194304 4196468 140721839934720 140507579030416 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11845] ppid=11838 vsize=15151156 memory=1456 CPUtime=5.41 cores=1,3,5,7
/proc/11840/task/11845/stat : 11845 (java) S 11838 11838 8971 0 -1 1077944384 7048 0 0 0 520 21 0 0 20 0 15 0 516784947 15514783744 116096 33554432000 4194304 4196468 140721839934720 140507577977616 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11846] ppid=11838 vsize=15151156 memory=465412 CPUtime=2.15 cores=1,3,5,7
/proc/11840/task/11846/stat : 11846 (java) S 11838 11838 8971 0 -1 1077944384 8501 0 0 0 190 25 0 0 20 0 15 0 516784948 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506795719024 140507653106306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11847] ppid=11838 vsize=15151156 memory=3644 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11847/stat : 11847 (java) S 11838 11838 8971 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 516784949 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506794665056 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11848] ppid=11838 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11848/stat : 11848 (java) S 11838 11838 8971 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 516784949 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506793612160 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11849] ppid=11838 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11849/stat : 11849 (java) S 11838 11838 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516784951 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506792560464 140507653113755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11850] ppid=11838 vsize=15151156 memory=3848 CPUtime=0.96 cores=1,3,5,7
/proc/11840/task/11850/stat : 11850 (java) S 11838 11838 8971 0 -1 1077944384 8483 0 0 0 95 1 0 0 20 0 15 0 516784951 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506791508848 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11851] ppid=11838 vsize=15151156 memory=1456 CPUtime=0.99 cores=1,3,5,7
/proc/11840/task/11851/stat : 11851 (java) S 11838 11838 8971 0 -1 1077944384 10223 0 0 0 98 1 0 0 20 0 15 0 516784951 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506790456048 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11852] ppid=11838 vsize=15151156 memory=465924 CPUtime=0.33 cores=1,3,5,7
/proc/11840/task/11852/stat : 11852 (java) S 11838 11838 8971 0 -1 1077944384 3498 0 0 0 32 1 0 0 20 0 15 0 516784951 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506789403248 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11853] ppid=11838 vsize=15151156 memory=467464 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11853/stat : 11853 (java) S 11838 11838 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516784952 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506788350688 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11854] ppid=11838 vsize=15151156 memory=467464 CPUtime=0.68 cores=1,3,5,7
/proc/11840/task/11854/stat : 11854 (java) S 11838 11838 8971 0 -1 1077944384 1050 0 0 0 30 38 0 0 20 0 15 0 516784952 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506787297968 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
Current children cumulated CPU time: 1651.39 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 465840 KiB
[startup+1633.4 s]
/proc/loadavg: 1.31 1.49 1.58 3/232 12265
/proc/meminfo: memFree=24710156/32770624 swapFree=66974660/67108860
[pid=11838] ppid=11835 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11838/stat : 11838 (xcsp3-exec) S 11835 11838 8971 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516784946 115843072 364 33554432000 4194304 5098028 140727547590688 140727547588792 139994566894204 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 7483392 140727547597654 140727547597913 140727547597913 140727547600838 0
/proc/11838/statm: 28282 364 305 221 0 87 0
[pid=11840] ppid=11838 vsize=15151156 memory=464384 CPUtime=1651.59 cores=1,3,5,7
/proc/11840/stat : 11840 (java) S 11838 11838 8971 0 -1 1077944320 105385 0 0 0 164988 171 0 0 20 0 15 0 516784946 15514783744 116096 33554432000 4194304 4196468 140721839934720 140721839917264 140507653095159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
/proc/11840/statm: 3787789 116096 3517 1 0 3748889 0
[pid=11840/tid=11841] ppid=11838 vsize=15151156 memory=15534115864709562 CPUtime=1624.78 cores=1,3,5,7
/proc/11840/task/11841/stat : 11841 (java) R 11838 11838 8971 0 -1 4202560 41554 0 0 0 162439 39 0 0 20 0 15 0 516784946 15514783744 116096 33554432000 4194304 4196468 140721839934720 140507657334416 140507258618426 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11842] ppid=11838 vsize=15151156 memory=3848 CPUtime=5.37 cores=1,3,5,7
/proc/11840/task/11842/stat : 11842 (java) S 11838 11838 8971 0 -1 1077944384 6680 0 0 0 517 20 0 0 20 0 15 0 516784947 15514783744 116096 33554432000 4194304 4196468 140721839934720 140507581136016 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11843] ppid=11838 vsize=15151156 memory=4096 CPUtime=5.4 cores=1,3,5,7
/proc/11840/task/11843/stat : 11843 (java) S 11838 11838 8971 0 -1 1077944384 7622 0 0 0 519 21 0 0 20 0 15 0 516784947 15514783744 116096 33554432000 4194304 4196468 140721839934720 140507580083216 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11844] ppid=11838 vsize=15151156 memory=2852 CPUtime=5.41 cores=1,3,5,7
/proc/11840/task/11844/stat : 11844 (java) S 11838 11838 8971 0 -1 1077944384 9324 0 0 0 520 21 0 0 20 0 15 0 516784947 15514783744 116096 33554432000 4194304 4196468 140721839934720 140507579030416 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11845] ppid=11838 vsize=15151156 memory=2588 CPUtime=5.41 cores=1,3,5,7
/proc/11840/task/11845/stat : 11845 (java) S 11838 11838 8971 0 -1 1077944384 7048 0 0 0 520 21 0 0 20 0 15 0 516784947 15514783744 116096 33554432000 4194304 4196468 140721839934720 140507577977616 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11846] ppid=11838 vsize=15151156 memory=1408 CPUtime=2.15 cores=1,3,5,7
/proc/11840/task/11846/stat : 11846 (java) S 11838 11838 8971 0 -1 1077944384 8501 0 0 0 190 25 0 0 20 0 15 0 516784948 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506795719024 140507653106306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11847] ppid=11838 vsize=15151156 memory=3232 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11847/stat : 11847 (java) S 11838 11838 8971 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 516784949 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506794665056 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11848] ppid=11838 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11848/stat : 11848 (java) S 11838 11838 8971 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 15 0 516784949 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506793612160 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11849] ppid=11838 vsize=15151156 memory=465412 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11849/stat : 11849 (java) S 11838 11838 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516784951 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506792560464 140507653113755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11850] ppid=11838 vsize=15151156 memory=1408 CPUtime=0.96 cores=1,3,5,7
/proc/11840/task/11850/stat : 11850 (java) S 11838 11838 8971 0 -1 1077944384 8483 0 0 0 95 1 0 0 20 0 15 0 516784951 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506791508848 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11851] ppid=11838 vsize=15151156 memory=3120 CPUtime=0.99 cores=1,3,5,7
/proc/11840/task/11851/stat : 11851 (java) S 11838 11838 8971 0 -1 1077944384 10223 0 0 0 98 1 0 0 20 0 15 0 516784951 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506790456048 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11852] ppid=11838 vsize=15151156 memory=1452 CPUtime=0.33 cores=1,3,5,7
/proc/11840/task/11852/stat : 11852 (java) S 11838 11838 8971 0 -1 1077944384 3498 0 0 0 32 1 0 0 20 0 15 0 516784951 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506789403248 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11853] ppid=11838 vsize=15151156 memory=8514701219730522529 CPUtime=0 cores=1,3,5,7
/proc/11840/task/11853/stat : 11853 (java) S 11838 11838 8971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516784952 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506788350688 140507653105365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
[pid=11840/tid=11854] ppid=11838 vsize=15151156 memory=135960 CPUtime=0.68 cores=1,3,5,7
/proc/11840/task/11854/stat : 11854 (java) S 11838 11838 8971 0 -1 1077944384 1050 0 0 0 30 38 0 0 20 0 15 0 516784952 15514783744 116096 33554432000 4194304 4196468 140721839934720 140506787297968 140507653106306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38490112 140721839936475 140721839936650 140721839936650 140721839939535 0
Current children cumulated CPU time: 1651.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 465840 KiB
Child status: 0
Real time (s): 1633.43
CPU time (s): 1651.62
CPU user time (s): 1649.9
CPU system time (s): 1.72181
CPU usage (%): 101.114
Max. virtual memory (cumulated for all children) (KiB): 15266412
Max. memory (cumulated for all children) (KiB): 1417332
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1649.9
system time used= 1.72181
maximum resident set size= 1423044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106227
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 90408
involuntary context switches= 2327
# summary of solver processes directly reported to runsolver:
# pid: 11838
# total CPU time (s): 1651.62
# total CPU user time (s): 1649.9
# total CPU system time (s): 1.72181
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1415 second user time and 15.1056 second system time
The end