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 (3331 MiB free)
memory of node 1: 16384 MiB (3521 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403617-1568988218/watcher-4403617-1568988218 -o /tmp/evaluation-result-4403617-1568988218/solver-4403617-1568988218 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568988175-11774 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1058889197 HOME/instance-4403617-1568988218.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=11800, runsolver pid=11795
Current StackSize limit: 8192 KiB
[startup+0.100138 s]*
/proc/loadavg: 0.56 0.66 0.77 4/231 11835
/proc/meminfo: memFree=6983860/32770624 swapFree=66974496/67108860
[pid=11800] ppid=11795 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11800/stat : 11800 (xcsp3-exec) S 11795 11800 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475088597 115843072 363 33554432000 4194304 5098028 140722970721280 140722970719384 139876213785212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15421440 140722970723194 140722970723437 140722970723437 140722970726346 0
/proc/11800/statm: 28282 363 305 221 0 87 0
[pid=11806] ppid=11800 vsize=15144776 memory=29708 CPUtime=0.13 cores=1,3,5,7
/proc/11806/stat : 11806 (java) S 11800 11800 11742 0 -1 1077944320 5827 0 0 0 12 1 0 0 20 0 15 0 475088597 15508250624 7427 33554432000 4194304 4196468 140726937111024 140726937093568 140612254613239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
/proc/11806/statm: 3786194 7427 3148 1 0 3748377 0
[pid=11806/tid=11808] ppid=11800 vsize=15144776 memory=8324486588775410251 CPUtime=0.08 cores=1,3,5,7
/proc/11806/task/11808/stat : 11808 (java) R 11800 11800 11742 0 -1 4202560 3755 0 0 0 8 0 0 0 20 0 15 0 475088597 15508250624 7427 33554432000 4194304 4196468 140726937111024 140612258846016 140612238693726 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11810] ppid=11800 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11810/stat : 11810 (java) S 11800 11800 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475088598 15508250624 7427 33554432000 4194304 4196468 140726937111024 140612207233424 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11811] ppid=11800 vsize=15144776 memory=139991217067648 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11811/stat : 11811 (java) S 11800 11800 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475088598 15508250624 7427 33554432000 4194304 4196468 140726937111024 140612206180624 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11812] ppid=11800 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11812/stat : 11812 (java) S 11800 11800 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475088598 15508250624 7427 33554432000 4194304 4196468 140726937111024 140612205128336 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11813] ppid=11800 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11813/stat : 11813 (java) S 11800 11800 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475088598 15508250624 7427 33554432000 4194304 4196468 140726937111024 140612204075536 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11818] ppid=11800 vsize=15144776 memory=139991217067648 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11818/stat : 11818 (java) S 11800 11800 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475088599 15508250624 7427 33554432000 4194304 4196468 140726937111024 140611397151344 140612254624386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11820] ppid=11800 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11820/stat : 11820 (java) S 11800 11800 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475088600 15508250624 7427 33554432000 4194304 4196468 140726937111024 140611396097312 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11821] ppid=11800 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11821/stat : 11821 (java) S 11800 11800 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475088600 15508250624 7427 33554432000 4194304 4196468 140726937111024 140611395044976 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11824] ppid=11800 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11824/stat : 11824 (java) S 11800 11800 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475088602 15508250624 7427 33554432000 4194304 4196468 140726937111024 140611393993296 140612254631835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11825] ppid=11800 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11825/stat : 11825 (java) R 11800 11800 11742 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 475088602 15508250624 7427 33554432000 4194304 4196468 140726937111024 140611392940144 140612254624386 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11826] ppid=11800 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11826/stat : 11826 (java) R 11800 11800 11742 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 15 0 475088602 15508250624 7427 33554432000 4194304 4196468 140726937111024 140611391887344 140612232207984 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11827] ppid=11800 vsize=15144776 memory=139991217067648 CPUtime=0.02 cores=1,3,5,7
/proc/11806/task/11827/stat : 11827 (java) R 11800 11800 11742 0 -1 4202560 345 0 0 0 2 0 0 0 20 0 15 0 475088602 15508250624 7427 33554432000 4194304 4196468 140726937111024 140611323685232 140612240394008 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11832] ppid=11800 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11832/stat : 11832 (java) S 11800 11800 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475088603 15508250624 7427 33554432000 4194304 4196468 140726937111024 140611322632672 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11834] ppid=11800 vsize=15144776 memory=139991217067648 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11834/stat : 11834 (java) S 11800 11800 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475088603 15508250624 7427 33554432000 4194304 4196468 140726937111024 140611321580464 140612254624386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31160 KiB
[startup+0.212808 s]*
/proc/loadavg: 0.56 0.66 0.77 7/231 11835
/proc/meminfo: memFree=6959332/32770624 swapFree=66974496/67108860
[pid=11800] ppid=11795 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11800/stat : 11800 (xcsp3-exec) S 11795 11800 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475088597 115843072 363 33554432000 4194304 5098028 140722970721280 140722970719384 139876213785212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15421440 140722970723194 140722970723437 140722970723437 140722970726346 0
/proc/11800/statm: 28282 363 305 221 0 87 0
[pid=11806] ppid=11800 vsize=15144776 memory=40928 CPUtime=0.35 cores=1,3,5,7
/proc/11806/stat : 11806 (java) S 11800 11800 11742 0 -1 1077944320 9423 0 0 0 32 3 0 0 20 0 15 0 475088597 15508250624 10232 33554432000 4194304 4196468 140726937111024 140726937093568 140612254613239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
/proc/11806/statm: 3786194 10232 3305 1 0 3748377 0
[pid=11806/tid=11808] ppid=11800 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/11806/task/11808/stat : 11808 (java) R 11800 11800 11742 0 -1 4202560 6623 0 0 0 18 2 0 0 20 0 15 0 475088597 15508250624 10232 33554432000 4194304 4196468 140726937111024 140612258850288 140612238693726 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11810] ppid=11800 vsize=15144776 memory=9034 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11810/stat : 11810 (java) S 11800 11800 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475088598 15508250624 10232 33554432000 4194304 4196468 140726937111024 140612207233424 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11811] ppid=11800 vsize=15144776 memory=288370367368779392 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11811/stat : 11811 (java) S 11800 11800 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475088598 15508250624 10232 33554432000 4194304 4196468 140726937111024 140612206180624 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11812] ppid=11800 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11812/stat : 11812 (java) S 11800 11800 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475088598 15508250624 10232 33554432000 4194304 4196468 140726937111024 140612205128336 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11813] ppid=11800 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11813/stat : 11813 (java) S 11800 11800 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475088598 15508250624 10232 33554432000 4194304 4196468 140726937111024 140612204075536 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11818] ppid=11800 vsize=15144776 memory=139991217067648 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11818/stat : 11818 (java) S 11800 11800 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475088599 15508250624 10232 33554432000 4194304 4196468 140726937111024 140611397151344 140612254624386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11820] ppid=11800 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11820/stat : 11820 (java) S 11800 11800 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475088600 15508250624 10232 33554432000 4194304 4196468 140726937111024 140611396097312 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11821] ppid=11800 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11821/stat : 11821 (java) S 11800 11800 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475088600 15508250624 10232 33554432000 4194304 4196468 140726937111024 140611395044976 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11824] ppid=11800 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11824/stat : 11824 (java) S 11800 11800 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475088602 15508250624 10232 33554432000 4194304 4196468 140726937111024 140611393993296 140612254631835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11825] ppid=11800 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/11806/task/11825/stat : 11825 (java) R 11800 11800 11742 0 -1 1077944384 604 0 0 0 1 0 0 0 20 0 15 0 475088602 15508250624 10232 33554432000 4194304 4196468 140726937111024 140611392940144 140612254624386 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11826] ppid=11800 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/11806/task/11826/stat : 11826 (java) R 11800 11800 11742 0 -1 1077944384 155 0 0 0 3 0 0 0 20 0 15 0 475088602 15508250624 10232 33554432000 4194304 4196468 140726937111024 140611391887344 140612254624386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11827] ppid=11800 vsize=15144776 memory=139991217067648 CPUtime=0.08 cores=1,3,5,7
/proc/11806/task/11827/stat : 11827 (java) R 11800 11800 11742 0 -1 4202560 742 0 0 0 8 0 0 0 20 0 15 0 475088602 15508250624 10232 33554432000 4194304 4196468 140726937111024 140611323685232 140612254634586 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11832] ppid=11800 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11832/stat : 11832 (java) S 11800 11800 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475088603 15508250624 10232 33554432000 4194304 4196468 140726937111024 140611322632672 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11834] ppid=11800 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11834/stat : 11834 (java) S 11800 11800 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475088603 15508250624 10232 33554432000 4194304 4196468 140726937111024 140611321580464 140612254624386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42380 KiB
[startup+0.310936 s]*
/proc/loadavg: 0.56 0.66 0.77 7/231 11835
/proc/meminfo: memFree=6948760/32770624 swapFree=66974496/67108860
[pid=11800] ppid=11795 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11800/stat : 11800 (xcsp3-exec) S 11795 11800 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475088597 115843072 363 33554432000 4194304 5098028 140722970721280 140722970719384 139876213785212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15421440 140722970723194 140722970723437 140722970723437 140722970726346 0
/proc/11800/statm: 28282 363 305 221 0 87 0
[pid=11806] ppid=11800 vsize=15149032 memory=49356 CPUtime=0.51 cores=1,3,5,7
/proc/11806/stat : 11806 (java) S 11800 11800 11742 0 -1 1077944320 10658 0 1 0 47 4 0 0 20 0 15 0 475088597 15512608768 12339 33554432000 4194304 4196468 140726937111024 140726937093568 140612254613239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
/proc/11806/statm: 3787258 12339 3337 1 0 3748377 0
[pid=11806/tid=11808] ppid=11800 vsize=15149032 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/11806/task/11808/stat : 11808 (java) R 11800 11800 11742 0 -1 4202560 7732 0 1 0 26 3 0 0 20 0 15 0 475088597 15512608768 12367 33554432000 4194304 4196468 140726937111024 140612258839856 140612254635165 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11810] ppid=11800 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11810/stat : 11810 (java) S 11800 11800 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475088598 15512608768 12367 33554432000 4194304 4196468 140726937111024 140612207233424 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11811] ppid=11800 vsize=15149032 memory=9122745479247552727 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11811/stat : 11811 (java) S 11800 11800 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475088598 15512608768 12367 33554432000 4194304 4196468 140726937111024 140612206180624 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11812] ppid=11800 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11812/stat : 11812 (java) S 11800 11800 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475088598 15512608768 12367 33554432000 4194304 4196468 140726937111024 140612205128336 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11813] ppid=11800 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11813/stat : 11813 (java) S 11800 11800 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475088598 15512608768 12367 33554432000 4194304 4196468 140726937111024 140612204075536 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11818] ppid=11800 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11818/stat : 11818 (java) S 11800 11800 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475088599 15512608768 12367 33554432000 4194304 4196468 140726937111024 140611397151344 140612254624386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11820] ppid=11800 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11820/stat : 11820 (java) S 11800 11800 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475088600 15512608768 12367 33554432000 4194304 4196468 140726937111024 140611396097312 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11821] ppid=11800 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11821/stat : 11821 (java) S 11800 11800 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475088600 15512608768 12367 33554432000 4194304 4196468 140726937111024 140611395044976 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11824] ppid=11800 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11824/stat : 11824 (java) S 11800 11800 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475088602 15512608768 12367 33554432000 4194304 4196468 140726937111024 140611393993296 140612254631835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11825] ppid=11800 vsize=15149032 memory=7893295687695687954 CPUtime=0.03 cores=1,3,5,7
/proc/11806/task/11825/stat : 11825 (java) S 11800 11800 11742 0 -1 1077944384 627 0 0 0 3 0 0 0 20 0 15 0 475088602 15512608768 12367 33554432000 4194304 4196468 140726937111024 140611392940144 140612254624386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11826] ppid=11800 vsize=15149032 memory=-8813974798734826869 CPUtime=0.04 cores=1,3,5,7
/proc/11806/task/11826/stat : 11826 (java) S 11800 11800 11742 0 -1 1077944384 166 0 0 0 4 0 0 0 20 0 15 0 475088602 15512608768 12367 33554432000 4194304 4196468 140726937111024 140611391887344 140612254624386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11827] ppid=11800 vsize=15149032 memory=7827413994055111515 CPUtime=0.12 cores=1,3,5,7
/proc/11806/task/11827/stat : 11827 (java) S 11800 11800 11742 0 -1 1077944384 840 0 0 0 12 0 0 0 20 0 15 0 475088602 15512608768 12367 33554432000 4194304 4196468 140726937111024 140611323685232 140612254624386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11832] ppid=11800 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11832/stat : 11832 (java) S 11800 11800 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475088603 15512608768 12367 33554432000 4194304 4196468 140726937111024 140611322632672 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11834] ppid=11800 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11834/stat : 11834 (java) S 11800 11800 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475088603 15512608768 12367 33554432000 4194304 4196468 140726937111024 140611321580464 140612254624386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50808 KiB
[startup+0.700696 s]
/proc/loadavg: 0.56 0.66 0.77 9/231 11835
/proc/meminfo: memFree=6911156/32770624 swapFree=66974496/67108860
[pid=11800] ppid=11795 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11800/stat : 11800 (xcsp3-exec) S 11795 11800 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475088597 115843072 363 33554432000 4194304 5098028 140722970721280 140722970719384 139876213785212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15421440 140722970723194 140722970723437 140722970723437 140722970726346 0
/proc/11800/statm: 28282 363 305 221 0 87 0
[pid=11806] ppid=11800 vsize=15151156 memory=81512 CPUtime=1.63 cores=1,3,5,7
/proc/11806/stat : 11806 (java) S 11800 11800 11742 0 -1 1077944320 15051 0 1 0 157 6 0 0 20 0 15 0 475088597 15514783744 20378 33554432000 4194304 4196468 140726937111024 140726937093568 140612254613239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
/proc/11806/statm: 3787789 20378 3452 1 0 3748889 0
[pid=11806/tid=11808] ppid=11800 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/11806/task/11808/stat : 11808 (java) R 11800 11800 11742 0 -1 4202560 9331 0 1 0 63 4 0 0 20 0 15 0 475088597 15514783744 20378 33554432000 4194304 4196468 140726937111024 140612258850480 140611877698303 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11810] ppid=11800 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11810/stat : 11810 (java) S 11800 11800 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475088598 15514783744 20378 33554432000 4194304 4196468 140726937111024 140612207233424 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11811] ppid=11800 vsize=15151156 memory=124 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11811/stat : 11811 (java) S 11800 11800 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475088598 15514783744 20378 33554432000 4194304 4196468 140726937111024 140612206180624 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11812] ppid=11800 vsize=15151156 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11812/stat : 11812 (java) S 11800 11800 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475088598 15514783744 20378 33554432000 4194304 4196468 140726937111024 140612205128336 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11813] ppid=11800 vsize=15151156 memory=6088 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11813/stat : 11813 (java) S 11800 11800 11742 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475088598 15514783744 20378 33554432000 4194304 4196468 140726937111024 140612204075536 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11818] ppid=11800 vsize=15151156 memory=10564 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11818/stat : 11818 (java) S 11800 11800 11742 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475088599 15514783744 20378 33554432000 4194304 4196468 140726937111024 140611397151344 140612254624386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11820] ppid=11800 vsize=15151156 memory=716 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11820/stat : 11820 (java) S 11800 11800 11742 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475088600 15514783744 20378 33554432000 4194304 4196468 140726937111024 140611396097312 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11821] ppid=11800 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11821/stat : 11821 (java) S 11800 11800 11742 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475088600 15514783744 20378 33554432000 4194304 4196468 140726937111024 140611395044976 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11824] ppid=11800 vsize=15151156 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11824/stat : 11824 (java) S 11800 11800 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475088602 15514783744 20378 33554432000 4194304 4196468 140726937111024 140611393993296 140612254631835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11825] ppid=11800 vsize=15151156 memory=2832 CPUtime=0.28 cores=1,3,5,7
/proc/11806/task/11825/stat : 11825 (java) R 11800 11800 11742 0 -1 4202560 1453 0 0 0 28 0 0 0 20 0 15 0 475088602 15514783744 20378 33554432000 4194304 4196468 140726937111024 140611392919840 140612234306335 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11826] ppid=11800 vsize=15151156 memory=1192 CPUtime=0.23 cores=1,3,5,7
/proc/11806/task/11826/stat : 11826 (java) S 11800 11800 11742 0 -1 1077944384 959 0 0 0 23 0 0 0 20 0 15 0 475088602 15514783744 20378 33554432000 4194304 4196468 140726937111024 140611391887344 140612254624386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11827] ppid=11800 vsize=15151156 memory=940 CPUtime=0.41 cores=1,3,5,7
/proc/11806/task/11827/stat : 11827 (java) R 11800 11800 11742 0 -1 4202560 2001 0 0 0 41 0 0 0 20 0 15 0 475088602 15514783744 20378 33554432000 4194304 4196468 140726937111024 140611323680960 140612234328044 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11832] ppid=11800 vsize=15151156 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11832/stat : 11832 (java) S 11800 11800 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475088603 15514783744 20378 33554432000 4194304 4196468 140726937111024 140611322632672 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11834] ppid=11800 vsize=15151156 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11834/stat : 11834 (java) S 11800 11800 11742 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475088603 15514783744 20378 33554432000 4194304 4196468 140726937111024 140611321580464 140612254624386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 82964 KiB
[startup+1.50165 s]
/proc/loadavg: 0.56 0.66 0.77 13/239 11843
/proc/meminfo: memFree=6814136/32770624 swapFree=66974496/67108860
[pid=11800] ppid=11795 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11800/stat : 11800 (xcsp3-exec) S 11795 11800 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475088597 115843072 363 33554432000 4194304 5098028 140722970721280 140722970719384 139876213785212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15421440 140722970723194 140722970723437 140722970723437 140722970726346 0
/proc/11800/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/11806/stat : 11806 (java) S 11800 11800 11742 0 -1 1077944320 96484 0 1 0 228116 801 0 0 20 0 19 0 475088597 15789527040 89611 33554432000 4194304 4196468 140726937111024 140726937093568 140612254613239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
/proc/11806/statm: 3854865 89611 3544 1 0 3815965 0
[pid=11806/tid=11808] ppid=11800 vsize=15419460 memory=358160 CPUtime=0.86 cores=1,3,5,7
/proc/11806/task/11808/stat : 11808 (java) S 11800 11800 11742 0 -1 1077944384 9435 0 1 0 81 5 0 0 20 0 19 0 475088597 15789527040 89611 33554432000 4194304 4196468 140726937111024 140612258854016 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11810] ppid=11800 vsize=15419460 memory=358160 CPUtime=2.29 cores=1,3,5,7
/proc/11806/task/11810/stat : 11810 (java) S 11800 11800 11742 0 -1 1077944384 4501 0 0 0 218 11 0 0 20 0 19 0 475088598 15789527040 89611 33554432000 4194304 4196468 140726937111024 140612207233424 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11811] ppid=11800 vsize=15419460 memory=358160 CPUtime=2.3 cores=1,3,5,7
/proc/11806/task/11811/stat : 11811 (java) S 11800 11800 11742 0 -1 1077944384 3410 0 0 0 219 11 0 0 20 0 19 0 475088598 15789527040 89611 33554432000 4194304 4196468 140726937111024 140612206180624 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11812] ppid=11800 vsize=15419460 memory=358444 CPUtime=2.3 cores=1,3,5,7
/proc/11806/task/11812/stat : 11812 (java) S 11800 11800 11742 0 -1 1077944384 3950 0 0 0 218 12 0 0 20 0 19 0 475088598 15789527040 89611 33554432000 4194304 4196468 140726937111024 140612205128336 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11813] ppid=11800 vsize=15419460 memory=1452 CPUtime=2.31 cores=1,3,5,7
/proc/11806/task/11813/stat : 11813 (java) S 11800 11800 11742 0 -1 1077944384 4624 0 0 0 219 12 0 0 20 0 19 0 475088598 15789527040 89611 33554432000 4194304 4196468 140726937111024 140612204075536 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11818] ppid=11800 vsize=15419460 memory=3620 CPUtime=10.38 cores=1,3,5,7
/proc/11806/task/11818/stat : 11818 (java) S 11800 11800 11742 0 -1 1077944384 4013 0 0 0 289 749 0 0 20 0 19 0 475088599 15789527040 89611 33554432000 4194304 4196468 140726937111024 140611397151344 140612254624386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11820] ppid=11800 vsize=15419460 memory=54348 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11820/stat : 11820 (java) S 11800 11800 11742 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 475088600 15789527040 89611 33554432000 4194304 4196468 140726937111024 140611396097376 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11821] ppid=11800 vsize=15419460 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11821/stat : 11821 (java) S 11800 11800 11742 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 19 0 475088600 15789527040 89611 33554432000 4194304 4196468 140726937111024 140611395044992 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11824] ppid=11800 vsize=15419460 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11824/stat : 11824 (java) S 11800 11800 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475088602 15789527040 89611 33554432000 4194304 4196468 140726937111024 140611393993296 140612254631835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11825] ppid=11800 vsize=15419460 memory=1452 CPUtime=3.78 cores=1,3,5,7
/proc/11806/task/11825/stat : 11825 (java) S 11800 11800 11742 0 -1 1077944384 18600 0 0 0 376 2 0 0 20 0 19 0 475088602 15789527040 89611 33554432000 4194304 4196468 140726937111024 140611392940144 140612254624386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11826] ppid=11800 vsize=15419460 memory=1452 CPUtime=3.61 cores=1,3,5,7
/proc/11806/task/11826/stat : 11826 (java) S 11800 11800 11742 0 -1 1077944384 19065 0 0 0 359 2 0 0 20 0 19 0 475088602 15789527040 89611 33554432000 4194304 4196468 140726937111024 140611391887344 140612254624386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11827] ppid=11800 vsize=15419460 memory=2832 CPUtime=1.02 cores=1,3,5,7
/proc/11806/task/11827/stat : 11827 (java) S 11800 11800 11742 0 -1 1077944384 10021 0 0 0 100 2 0 0 20 0 19 0 475088602 15789527040 89611 33554432000 4194304 4196468 140726937111024 140611323685232 140612254624386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11832] ppid=11800 vsize=15419460 memory=1192 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11832/stat : 11832 (java) S 11800 11800 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475088603 15789527040 89611 33554432000 4194304 4196468 140726937111024 140611322632672 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11834] ppid=11800 vsize=15419460 memory=357156 CPUtime=0.28 cores=1,3,5,7
/proc/11806/task/11834/stat : 11834 (java) S 11800 11800 11742 0 -1 1077944384 264 0 0 0 14 14 0 0 20 0 19 0 475088603 15789527040 89611 33554432000 4194304 4196468 140726937111024 140611321580464 140612254624386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11840] ppid=11800 vsize=15419460 memory=3620 CPUtime=563.32 cores=1,3,5,7
/proc/11806/task/11840/stat : 11840 (java) R 11800 11800 11742 0 -1 4202560 3474 0 0 0 56328 4 0 0 20 0 19 0 475088686 15789527040 89611 33554432000 4194304 4196468 140726937111024 140611310266336 140611886179952 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11841] ppid=11800 vsize=15419460 memory=1452 CPUtime=562.8 cores=1,3,5,7
/proc/11806/task/11841/stat : 11841 (java) R 11800 11800 11742 0 -1 4202560 9501 0 0 0 56275 5 0 0 20 0 19 0 475088686 15789527040 89611 33554432000 4194304 4196468 140726937111024 140611309212088 140611885049183 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11842] ppid=11800 vsize=15419460 memory=3620 CPUtime=562.47 cores=1,3,5,7
/proc/11806/task/11842/stat : 11842 (java) R 11800 11800 11742 0 -1 4202560 2685 0 0 0 56243 4 0 0 20 0 19 0 475088686 15789527040 89611 33554432000 4194304 4196468 140726937111024 140611308159016 140611886225853 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11843] ppid=11800 vsize=15419460 memory=1452 CPUtime=571.42 cores=1,3,5,7
/proc/11806/task/11843/stat : 11843 (java) R 11800 11800 11742 0 -1 4202560 1520 0 0 0 57138 4 0 0 20 0 19 0 475088686 15789527040 89611 33554432000 4194304 4196468 140726937111024 140611307106064 140611885049254 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
Current children cumulated CPU time: 2289.17 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 359896 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+640.502 s]
/proc/loadavg: 8.77 7.68 4.66 6/235 11978
/proc/meminfo: memFree=5905652/32770624 swapFree=66974496/67108860
[pid=11800] ppid=11795 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11800/stat : 11800 (xcsp3-exec) S 11795 11800 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475088597 115843072 363 33554432000 4194304 5098028 140722970721280 140722970719384 139876213785212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15421440 140722970723194 140722970723437 140722970723437 140722970726346 0
/proc/11800/statm: 28282 363 305 221 0 87 0
[pid=11806] ppid=11800 vsize=15419460 memory=357832 CPUtime=2520.38 cores=1,3,5,7
/proc/11806/stat : 11806 (java) S 11800 11800 11742 0 -1 1077944320 98026 0 1 0 251216 822 0 0 20 0 19 0 475088597 15789527040 89458 33554432000 4194304 4196468 140726937111024 140726937093568 140612254613239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
/proc/11806/statm: 3854865 89458 3544 1 0 3815965 0
[pid=11806/tid=11808] ppid=11800 vsize=15419460 memory=357832 CPUtime=0.86 cores=1,3,5,7
/proc/11806/task/11808/stat : 11808 (java) S 11800 11800 11742 0 -1 1077944384 9435 0 1 0 81 5 0 0 20 0 19 0 475088597 15789527040 89458 33554432000 4194304 4196468 140726937111024 140612258854016 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11810] ppid=11800 vsize=15419460 memory=1452 CPUtime=2.32 cores=1,3,5,7
/proc/11806/task/11810/stat : 11810 (java) S 11800 11800 11742 0 -1 1077944384 4648 0 0 0 221 11 0 0 20 0 19 0 475088598 15789527040 89458 33554432000 4194304 4196468 140726937111024 140612207233424 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11811] ppid=11800 vsize=15419460 memory=357832 CPUtime=2.34 cores=1,3,5,7
/proc/11806/task/11811/stat : 11811 (java) S 11800 11800 11742 0 -1 1077944384 3716 0 0 0 223 11 0 0 20 0 19 0 475088598 15789527040 89458 33554432000 4194304 4196468 140726937111024 140612206180624 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11812] ppid=11800 vsize=15419460 memory=357832 CPUtime=2.33 cores=1,3,5,7
/proc/11806/task/11812/stat : 11812 (java) S 11800 11800 11742 0 -1 1077944384 4087 0 0 0 221 12 0 0 20 0 19 0 475088598 15789527040 89458 33554432000 4194304 4196468 140726937111024 140612205128336 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11813] ppid=11800 vsize=15419460 memory=1452 CPUtime=2.35 cores=1,3,5,7
/proc/11806/task/11813/stat : 11813 (java) S 11800 11800 11742 0 -1 1077944384 4935 0 0 0 223 12 0 0 20 0 19 0 475088598 15789527040 89458 33554432000 4194304 4196468 140726937111024 140612204075536 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11818] ppid=11800 vsize=15419460 memory=357832 CPUtime=10.63 cores=1,3,5,7
/proc/11806/task/11818/stat : 11818 (java) S 11800 11800 11742 0 -1 1077944384 4190 0 0 0 295 768 0 0 20 0 19 0 475088599 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611397151344 140612254624386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11820] ppid=11800 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11820/stat : 11820 (java) S 11800 11800 11742 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 475088600 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611396097376 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11821] ppid=11800 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11821/stat : 11821 (java) S 11800 11800 11742 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 19 0 475088600 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611395044992 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11824] ppid=11800 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11824/stat : 11824 (java) S 11800 11800 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475088602 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611393993296 140612254631835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11825] ppid=11800 vsize=15419460 memory=357832 CPUtime=3.78 cores=1,3,5,7
/proc/11806/task/11825/stat : 11825 (java) S 11800 11800 11742 0 -1 1077944384 18603 0 0 0 376 2 0 0 20 0 19 0 475088602 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611392940144 140612254624386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11826] ppid=11800 vsize=15419460 memory=1452 CPUtime=3.61 cores=1,3,5,7
/proc/11806/task/11826/stat : 11826 (java) S 11800 11800 11742 0 -1 1077944384 19129 0 0 0 359 2 0 0 20 0 19 0 475088602 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611391887344 140612254624386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11827] ppid=11800 vsize=15419460 memory=1452 CPUtime=1.02 cores=1,3,5,7
/proc/11806/task/11827/stat : 11827 (java) S 11800 11800 11742 0 -1 1077944384 10023 0 0 0 100 2 0 0 20 0 19 0 475088602 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611323685232 140612254624386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11832] ppid=11800 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11832/stat : 11832 (java) S 11800 11800 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475088603 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611322632672 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11834] ppid=11800 vsize=15419460 memory=1452 CPUtime=0.28 cores=1,3,5,7
/proc/11806/task/11834/stat : 11834 (java) S 11800 11800 11742 0 -1 1077944384 279 0 0 0 14 14 0 0 20 0 19 0 475088603 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611321580464 140612254624386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11840] ppid=11800 vsize=15419460 memory=357832 CPUtime=620.87 cores=1,3,5,7
/proc/11806/task/11840/stat : 11840 (java) R 11800 11800 11742 0 -1 4202560 3546 0 0 0 62083 4 0 0 20 0 19 0 475088686 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611310263368 140611885837117 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11841] ppid=11800 vsize=15419460 memory=1452 CPUtime=620.55 cores=1,3,5,7
/proc/11806/task/11841/stat : 11841 (java) R 11800 11800 11742 0 -1 4202560 9577 0 0 0 62050 5 0 0 20 0 19 0 475088686 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611309214992 140611885049169 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11842] ppid=11800 vsize=15419460 memory=1452 CPUtime=619.98 cores=1,3,5,7
/proc/11806/task/11842/stat : 11842 (java) R 11800 11800 11742 0 -1 4202560 2783 0 0 0 61992 6 0 0 20 0 19 0 475088686 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611308159704 140611885835703 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11843] ppid=11800 vsize=15419460 memory=1452 CPUtime=629.38 cores=1,3,5,7
/proc/11806/task/11843/stat : 11843 (java) R 11800 11800 11742 0 -1 4202560 1654 0 0 0 62934 4 0 0 20 0 19 0 475088686 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611307106064 140611885049086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
Current children cumulated CPU time: 2520.38 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 359284 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+640.536 s]
# the end of solver process 11800 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002404 s, system=0 s
[startup+640.61 s]
# the end of solver process 11806 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.53 s, system=8.24426 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+640.502 s]
/proc/loadavg: 8.77 7.68 4.66 6/235 11978
/proc/meminfo: memFree=5905652/32770624 swapFree=66974496/67108860
[pid=11800] ppid=11795 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11800/stat : 11800 (xcsp3-exec) S 11795 11800 11742 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475088597 115843072 363 33554432000 4194304 5098028 140722970721280 140722970719384 139876213785212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 15421440 140722970723194 140722970723437 140722970723437 140722970726346 0
/proc/11800/statm: 28282 363 305 221 0 87 0
[pid=11806] ppid=11800 vsize=15419460 memory=357832 CPUtime=2520.38 cores=1,3,5,7
/proc/11806/stat : 11806 (java) S 11800 11800 11742 0 -1 1077944320 98026 0 1 0 251216 822 0 0 20 0 19 0 475088597 15789527040 89458 33554432000 4194304 4196468 140726937111024 140726937093568 140612254613239 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
/proc/11806/statm: 3854865 89458 3544 1 0 3815965 0
[pid=11806/tid=11808] ppid=11800 vsize=15419460 memory=357832 CPUtime=0.86 cores=1,3,5,7
/proc/11806/task/11808/stat : 11808 (java) S 11800 11800 11742 0 -1 1077944384 9435 0 1 0 81 5 0 0 20 0 19 0 475088597 15789527040 89458 33554432000 4194304 4196468 140726937111024 140612258854016 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11810] ppid=11800 vsize=15419460 memory=1452 CPUtime=2.32 cores=1,3,5,7
/proc/11806/task/11810/stat : 11810 (java) S 11800 11800 11742 0 -1 1077944384 4648 0 0 0 221 11 0 0 20 0 19 0 475088598 15789527040 89458 33554432000 4194304 4196468 140726937111024 140612207233424 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11811] ppid=11800 vsize=15419460 memory=357832 CPUtime=2.34 cores=1,3,5,7
/proc/11806/task/11811/stat : 11811 (java) S 11800 11800 11742 0 -1 1077944384 3716 0 0 0 223 11 0 0 20 0 19 0 475088598 15789527040 89458 33554432000 4194304 4196468 140726937111024 140612206180624 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11812] ppid=11800 vsize=15419460 memory=357832 CPUtime=2.33 cores=1,3,5,7
/proc/11806/task/11812/stat : 11812 (java) S 11800 11800 11742 0 -1 1077944384 4087 0 0 0 221 12 0 0 20 0 19 0 475088598 15789527040 89458 33554432000 4194304 4196468 140726937111024 140612205128336 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11813] ppid=11800 vsize=15419460 memory=1452 CPUtime=2.35 cores=1,3,5,7
/proc/11806/task/11813/stat : 11813 (java) S 11800 11800 11742 0 -1 1077944384 4935 0 0 0 223 12 0 0 20 0 19 0 475088598 15789527040 89458 33554432000 4194304 4196468 140726937111024 140612204075536 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11818] ppid=11800 vsize=15419460 memory=357832 CPUtime=10.63 cores=1,3,5,7
/proc/11806/task/11818/stat : 11818 (java) S 11800 11800 11742 0 -1 1077944384 4190 0 0 0 295 768 0 0 20 0 19 0 475088599 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611397151344 140612254624386 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11820] ppid=11800 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11820/stat : 11820 (java) S 11800 11800 11742 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 475088600 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611396097376 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11821] ppid=11800 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11821/stat : 11821 (java) S 11800 11800 11742 0 -1 1077944384 113 0 0 0 0 0 0 0 20 0 19 0 475088600 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611395044992 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11824] ppid=11800 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11824/stat : 11824 (java) S 11800 11800 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475088602 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611393993296 140612254631835 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11825] ppid=11800 vsize=15419460 memory=357832 CPUtime=3.78 cores=1,3,5,7
/proc/11806/task/11825/stat : 11825 (java) S 11800 11800 11742 0 -1 1077944384 18603 0 0 0 376 2 0 0 20 0 19 0 475088602 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611392940144 140612254624386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11826] ppid=11800 vsize=15419460 memory=1452 CPUtime=3.61 cores=1,3,5,7
/proc/11806/task/11826/stat : 11826 (java) S 11800 11800 11742 0 -1 1077944384 19129 0 0 0 359 2 0 0 20 0 19 0 475088602 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611391887344 140612254624386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11827] ppid=11800 vsize=15419460 memory=1452 CPUtime=1.02 cores=1,3,5,7
/proc/11806/task/11827/stat : 11827 (java) S 11800 11800 11742 0 -1 1077944384 10023 0 0 0 100 2 0 0 20 0 19 0 475088602 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611323685232 140612254624386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11832] ppid=11800 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11806/task/11832/stat : 11832 (java) S 11800 11800 11742 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475088603 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611322632672 140612254623445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11834] ppid=11800 vsize=15419460 memory=1452 CPUtime=0.28 cores=1,3,5,7
/proc/11806/task/11834/stat : 11834 (java) S 11800 11800 11742 0 -1 1077944384 279 0 0 0 14 14 0 0 20 0 19 0 475088603 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611321580464 140612254624386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11840] ppid=11800 vsize=15419460 memory=357832 CPUtime=620.87 cores=1,3,5,7
/proc/11806/task/11840/stat : 11840 (java) R 11800 11800 11742 0 -1 4202560 3546 0 0 0 62083 4 0 0 20 0 19 0 475088686 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611310263368 140611885837117 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11841] ppid=11800 vsize=15419460 memory=1452 CPUtime=620.55 cores=1,3,5,7
/proc/11806/task/11841/stat : 11841 (java) R 11800 11800 11742 0 -1 4202560 9577 0 0 0 62050 5 0 0 20 0 19 0 475088686 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611309214992 140611885049169 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11842] ppid=11800 vsize=15419460 memory=1452 CPUtime=619.98 cores=1,3,5,7
/proc/11806/task/11842/stat : 11842 (java) R 11800 11800 11742 0 -1 4202560 2783 0 0 0 61992 6 0 0 20 0 19 0 475088686 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611308159704 140611885835703 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
[pid=11806/tid=11843] ppid=11800 vsize=15419460 memory=1452 CPUtime=629.38 cores=1,3,5,7
/proc/11806/task/11843/stat : 11843 (java) R 11800 11800 11742 0 -1 4202560 1654 0 0 0 62934 4 0 0 20 0 19 0 475088686 15789527040 89458 33554432000 4194304 4196468 140726937111024 140611307106064 140611885049086 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7827456 140726937113583 140726937113754 140726937113754 140726937116623 0
Current children cumulated CPU time: 2520.38 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 359284 KiB
Child status: 143
Real time (s): 640.61
CPU time (s): 2520.77
CPU user time (s): 2512.53
CPU system time (s): 8.24426
CPU usage (%): 393.496
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 492920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.53
system time used= 8.24427
maximum resident set size= 515320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98950
page faults= 1
swaps= 0
block input operations= 424
block output operations= 872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 53729
involuntary context switches= 46829
# summary of solver processes directly reported to runsolver:
# pid: 11800,11806
# total CPU time (s): 2520.77
# total CPU user time (s): 2512.53
# total CPU system time (s): 8.24426
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.10346 second user time and 7.25425 second system time
The end