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 (10347 MiB free)
memory of node 1: 16384 MiB (15076 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406460-1569402212/watcher-4406460-1569402212 -o /tmp/evaluation-result-4406460-1569402212/solver-4406460-1569402212 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1569392986-17026 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1898939242 HOME/instance-4406460-1569402212.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=18788, runsolver pid=18785
Current StackSize limit: 8192 KiB
[startup+0.10008 s]*
/proc/loadavg: 1.63 1.71 1.75 4/230 18804
/proc/meminfo: memFree=26017168/32770624 swapFree=66999780/67108860
[pid=18788] ppid=18785 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18788/stat : 18788 (xcsp3-exec) S 18785 18788 16995 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516475152 115843072 363 33554432000 4194304 5098028 140734294784208 140734294782312 139654159368828 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22048768 140734294786938 140734294787181 140734294787181 140734294790090 0
/proc/18788/statm: 28282 363 304 221 0 87 0
[pid=18790] ppid=18788 vsize=15144776 memory=29628 CPUtime=0.13 cores=0,2,4,6
/proc/18790/stat : 18790 (java) S 18788 18788 16995 0 -1 1077944320 5841 0 0 0 11 2 0 0 20 0 15 0 516475152 15508250624 7407 33554432000 4194304 4196468 140721185249456 140721185232000 140105266728695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
/proc/18790/statm: 3786194 7407 3144 1 0 3748377 0
[pid=18790/tid=18791] ppid=18788 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/18790/task/18791/stat : 18791 (java) R 18788 18788 16995 0 -1 4202560 3737 0 0 0 8 1 0 0 20 0 15 0 516475153 15508250624 7407 33554432000 4194304 4196468 140721185249456 140105270960872 140105258970085 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18792] ppid=18788 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18792/stat : 18792 (java) S 18788 18788 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516475153 15508250624 7407 33554432000 4194304 4196468 140721185249456 140105194768784 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18793] ppid=18788 vsize=15144776 memory=3763231825392830112 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18793/stat : 18793 (java) S 18788 18788 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516475153 15508250624 7407 33554432000 4194304 4196468 140721185249456 140105193715984 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18794] ppid=18788 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18794/stat : 18794 (java) S 18788 18788 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516475153 15508250624 7407 33554432000 4194304 4196468 140721185249456 140105192663696 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18795] ppid=18788 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18795/stat : 18795 (java) S 18788 18788 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516475153 15508250624 7407 33554432000 4194304 4196468 140721185249456 140105191610896 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18796] ppid=18788 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18796/stat : 18796 (java) S 18788 18788 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516475155 15508250624 7407 33554432000 4194304 4196468 140721185249456 140104735287920 140105266739842 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18797] ppid=18788 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18797/stat : 18797 (java) S 18788 18788 16995 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516475155 15508250624 7407 33554432000 4194304 4196468 140721185249456 140104734233888 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18798] ppid=18788 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18798/stat : 18798 (java) S 18788 18788 16995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516475156 15508250624 7407 33554432000 4194304 4196468 140721185249456 140104733181552 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18799] ppid=18788 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18799/stat : 18799 (java) S 18788 18788 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516475158 15508250624 7407 33554432000 4194304 4196468 140721185249456 140104732129872 140105266747291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18800] ppid=18788 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18800/stat : 18800 (java) R 18788 18788 16995 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 516475158 15508250624 7407 33554432000 4194304 4196468 140721185249456 140104731076720 140105266739842 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18801] ppid=18788 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18801/stat : 18801 (java) R 18788 18788 16995 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 15 0 516475158 15508250624 7407 33554432000 4194304 4196468 140721185249456 140104730015312 140105243973440 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18802] ppid=18788 vsize=15144776 memory=139848144389760 CPUtime=0.02 cores=0,2,4,6
/proc/18790/task/18802/stat : 18802 (java) R 18788 18788 16995 0 -1 4202560 347 0 0 0 2 0 0 0 20 0 15 0 516475158 15508250624 7407 33554432000 4194304 4196468 140721185249456 140104728971632 140105246683057 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18803] ppid=18788 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18803/stat : 18803 (java) S 18788 18788 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516475158 15508250624 7407 33554432000 4194304 4196468 140721185249456 140104727919072 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18804] ppid=18788 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18804/stat : 18804 (java) S 18788 18788 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516475158 15508250624 7407 33554432000 4194304 4196468 140721185249456 140104726866864 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31080 KiB
[startup+0.210696 s]*
/proc/loadavg: 1.63 1.71 1.75 5/230 18804
/proc/meminfo: memFree=26004408/32770624 swapFree=66999780/67108860
[pid=18788] ppid=18785 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18788/stat : 18788 (xcsp3-exec) S 18785 18788 16995 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516475152 115843072 363 33554432000 4194304 5098028 140734294784208 140734294782312 139654159368828 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22048768 140734294786938 140734294787181 140734294787181 140734294790090 0
/proc/18788/statm: 28282 363 304 221 0 87 0
[pid=18790] ppid=18788 vsize=15144776 memory=41024 CPUtime=0.34 cores=0,2,4,6
/proc/18790/stat : 18790 (java) S 18788 18788 16995 0 -1 1077944320 9484 0 0 0 31 3 0 0 20 0 15 0 516475152 15508250624 10256 33554432000 4194304 4196468 140721185249456 140721185232000 140105266728695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
/proc/18790/statm: 3786194 10256 3298 1 0 3748377 0
[pid=18790/tid=18791] ppid=18788 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/18790/task/18791/stat : 18791 (java) R 18788 18788 16995 0 -1 4202560 6647 0 0 0 17 2 0 0 20 0 15 0 516475153 15508250624 10256 33554432000 4194304 4196468 140721185249456 140105270965456 140105250809182 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18792] ppid=18788 vsize=15144776 memory=2669799 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18792/stat : 18792 (java) S 18788 18788 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516475153 15508250624 10256 33554432000 4194304 4196468 140721185249456 140105194768784 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18793] ppid=18788 vsize=15144776 memory=139848148018062 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18793/stat : 18793 (java) S 18788 18788 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516475153 15508250624 10256 33554432000 4194304 4196468 140721185249456 140105193715984 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18794] ppid=18788 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18794/stat : 18794 (java) S 18788 18788 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516475153 15508250624 10256 33554432000 4194304 4196468 140721185249456 140105192663696 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18795] ppid=18788 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18795/stat : 18795 (java) S 18788 18788 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516475153 15508250624 10256 33554432000 4194304 4196468 140721185249456 140105191610896 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18796] ppid=18788 vsize=15144776 memory=139848144389760 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18796/stat : 18796 (java) S 18788 18788 16995 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516475155 15508250624 10256 33554432000 4194304 4196468 140721185249456 140104735287920 140105266739842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18797] ppid=18788 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18797/stat : 18797 (java) S 18788 18788 16995 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516475155 15508250624 10256 33554432000 4194304 4196468 140721185249456 140104734233888 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18798] ppid=18788 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18798/stat : 18798 (java) S 18788 18788 16995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516475156 15508250624 10256 33554432000 4194304 4196468 140721185249456 140104733181552 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18799] ppid=18788 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18799/stat : 18799 (java) S 18788 18788 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516475158 15508250624 10256 33554432000 4194304 4196468 140721185249456 140104732129872 140105266747291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18800] ppid=18788 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18790/task/18800/stat : 18800 (java) S 18788 18788 16995 0 -1 1077944384 637 0 0 0 2 0 0 0 20 0 15 0 516475158 15508250624 10256 33554432000 4194304 4196468 140721185249456 140104731076720 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18801] ppid=18788 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/18790/task/18801/stat : 18801 (java) S 18788 18788 16995 0 -1 1077944384 143 0 0 0 2 0 0 0 20 0 15 0 516475158 15508250624 10256 33554432000 4194304 4196468 140721185249456 140104730023920 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18802] ppid=18788 vsize=15144776 memory=139848144389760 CPUtime=0.08 cores=0,2,4,6
/proc/18790/task/18802/stat : 18802 (java) S 18788 18788 16995 0 -1 1077944384 754 0 0 0 8 0 0 0 20 0 15 0 516475158 15508250624 10256 33554432000 4194304 4196468 140721185249456 140104728971632 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18803] ppid=18788 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18803/stat : 18803 (java) S 18788 18788 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516475158 15508250624 10256 33554432000 4194304 4196468 140721185249456 140104727919072 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18804] ppid=18788 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18804/stat : 18804 (java) S 18788 18788 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516475158 15508250624 10256 33554432000 4194304 4196468 140721185249456 140104726866864 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42476 KiB
[startup+0.310357 s]*
/proc/loadavg: 1.63 1.71 1.75 4/230 18804
/proc/meminfo: memFree=25997024/32770624 swapFree=66999780/67108860
[pid=18788] ppid=18785 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18788/stat : 18788 (xcsp3-exec) S 18785 18788 16995 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516475152 115843072 363 33554432000 4194304 5098028 140734294784208 140734294782312 139654159368828 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22048768 140734294786938 140734294787181 140734294787181 140734294790090 0
/proc/18788/statm: 28282 363 304 221 0 87 0
[pid=18790] ppid=18788 vsize=15149032 memory=50356 CPUtime=0.53 cores=0,2,4,6
/proc/18790/stat : 18790 (java) S 18788 18788 16995 0 -1 1077944320 10897 0 0 0 49 4 0 0 20 0 15 0 516475152 15512608768 12589 33554432000 4194304 4196468 140721185249456 140721185232000 140105266728695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
/proc/18790/statm: 3787258 12589 3360 1 0 3748377 0
[pid=18790/tid=18791] ppid=18788 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/18790/task/18791/stat : 18791 (java) R 18788 18788 16995 0 -1 4202560 7845 0 0 0 27 3 0 0 20 0 15 0 516475153 15512608768 12589 33554432000 4194304 4196468 140721185249456 140105270959808 140105266750621 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18792] ppid=18788 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18792/stat : 18792 (java) S 18788 18788 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516475153 15512608768 12589 33554432000 4194304 4196468 140721185249456 140105194768784 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18793] ppid=18788 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18793/stat : 18793 (java) S 18788 18788 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516475153 15512608768 12589 33554432000 4194304 4196468 140721185249456 140105193715984 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18794] ppid=18788 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18794/stat : 18794 (java) S 18788 18788 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516475153 15512608768 12589 33554432000 4194304 4196468 140721185249456 140105192663696 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18795] ppid=18788 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18795/stat : 18795 (java) S 18788 18788 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516475153 15512608768 12589 33554432000 4194304 4196468 140721185249456 140105191610896 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18796] ppid=18788 vsize=15149032 memory=-7305852742256935071 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18796/stat : 18796 (java) S 18788 18788 16995 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516475155 15512608768 12589 33554432000 4194304 4196468 140721185249456 140104735287920 140105266739842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18797] ppid=18788 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18797/stat : 18797 (java) S 18788 18788 16995 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516475155 15512608768 12589 33554432000 4194304 4196468 140721185249456 140104734233888 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18798] ppid=18788 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18798/stat : 18798 (java) S 18788 18788 16995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516475156 15512608768 12589 33554432000 4194304 4196468 140721185249456 140104733181552 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18799] ppid=18788 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18799/stat : 18799 (java) S 18788 18788 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516475158 15512608768 12589 33554432000 4194304 4196468 140721185249456 140104732129872 140105266747291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18800] ppid=18788 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=0,2,4,6
/proc/18790/task/18800/stat : 18800 (java) R 18788 18788 16995 0 -1 4202560 740 0 0 0 5 0 0 0 20 0 15 0 516475158 15512608768 12589 33554432000 4194304 4196468 140721185249456 140104731057736 140105246560893 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18801] ppid=18788 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/18790/task/18801/stat : 18801 (java) S 18788 18788 16995 0 -1 1077944384 186 0 0 0 4 0 0 0 20 0 15 0 516475158 15512608768 12589 33554432000 4194304 4196468 140721185249456 140104730023920 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18802] ppid=18788 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/18790/task/18802/stat : 18802 (java) S 18788 18788 16995 0 -1 1077944384 831 0 0 0 12 0 0 0 20 0 15 0 516475158 15512608768 12589 33554432000 4194304 4196468 140721185249456 140104728971632 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18803] ppid=18788 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18803/stat : 18803 (java) S 18788 18788 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516475158 15512608768 12589 33554432000 4194304 4196468 140721185249456 140104727919072 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18804] ppid=18788 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18804/stat : 18804 (java) S 18788 18788 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516475158 15512608768 12589 33554432000 4194304 4196468 140721185249456 140104726866864 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51808 KiB
[startup+0.701607 s]
/proc/loadavg: 1.63 1.71 1.75 6/230 18804
/proc/meminfo: memFree=25971208/32770624 swapFree=66999780/67108860
[pid=18788] ppid=18785 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18788/stat : 18788 (xcsp3-exec) S 18785 18788 16995 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516475152 115843072 363 33554432000 4194304 5098028 140734294784208 140734294782312 139654159368828 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22048768 140734294786938 140734294787181 140734294787181 140734294790090 0
/proc/18788/statm: 28282 363 304 221 0 87 0
[pid=18790] ppid=18788 vsize=15151156 memory=89916 CPUtime=1.79 cores=0,2,4,6
/proc/18790/stat : 18790 (java) S 18788 18788 16995 0 -1 1077944320 15101 0 0 0 173 6 0 0 20 0 15 0 516475152 15514783744 22479 33554432000 4194304 4196468 140721185249456 140721185232000 140105266728695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
/proc/18790/statm: 3787789 22479 3453 1 0 3748889 0
[pid=18790/tid=18791] ppid=18788 vsize=15151156 memory=-3704326594973231466 CPUtime=0.67 cores=0,2,4,6
/proc/18790/task/18791/stat : 18791 (java) R 18788 18788 16995 0 -1 4202560 9154 0 0 0 63 4 0 0 20 0 15 0 516475153 15514783744 22479 33554432000 4194304 4196468 140721185249456 140105270968024 140104874428702 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18792] ppid=18788 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18792/stat : 18792 (java) S 18788 18788 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516475153 15514783744 22479 33554432000 4194304 4196468 140721185249456 140105194768784 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18793] ppid=18788 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18793/stat : 18793 (java) S 18788 18788 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516475153 15514783744 22479 33554432000 4194304 4196468 140721185249456 140105193715984 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18794] ppid=18788 vsize=15151156 memory=772 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18794/stat : 18794 (java) S 18788 18788 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516475153 15514783744 22479 33554432000 4194304 4196468 140721185249456 140105192663696 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18795] ppid=18788 vsize=15151156 memory=3648 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18795/stat : 18795 (java) S 18788 18788 16995 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516475153 15514783744 22479 33554432000 4194304 4196468 140721185249456 140105191610896 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18796] ppid=18788 vsize=15151156 memory=948 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18796/stat : 18796 (java) S 18788 18788 16995 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516475155 15514783744 22479 33554432000 4194304 4196468 140721185249456 140104735287920 140105266739842 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18797] ppid=18788 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18797/stat : 18797 (java) S 18788 18788 16995 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516475155 15514783744 22479 33554432000 4194304 4196468 140721185249456 140104734233888 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18798] ppid=18788 vsize=15151156 memory=9588 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18798/stat : 18798 (java) S 18788 18788 16995 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516475156 15514783744 22479 33554432000 4194304 4196468 140721185249456 140104733181552 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18799] ppid=18788 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18799/stat : 18799 (java) S 18788 18788 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516475158 15514783744 22479 33554432000 4194304 4196468 140721185249456 140104732129872 140105266747291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18800] ppid=18788 vsize=15151156 memory=628 CPUtime=0.38 cores=0,2,4,6
/proc/18790/task/18800/stat : 18800 (java) R 18788 18788 16995 0 -1 4202560 1571 0 0 0 38 0 0 0 20 0 15 0 516475158 15514783744 22479 33554432000 4194304 4196468 140721185249456 140104731056992 140105251854979 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18801] ppid=18788 vsize=15151156 memory=1056 CPUtime=0.32 cores=0,2,4,6
/proc/18790/task/18801/stat : 18801 (java) R 18788 18788 16995 0 -1 4202560 1202 0 0 0 32 0 0 0 20 0 15 0 516475158 15514783744 22479 33554432000 4194304 4196468 140721185249456 140104730012912 140105259018144 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18802] ppid=18788 vsize=15151156 memory=1716 CPUtime=0.38 cores=0,2,4,6
/proc/18790/task/18802/stat : 18802 (java) S 18788 18788 16995 0 -1 1077944384 1876 0 0 0 38 0 0 0 20 0 15 0 516475158 15514783744 22479 33554432000 4194304 4196468 140721185249456 140104728971632 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18803] ppid=18788 vsize=15151156 memory=6176 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18803/stat : 18803 (java) S 18788 18788 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516475158 15514783744 22479 33554432000 4194304 4196468 140721185249456 140104727919072 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18804] ppid=18788 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18804/stat : 18804 (java) S 18788 18788 16995 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516475158 15514783744 22479 33554432000 4194304 4196468 140721185249456 140104726866864 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 91368 KiB
[startup+1.50161 s]
/proc/loadavg: 1.63 1.71 1.75 4/230 18804
/proc/meminfo: memFree=25957320/32770624 swapFree=66999780/67108860
[pid=18788] ppid=18785 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18788/stat : 18788 (xcsp3-exec) S 18785 18788 16995 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516475152 115843072 363 33554432000 4194304 5098028 140734294784208 140734294782312 139654159368828 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22048768 140734294786938 140734294787181 140734294787181 140734294790090 0
/proc/18788/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/18790/task/18798/stat : 18798 (java) S 18788 18788 16995 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 516475156 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104733181568 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18799] ppid=18788 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18799/stat : 18799 (java) S 18788 18788 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516475158 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104732129872 140105266747291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18800] ppid=18788 vsize=15151156 memory=1452 CPUtime=2.09 cores=0,2,4,6
/proc/18790/task/18800/stat : 18800 (java) S 18788 18788 16995 0 -1 1077944384 14557 0 0 0 208 1 0 0 20 0 15 0 516475158 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104731076720 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18801] ppid=18788 vsize=15151156 memory=1452 CPUtime=1.95 cores=0,2,4,6
/proc/18790/task/18801/stat : 18801 (java) S 18788 18788 16995 0 -1 1077944384 14829 0 0 0 194 1 0 0 20 0 15 0 516475158 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104730023920 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18802] ppid=18788 vsize=15151156 memory=1452 CPUtime=0.58 cores=0,2,4,6
/proc/18790/task/18802/stat : 18802 (java) S 18788 18788 16995 0 -1 1077944384 7039 0 0 0 56 2 0 0 20 0 15 0 516475158 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104728971632 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18803] ppid=18788 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18803/stat : 18803 (java) S 18788 18788 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516475158 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104727919072 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18804] ppid=18788 vsize=15151156 memory=1452 CPUtime=0.73 cores=0,2,4,6
/proc/18790/task/18804/stat : 18804 (java) S 18788 18788 16995 0 -1 1077944384 2191 0 0 0 31 42 0 0 20 0 15 0 516475158 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104726866864 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 38 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
Current children cumulated CPU time: 2336.2 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 9637664 KiB
[startup+2382.3 s]
/proc/loadavg: 1.63 1.68 1.66 3/229 19098
/proc/meminfo: memFree=12184268/32770624 swapFree=66999788/67108860
[pid=18788] ppid=18785 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18788/stat : 18788 (xcsp3-exec) S 18785 18788 16995 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516475152 115843072 363 33554432000 4194304 5098028 140734294784208 140734294782312 139654159368828 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22048768 140734294786938 140734294787181 140734294787181 140734294790090 0
/proc/18788/statm: 28282 363 304 221 0 87 0
[pid=18790] ppid=18788 vsize=15151156 memory=9636212 CPUtime=2396.22 cores=0,2,4,6
/proc/18790/stat : 18790 (java) S 18788 18788 16995 0 -1 1077944320 285299 0 0 0 238915 707 0 0 20 0 15 0 516475152 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140721185232000 140105266728695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
/proc/18790/statm: 3787789 2409053 3524 1 0 3748889 0
[pid=18790/tid=18791] ppid=18788 vsize=15151156 memory=9636212 CPUtime=2378.05 cores=0,2,4,6
/proc/18790/task/18791/stat : 18791 (java) R 18788 18788 16995 0 -1 4202560 169158 0 0 0 237179 626 0 0 20 0 15 0 516475153 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140105270968336 140104874940738 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18792] ppid=18788 vsize=15151156 memory=9636212 CPUtime=2.95 cores=0,2,4,6
/proc/18790/task/18792/stat : 18792 (java) S 18788 18788 16995 0 -1 1077944384 15677 0 0 0 288 7 0 0 20 0 15 0 516475153 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140105194768784 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18793] ppid=18788 vsize=15151156 memory=9636212 CPUtime=2.96 cores=0,2,4,6
/proc/18790/task/18793/stat : 18793 (java) S 18788 18788 16995 0 -1 1077944384 13921 0 0 0 290 6 0 0 20 0 15 0 516475153 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140105193715984 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18794] ppid=18788 vsize=15151156 memory=9636212 CPUtime=2.96 cores=0,2,4,6
/proc/18790/task/18794/stat : 18794 (java) S 18788 18788 16995 0 -1 1077944384 16165 0 0 0 289 7 0 0 20 0 15 0 516475153 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140105192663696 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18795] ppid=18788 vsize=15151156 memory=1452 CPUtime=2.96 cores=0,2,4,6
/proc/18790/task/18795/stat : 18795 (java) S 18788 18788 16995 0 -1 1077944384 19203 0 0 0 289 7 0 0 20 0 15 0 516475153 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140105191610896 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18796] ppid=18788 vsize=15151156 memory=9636212 CPUtime=0.87 cores=0,2,4,6
/proc/18790/task/18796/stat : 18796 (java) S 18788 18788 16995 0 -1 1077944384 11025 0 0 0 65 22 0 0 20 0 15 0 516475155 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104735287920 140105266739842 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18797] ppid=18788 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18797/stat : 18797 (java) S 18788 18788 16995 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 516475155 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104734233952 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18798] ppid=18788 vsize=15151156 memory=9636212 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18798/stat : 18798 (java) S 18788 18788 16995 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 516475156 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104733181568 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18799] ppid=18788 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18799/stat : 18799 (java) S 18788 18788 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516475158 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104732129872 140105266747291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18800] ppid=18788 vsize=15151156 memory=1452 CPUtime=2.09 cores=0,2,4,6
/proc/18790/task/18800/stat : 18800 (java) S 18788 18788 16995 0 -1 1077944384 14567 0 0 0 208 1 0 0 20 0 15 0 516475158 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104731076720 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18801] ppid=18788 vsize=15151156 memory=3624 CPUtime=1.95 cores=0,2,4,6
/proc/18790/task/18801/stat : 18801 (java) S 18788 18788 16995 0 -1 1077944384 14839 0 0 0 194 1 0 0 20 0 15 0 516475158 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104730023920 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18802] ppid=18788 vsize=15151156 memory=55268 CPUtime=0.58 cores=0,2,4,6
/proc/18790/task/18802/stat : 18802 (java) S 18788 18788 16995 0 -1 1077944384 7054 0 0 0 56 2 0 0 20 0 15 0 516475158 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104728971632 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18803] ppid=18788 vsize=15151156 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18803/stat : 18803 (java) S 18788 18788 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516475158 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104727919072 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18804] ppid=18788 vsize=15151156 memory=55268 CPUtime=0.75 cores=0,2,4,6
/proc/18790/task/18804/stat : 18804 (java) S 18788 18788 16995 0 -1 1077944384 2284 0 0 0 32 43 0 0 20 0 15 0 516475158 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104726866864 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 38 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
Current children cumulated CPU time: 2396.22 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 9637664 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2386.11 s]
/proc/loadavg: 1.63 1.68 1.66 3/229 19098
/proc/meminfo: memFree=12184268/32770624 swapFree=66999788/67108860
[pid=18788] ppid=18785 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18788/stat : 18788 (xcsp3-exec) S 18785 18788 16995 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516475152 115843072 363 33554432000 4194304 5098028 140734294784208 140734294782312 139654159368828 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22048768 140734294786938 140734294787181 140734294787181 140734294790090 0
/proc/18788/statm: 28282 363 304 221 0 87 0
[pid=18790] ppid=18788 vsize=15151156 memory=9636212 CPUtime=2400.03 cores=0,2,4,6
/proc/18790/stat : 18790 (java) S 18788 18788 16995 0 -1 1077944320 285310 0 0 0 239296 707 0 0 20 0 15 0 516475152 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140721185232000 140105266728695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
/proc/18790/statm: 3787789 2409053 3524 1 0 3748889 0
[pid=18790/tid=18791] ppid=18788 vsize=15151156 memory=9636212 CPUtime=2381.86 cores=0,2,4,6
/proc/18790/task/18791/stat : 18791 (java) R 18788 18788 16995 0 -1 4202560 169169 0 0 0 237560 626 0 0 20 0 15 0 516475153 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140105270968336 140104876102457 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18792] ppid=18788 vsize=15151156 memory=9636212 CPUtime=2.95 cores=0,2,4,6
/proc/18790/task/18792/stat : 18792 (java) S 18788 18788 16995 0 -1 1077944384 15677 0 0 0 288 7 0 0 20 0 15 0 516475153 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140105194768784 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18793] ppid=18788 vsize=15151156 memory=9636212 CPUtime=2.96 cores=0,2,4,6
/proc/18790/task/18793/stat : 18793 (java) S 18788 18788 16995 0 -1 1077944384 13921 0 0 0 290 6 0 0 20 0 15 0 516475153 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140105193715984 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18794] ppid=18788 vsize=15151156 memory=9636212 CPUtime=2.96 cores=0,2,4,6
/proc/18790/task/18794/stat : 18794 (java) S 18788 18788 16995 0 -1 1077944384 16165 0 0 0 289 7 0 0 20 0 15 0 516475153 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140105192663696 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18795] ppid=18788 vsize=15151156 memory=9636212 CPUtime=2.96 cores=0,2,4,6
/proc/18790/task/18795/stat : 18795 (java) S 18788 18788 16995 0 -1 1077944384 19203 0 0 0 289 7 0 0 20 0 15 0 516475153 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140105191610896 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18796] ppid=18788 vsize=15151156 memory=1452 CPUtime=0.87 cores=0,2,4,6
/proc/18790/task/18796/stat : 18796 (java) S 18788 18788 16995 0 -1 1077944384 11025 0 0 0 65 22 0 0 20 0 15 0 516475155 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104735287920 140105266739842 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18797] ppid=18788 vsize=15151156 memory=9636212 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18797/stat : 18797 (java) S 18788 18788 16995 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 516475155 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104734233952 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18798] ppid=18788 vsize=15151156 memory=7956000629202567268 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18798/stat : 18798 (java) S 18788 18788 16995 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 516475156 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104733181568 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18799] ppid=18788 vsize=15151156 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18799/stat : 18799 (java) S 18788 18788 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516475158 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104732129872 140105266747291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18800] ppid=18788 vsize=15151156 memory=55268 CPUtime=2.09 cores=0,2,4,6
/proc/18790/task/18800/stat : 18800 (java) S 18788 18788 16995 0 -1 1077944384 14567 0 0 0 208 1 0 0 20 0 15 0 516475158 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104731076720 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18801] ppid=18788 vsize=15151156 memory=3624 CPUtime=1.95 cores=0,2,4,6
/proc/18790/task/18801/stat : 18801 (java) S 18788 18788 16995 0 -1 1077944384 14839 0 0 0 194 1 0 0 20 0 15 0 516475158 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104730023920 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18802] ppid=18788 vsize=15151156 memory=55268 CPUtime=0.58 cores=0,2,4,6
/proc/18790/task/18802/stat : 18802 (java) S 18788 18788 16995 0 -1 1077944384 7054 0 0 0 56 2 0 0 20 0 15 0 516475158 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104728971632 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18803] ppid=18788 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18803/stat : 18803 (java) S 18788 18788 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516475158 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104727919072 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18804] ppid=18788 vsize=15151156 memory=9636212 CPUtime=0.75 cores=0,2,4,6
/proc/18790/task/18804/stat : 18804 (java) S 18788 18788 16995 0 -1 1077944384 2284 0 0 0 32 43 0 0 20 0 15 0 516475158 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104726866864 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 38 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 9637664 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2386.12 s]
# the end of solver process 18788 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00114 s, system=0.00114 s
[startup+2386.16 s]
# the end of solver process 18790 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2392.97 s, system=7.11589 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2386.11 s]
/proc/loadavg: 1.63 1.68 1.66 3/229 19098
/proc/meminfo: memFree=12184268/32770624 swapFree=66999788/67108860
[pid=18788] ppid=18785 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18788/stat : 18788 (xcsp3-exec) S 18785 18788 16995 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516475152 115843072 363 33554432000 4194304 5098028 140734294784208 140734294782312 139654159368828 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 22048768 140734294786938 140734294787181 140734294787181 140734294790090 0
/proc/18788/statm: 28282 363 304 221 0 87 0
[pid=18790] ppid=18788 vsize=15151156 memory=9636212 CPUtime=2400.03 cores=0,2,4,6
/proc/18790/stat : 18790 (java) S 18788 18788 16995 0 -1 1077944320 285310 0 0 0 239296 707 0 0 20 0 15 0 516475152 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140721185232000 140105266728695 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
/proc/18790/statm: 3787789 2409053 3524 1 0 3748889 0
[pid=18790/tid=18791] ppid=18788 vsize=15151156 memory=9636212 CPUtime=2381.86 cores=0,2,4,6
/proc/18790/task/18791/stat : 18791 (java) R 18788 18788 16995 0 -1 4202560 169169 0 0 0 237560 626 0 0 20 0 15 0 516475153 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140105270968336 140104876102457 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18792] ppid=18788 vsize=15151156 memory=9636212 CPUtime=2.95 cores=0,2,4,6
/proc/18790/task/18792/stat : 18792 (java) S 18788 18788 16995 0 -1 1077944384 15677 0 0 0 288 7 0 0 20 0 15 0 516475153 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140105194768784 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18793] ppid=18788 vsize=15151156 memory=9636212 CPUtime=2.96 cores=0,2,4,6
/proc/18790/task/18793/stat : 18793 (java) S 18788 18788 16995 0 -1 1077944384 13921 0 0 0 290 6 0 0 20 0 15 0 516475153 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140105193715984 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18794] ppid=18788 vsize=15151156 memory=9636212 CPUtime=2.96 cores=0,2,4,6
/proc/18790/task/18794/stat : 18794 (java) S 18788 18788 16995 0 -1 1077944384 16165 0 0 0 289 7 0 0 20 0 15 0 516475153 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140105192663696 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18795] ppid=18788 vsize=15151156 memory=9636212 CPUtime=2.96 cores=0,2,4,6
/proc/18790/task/18795/stat : 18795 (java) S 18788 18788 16995 0 -1 1077944384 19203 0 0 0 289 7 0 0 20 0 15 0 516475153 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140105191610896 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18796] ppid=18788 vsize=15151156 memory=1452 CPUtime=0.87 cores=0,2,4,6
/proc/18790/task/18796/stat : 18796 (java) S 18788 18788 16995 0 -1 1077944384 11025 0 0 0 65 22 0 0 20 0 15 0 516475155 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104735287920 140105266739842 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18797] ppid=18788 vsize=15151156 memory=9636212 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18797/stat : 18797 (java) S 18788 18788 16995 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 516475155 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104734233952 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18798] ppid=18788 vsize=15151156 memory=7956000629202567268 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18798/stat : 18798 (java) S 18788 18788 16995 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 516475156 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104733181568 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18799] ppid=18788 vsize=15151156 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18799/stat : 18799 (java) S 18788 18788 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516475158 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104732129872 140105266747291 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18800] ppid=18788 vsize=15151156 memory=55268 CPUtime=2.09 cores=0,2,4,6
/proc/18790/task/18800/stat : 18800 (java) S 18788 18788 16995 0 -1 1077944384 14567 0 0 0 208 1 0 0 20 0 15 0 516475158 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104731076720 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 30 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18801] ppid=18788 vsize=15151156 memory=3624 CPUtime=1.95 cores=0,2,4,6
/proc/18790/task/18801/stat : 18801 (java) S 18788 18788 16995 0 -1 1077944384 14839 0 0 0 194 1 0 0 20 0 15 0 516475158 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104730023920 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 30 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18802] ppid=18788 vsize=15151156 memory=55268 CPUtime=0.58 cores=0,2,4,6
/proc/18790/task/18802/stat : 18802 (java) S 18788 18788 16995 0 -1 1077944384 7054 0 0 0 56 2 0 0 20 0 15 0 516475158 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104728971632 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 37 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18803] ppid=18788 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/18790/task/18803/stat : 18803 (java) S 18788 18788 16995 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516475158 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104727919072 140105266738901 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
[pid=18790/tid=18804] ppid=18788 vsize=15151156 memory=9636212 CPUtime=0.75 cores=0,2,4,6
/proc/18790/task/18804/stat : 18804 (java) S 18788 18788 16995 0 -1 1077944384 2284 0 0 0 32 43 0 0 20 0 15 0 516475158 15514783744 2409053 33554432000 4194304 4196468 140721185249456 140104726866864 140105266739842 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 38 0 0 6293624 6294260 16207872 140721185252335 140721185252506 140721185252506 140721185255375 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 9637664 KiB
Child status: 143
Real time (s): 2386.16
CPU time (s): 2400.09
CPU user time (s): 2392.97
CPU system time (s): 7.11589
CPU usage (%): 100.584
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 9638184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2392.97
system time used= 7.11589
maximum resident set size= 9636732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286417
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 64471
involuntary context switches= 2766
# summary of solver processes directly reported to runsolver:
# pid: 18788,18790
# total CPU time (s): 2400.09
# total CPU user time (s): 2392.97
# total CPU system time (s): 7.11589
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0553 second user time and 21.5936 second system time
The end