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 (13499 MiB free)
memory of node 1: 16384 MiB (14005 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406478-1569402007/watcher-4406478-1569402007 -o /var/tmp/evaluation-result-4406478-1569402007/solver-4406478-1569402007 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node150-1569396629-6770 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 13758179 HOME/instance-4406478-1569402007.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
Current StackSize limit: 8192 KiB
solver pid=7718, runsolver pid=7715
[startup+0.100059 s]*
/proc/loadavg: 1.76 1.81 1.86 4/230 7734
/proc/meminfo: memFree=28149584/32770624 swapFree=67024096/67108860
[pid=7718] ppid=7715 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7718/stat : 7718 (xcsp3-exec) S 7715 7718 6739 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516473229 115843072 363 33554432000 4194304 5098028 140730028888848 140730028886952 140291839275644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17321984 140730028893016 140730028893273 140730028893273 140730028896198 0
/proc/7718/statm: 28282 363 304 221 0 87 0
[pid=7720] ppid=7718 vsize=15144776 memory=28952 CPUtime=0.12 cores=0,2,4,6
/proc/7720/stat : 7720 (java) S 7718 7718 6739 0 -1 1077944320 5671 0 0 0 12 0 0 0 20 0 15 0 516473230 15508250624 7238 33554432000 4194304 4196468 140728591587536 140728591570080 140450452553463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
/proc/7720/statm: 3786194 7238 3151 1 0 3748377 0
[pid=7720/tid=7721] ppid=7718 vsize=15144776 memory=7971834919377933147 CPUtime=0.09 cores=0,2,4,6
/proc/7720/task/7721/stat : 7721 (java) R 7718 7718 6739 0 -1 4202560 3550 0 0 0 9 0 0 0 20 0 15 0 516473230 15508250624 7238 33554432000 4194304 4196468 140728591587536 140450456785928 140450444794853 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7722] ppid=7718 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7722/stat : 7722 (java) S 7718 7718 6739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516473231 15508250624 7238 33554432000 4194304 4196468 140728591587536 140450405174416 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7723] ppid=7718 vsize=15144776 memory=139719245371008 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7723/stat : 7723 (java) S 7718 7718 6739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516473231 15508250624 7238 33554432000 4194304 4196468 140728591587536 140450404121616 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7724] ppid=7718 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7724/stat : 7724 (java) S 7718 7718 6739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516473231 15508250624 7238 33554432000 4194304 4196468 140728591587536 140450403068816 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7725] ppid=7718 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7725/stat : 7725 (java) S 7718 7718 6739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516473231 15508250624 7238 33554432000 4194304 4196468 140728591587536 140450402016016 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7726] ppid=7718 vsize=15144776 memory=139719245371008 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7726/stat : 7726 (java) S 7718 7718 6739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516473232 15508250624 7238 33554432000 4194304 4196468 140728591587536 140449393117552 140450452564610 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7727] ppid=7718 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7727/stat : 7727 (java) S 7718 7718 6739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516473232 15508250624 7238 33554432000 4194304 4196468 140728591587536 140449392063520 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7728] ppid=7718 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7728/stat : 7728 (java) S 7718 7718 6739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516473233 15508250624 7238 33554432000 4194304 4196468 140728591587536 140449188668272 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7729] ppid=7718 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7729/stat : 7729 (java) S 7718 7718 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516473235 15508250624 7238 33554432000 4194304 4196468 140728591587536 140449187616592 140450452572059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7730] ppid=7718 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7730/stat : 7730 (java) S 7718 7718 6739 0 -1 1077944384 351 0 0 0 0 0 0 0 20 0 15 0 516473235 15508250624 7238 33554432000 4194304 4196468 140728591587536 140449186564976 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7731] ppid=7718 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7731/stat : 7731 (java) S 7718 7718 6739 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 516473235 15508250624 7238 33554432000 4194304 4196468 140728591587536 140449185512176 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7732] ppid=7718 vsize=15144776 memory=139719245371008 CPUtime=0.02 cores=0,2,4,6
/proc/7720/task/7732/stat : 7732 (java) R 7718 7718 6739 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 15 0 516473235 15508250624 7238 33554432000 4194304 4196468 140728591587536 140449184459376 140450436863921 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7733] ppid=7718 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7733/stat : 7733 (java) S 7718 7718 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516473235 15508250624 7238 33554432000 4194304 4196468 140728591587536 140449183406816 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7734] ppid=7718 vsize=15144776 memory=139719245371008 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7734/stat : 7734 (java) S 7718 7718 6739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516473236 15508250624 7238 33554432000 4194304 4196468 140728591587536 140449182354096 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30404 KiB
[startup+0.21086 s]*
/proc/loadavg: 1.76 1.81 1.86 5/230 7734
/proc/meminfo: memFree=28136280/32770624 swapFree=67024096/67108860
[pid=7718] ppid=7715 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7718/stat : 7718 (xcsp3-exec) S 7715 7718 6739 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516473229 115843072 363 33554432000 4194304 5098028 140730028888848 140730028886952 140291839275644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17321984 140730028893016 140730028893273 140730028893273 140730028896198 0
/proc/7718/statm: 28282 363 304 221 0 87 0
[pid=7720] ppid=7718 vsize=15144776 memory=41072 CPUtime=0.34 cores=0,2,4,6
/proc/7720/stat : 7720 (java) S 7718 7718 6739 0 -1 1077944320 9468 0 0 0 32 2 0 0 20 0 15 0 516473230 15508250624 10268 33554432000 4194304 4196468 140728591587536 140728591570080 140450452553463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
/proc/7720/statm: 3786194 10268 3298 1 0 3748377 0
[pid=7720/tid=7721] ppid=7718 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/7720/task/7721/stat : 7721 (java) R 7718 7718 6739 0 -1 4202560 6585 0 0 0 18 1 0 0 20 0 15 0 516473230 15508250624 10268 33554432000 4194304 4196468 140728591587536 140450456790488 140450452575389 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7722] ppid=7718 vsize=15144776 memory=13575 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7722/stat : 7722 (java) S 7718 7718 6739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516473231 15508250624 10268 33554432000 4194304 4196468 140728591587536 140450405174416 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7723] ppid=7718 vsize=15144776 memory=139719249239048 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7723/stat : 7723 (java) S 7718 7718 6739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516473231 15508250624 10268 33554432000 4194304 4196468 140728591587536 140450404121616 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7724] ppid=7718 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7724/stat : 7724 (java) S 7718 7718 6739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516473231 15508250624 10268 33554432000 4194304 4196468 140728591587536 140450403068816 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7725] ppid=7718 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7725/stat : 7725 (java) S 7718 7718 6739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516473231 15508250624 10268 33554432000 4194304 4196468 140728591587536 140450402016016 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7726] ppid=7718 vsize=15144776 memory=139719245371008 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7726/stat : 7726 (java) S 7718 7718 6739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516473232 15508250624 10268 33554432000 4194304 4196468 140728591587536 140449393117552 140450452564610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7727] ppid=7718 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7727/stat : 7727 (java) S 7718 7718 6739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516473232 15508250624 10268 33554432000 4194304 4196468 140728591587536 140449392063520 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7728] ppid=7718 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7728/stat : 7728 (java) S 7718 7718 6739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516473233 15508250624 10268 33554432000 4194304 4196468 140728591587536 140449188668272 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7729] ppid=7718 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7729/stat : 7729 (java) S 7718 7718 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516473235 15508250624 10268 33554432000 4194304 4196468 140728591587536 140449187616592 140450452572059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7730] ppid=7718 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7720/task/7730/stat : 7730 (java) S 7718 7718 6739 0 -1 1077944384 383 0 0 0 1 0 0 0 20 0 15 0 516473235 15508250624 10268 33554432000 4194304 4196468 140728591587536 140449186564976 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7731] ppid=7718 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/7720/task/7731/stat : 7731 (java) S 7718 7718 6739 0 -1 1077944384 462 0 0 0 2 0 0 0 20 0 15 0 516473235 15508250624 10268 33554432000 4194304 4196468 140728591587536 140449185512176 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7732] ppid=7718 vsize=15144776 memory=139719245371008 CPUtime=0.08 cores=0,2,4,6
/proc/7720/task/7732/stat : 7732 (java) S 7718 7718 6739 0 -1 1077944384 734 0 0 0 8 0 0 0 20 0 15 0 516473235 15508250624 10268 33554432000 4194304 4196468 140728591587536 140449184459376 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7733] ppid=7718 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7733/stat : 7733 (java) S 7718 7718 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516473235 15508250624 10268 33554432000 4194304 4196468 140728591587536 140449183406816 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7734] ppid=7718 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7734/stat : 7734 (java) S 7718 7718 6739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516473236 15508250624 10268 33554432000 4194304 4196468 140728591587536 140449182354096 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42524 KiB
[startup+0.321354 s]*
/proc/loadavg: 1.76 1.81 1.86 3/230 7734
/proc/meminfo: memFree=28128864/32770624 swapFree=67024096/67108860
[pid=7718] ppid=7715 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7718/stat : 7718 (xcsp3-exec) S 7715 7718 6739 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516473229 115843072 363 33554432000 4194304 5098028 140730028888848 140730028886952 140291839275644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17321984 140730028893016 140730028893273 140730028893273 140730028896198 0
/proc/7718/statm: 28282 363 304 221 0 87 0
[pid=7720] ppid=7718 vsize=15149032 memory=50252 CPUtime=0.54 cores=0,2,4,6
/proc/7720/stat : 7720 (java) S 7718 7718 6739 0 -1 1077944320 10942 0 0 0 51 3 0 0 20 0 15 0 516473230 15512608768 12563 33554432000 4194304 4196468 140728591587536 140728591570080 140450452553463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
/proc/7720/statm: 3787258 12563 3339 1 0 3748377 0
[pid=7720/tid=7721] ppid=7718 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/7720/task/7721/stat : 7721 (java) R 7718 7718 6739 0 -1 4202560 7896 0 0 0 28 2 0 0 20 0 15 0 516473230 15512608768 12563 33554432000 4194304 4196468 140728591587536 140450456788576 140450436633950 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7722] ppid=7718 vsize=15149032 memory=13938 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7722/stat : 7722 (java) S 7718 7718 6739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516473231 15512608768 12563 33554432000 4194304 4196468 140728591587536 140450405174416 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7723] ppid=7718 vsize=15149032 memory=3856783 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7723/stat : 7723 (java) S 7718 7718 6739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516473231 15512608768 12563 33554432000 4194304 4196468 140728591587536 140450404121616 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7724] ppid=7718 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7724/stat : 7724 (java) S 7718 7718 6739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516473231 15512608768 12563 33554432000 4194304 4196468 140728591587536 140450403068816 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7725] ppid=7718 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7725/stat : 7725 (java) S 7718 7718 6739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516473231 15512608768 12563 33554432000 4194304 4196468 140728591587536 140450402016016 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7726] ppid=7718 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7726/stat : 7726 (java) S 7718 7718 6739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516473232 15512608768 12563 33554432000 4194304 4196468 140728591587536 140449393117552 140450452564610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7727] ppid=7718 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7727/stat : 7727 (java) S 7718 7718 6739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516473232 15512608768 12563 33554432000 4194304 4196468 140728591587536 140449392063520 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7728] ppid=7718 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7728/stat : 7728 (java) S 7718 7718 6739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516473233 15512608768 12563 33554432000 4194304 4196468 140728591587536 140449188668272 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7729] ppid=7718 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7729/stat : 7729 (java) S 7718 7718 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516473235 15512608768 12563 33554432000 4194304 4196468 140728591587536 140449187616592 140450452572059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7730] ppid=7718 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/7720/task/7730/stat : 7730 (java) S 7718 7718 6739 0 -1 1077944384 390 0 0 0 3 0 0 0 20 0 15 0 516473235 15512608768 12563 33554432000 4194304 4196468 140728591587536 140449186564976 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7731] ppid=7718 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/7720/task/7731/stat : 7731 (java) S 7718 7718 6739 0 -1 1077944384 547 0 0 0 5 0 0 0 20 0 15 0 516473235 15512608768 12563 33554432000 4194304 4196468 140728591587536 140449185512176 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7732] ppid=7718 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/7720/task/7732/stat : 7732 (java) S 7718 7718 6739 0 -1 1077944384 806 0 0 0 12 0 0 0 20 0 15 0 516473235 15512608768 12563 33554432000 4194304 4196468 140728591587536 140449184459376 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7733] ppid=7718 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7733/stat : 7733 (java) S 7718 7718 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516473235 15512608768 12563 33554432000 4194304 4196468 140728591587536 140449183406816 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7734] ppid=7718 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7734/stat : 7734 (java) S 7718 7718 6739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516473236 15512608768 12563 33554432000 4194304 4196468 140728591587536 140449182354096 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51704 KiB
[startup+0.701393 s]
/proc/loadavg: 1.78 1.81 1.86 6/230 7734
/proc/meminfo: memFree=28114688/32770624 swapFree=67024096/67108860
[pid=7718] ppid=7715 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7718/stat : 7718 (xcsp3-exec) S 7715 7718 6739 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516473229 115843072 363 33554432000 4194304 5098028 140730028888848 140730028886952 140291839275644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17321984 140730028893016 140730028893273 140730028893273 140730028896198 0
/proc/7718/statm: 28282 363 304 221 0 87 0
[pid=7720] ppid=7718 vsize=15151156 memory=78924 CPUtime=1.61 cores=0,2,4,6
/proc/7720/stat : 7720 (java) S 7718 7718 6739 0 -1 1077944320 17055 0 0 0 156 5 0 0 20 0 15 0 516473230 15514783744 19731 33554432000 4194304 4196468 140728591587536 140728591570080 140450452553463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
/proc/7720/statm: 3787789 19731 3457 1 0 3748889 0
[pid=7720/tid=7721] ppid=7718 vsize=15151156 memory=12328 CPUtime=0.67 cores=0,2,4,6
/proc/7720/task/7721/stat : 7721 (java) R 7718 7718 6739 0 -1 4202560 9126 0 0 0 64 3 0 0 20 0 15 0 516473230 15514783744 19731 33554432000 4194304 4196468 140728591587536 140450456789344 140450077901537 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7722] ppid=7718 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7722/stat : 7722 (java) S 7718 7718 6739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516473231 15514783744 19731 33554432000 4194304 4196468 140728591587536 140450405174416 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7723] ppid=7718 vsize=15151156 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7723/stat : 7723 (java) S 7718 7718 6739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516473231 15514783744 19731 33554432000 4194304 4196468 140728591587536 140450404121616 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7724] ppid=7718 vsize=15151156 memory=1740 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7724/stat : 7724 (java) S 7718 7718 6739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516473231 15514783744 19731 33554432000 4194304 4196468 140728591587536 140450403068816 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7725] ppid=7718 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7725/stat : 7725 (java) S 7718 7718 6739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516473231 15514783744 19731 33554432000 4194304 4196468 140728591587536 140450402016016 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7726] ppid=7718 vsize=15151156 memory=1940 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7726/stat : 7726 (java) S 7718 7718 6739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516473232 15514783744 19731 33554432000 4194304 4196468 140728591587536 140449393117552 140450452564610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7727] ppid=7718 vsize=15151156 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7727/stat : 7727 (java) S 7718 7718 6739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516473232 15514783744 19731 33554432000 4194304 4196468 140728591587536 140449392063520 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7728] ppid=7718 vsize=15151156 memory=2508 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7728/stat : 7728 (java) S 7718 7718 6739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516473233 15514783744 19731 33554432000 4194304 4196468 140728591587536 140449188668272 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7729] ppid=7718 vsize=15151156 memory=1532 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7729/stat : 7729 (java) S 7718 7718 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516473235 15514783744 19731 33554432000 4194304 4196468 140728591587536 140449187616592 140450452572059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7730] ppid=7718 vsize=15151156 memory=836 CPUtime=0.29 cores=0,2,4,6
/proc/7720/task/7730/stat : 7730 (java) R 7718 7718 6739 0 -1 4202560 2109 0 0 0 29 0 0 0 20 0 15 0 516473235 15514783744 19731 33554432000 4194304 4196468 140728591587536 140449186550824 140450434098424 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7731] ppid=7718 vsize=15151156 memory=1760 CPUtime=0.31 cores=0,2,4,6
/proc/7720/task/7731/stat : 7731 (java) R 7718 7718 6739 0 -1 4202560 2674 0 0 0 30 1 0 0 20 0 15 0 516473235 15514783744 19731 33554432000 4194304 4196468 140728591587536 140449185498200 140450434097928 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7732] ppid=7718 vsize=15151156 memory=111632 CPUtime=0.3 cores=0,2,4,6
/proc/7720/task/7732/stat : 7732 (java) R 7718 7718 6739 0 -1 1077944384 1838 0 0 0 30 0 0 0 20 0 15 0 516473235 15514783744 19731 33554432000 4194304 4196468 140728591587536 140449184459376 140450452564610 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7733] ppid=7718 vsize=15151156 memory=804 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7733/stat : 7733 (java) S 7718 7718 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516473235 15514783744 19731 33554432000 4194304 4196468 140728591587536 140449183406816 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7734] ppid=7718 vsize=15151156 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7734/stat : 7734 (java) S 7718 7718 6739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516473236 15514783744 19731 33554432000 4194304 4196468 140728591587536 140449182354096 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 80376 KiB
[startup+1.50083 s]
/proc/loadavg: 1.78 1.81 1.86 5/230 7734
/proc/meminfo: memFree=28088152/32770624 swapFree=67024096/67108860
[pid=7718] ppid=7715 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7718/stat : 7718 (xcsp3-exec) S 7715 7718 6739 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516473229 115843072 363 33554432000 4194304 5098028 140730028888848 140730028886952 140291839275644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17321984 140730028893016 140730028893273 140730028893273 140730028896198 0
/proc/7718/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/7720/task/7728/stat : 7728 (java) S 7718 7718 6739 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 516473233 15514783744 628491 33554432000 4194304 4196468 140728591587536 140449188668288 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7729] ppid=7718 vsize=15151156 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7729/stat : 7729 (java) S 7718 7718 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516473235 15514783744 628491 33554432000 4194304 4196468 140728591587536 140449187616592 140450452572059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7730] ppid=7718 vsize=15151156 memory=3648 CPUtime=2.07 cores=0,2,4,6
/proc/7720/task/7730/stat : 7730 (java) S 7718 7718 6739 0 -1 1077944384 15240 0 0 0 205 2 0 0 20 0 15 0 516473235 15514783744 628491 33554432000 4194304 4196468 140728591587536 140449186564976 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7731] ppid=7718 vsize=15151156 memory=53920 CPUtime=1.9 cores=0,2,4,6
/proc/7720/task/7731/stat : 7731 (java) S 7718 7718 6739 0 -1 1077944384 14909 0 0 0 188 2 0 0 20 0 15 0 516473235 15514783744 628491 33554432000 4194304 4196468 140728591587536 140449185512176 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7732] ppid=7718 vsize=15151156 memory=2513964 CPUtime=0.46 cores=0,2,4,6
/proc/7720/task/7732/stat : 7732 (java) S 7718 7718 6739 0 -1 1077944384 6969 0 0 0 45 1 0 0 20 0 15 0 516473235 15514783744 628491 33554432000 4194304 4196468 140728591587536 140449184459376 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7733] ppid=7718 vsize=15151156 memory=53920 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7733/stat : 7733 (java) S 7718 7718 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516473235 15514783744 628491 33554432000 4194304 4196468 140728591587536 140449183406816 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7734] ppid=7718 vsize=15151156 memory=2513964 CPUtime=0.53 cores=0,2,4,6
/proc/7720/task/7734/stat : 7734 (java) S 7718 7718 6739 0 -1 1077944384 1890 0 0 0 22 31 0 0 20 0 15 0 516473236 15514783744 628491 33554432000 4194304 4196468 140728591587536 140449182354096 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
Current children cumulated CPU time: 2270.49 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 2515416 KiB
[startup+2322.3 s]
/proc/loadavg: 1.82 1.67 1.64 3/229 8070
/proc/meminfo: memFree=23664672/32770624 swapFree=67024112/67108860
[pid=7718] ppid=7715 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7718/stat : 7718 (xcsp3-exec) S 7715 7718 6739 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516473229 115843072 363 33554432000 4194304 5098028 140730028888848 140730028886952 140291839275644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17321984 140730028893016 140730028893273 140730028893273 140730028896198 0
/proc/7718/statm: 28282 363 304 221 0 87 0
[pid=7720] ppid=7718 vsize=15151156 memory=4485660 CPUtime=2330.78 cores=0,2,4,6
/proc/7720/stat : 7720 (java) S 7718 7718 6739 0 -1 1077944320 134878 0 0 0 232676 402 0 0 20 0 15 0 516473230 15514783744 1121415 33554432000 4194304 4196468 140728591587536 140728591570080 140450452553463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
/proc/7720/statm: 3787789 1121415 3529 1 0 3748889 0
[pid=7720/tid=7721] ppid=7718 vsize=15151156 memory=3480244 CPUtime=2319.4 cores=0,2,4,6
/proc/7720/task/7721/stat : 7721 (java) R 7718 7718 6739 0 -1 4202560 67016 0 0 0 231601 339 0 0 20 0 15 0 516473230 15514783744 1121415 33554432000 4194304 4196468 140728591587536 140450456792672 140450082101179 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7722] ppid=7718 vsize=15151156 memory=2513964 CPUtime=1.37 cores=0,2,4,6
/proc/7720/task/7722/stat : 7722 (java) S 7718 7718 6739 0 -1 1077944384 2980 0 0 0 132 5 0 0 20 0 15 0 516473231 15514783744 1121415 33554432000 4194304 4196468 140728591587536 140450405174416 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7723] ppid=7718 vsize=15151156 memory=1452 CPUtime=1.36 cores=0,2,4,6
/proc/7720/task/7723/stat : 7723 (java) S 7718 7718 6739 0 -1 1077944384 3448 0 0 0 131 5 0 0 20 0 15 0 516473231 15514783744 1121415 33554432000 4194304 4196468 140728591587536 140450404121616 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7724] ppid=7718 vsize=15151156 memory=2964180 CPUtime=1.35 cores=0,2,4,6
/proc/7720/task/7724/stat : 7724 (java) S 7718 7718 6739 0 -1 1077944384 3672 0 0 0 130 5 0 0 20 0 15 0 516473231 15514783744 1121415 33554432000 4194304 4196468 140728591587536 140450403068816 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7725] ppid=7718 vsize=15151156 memory=3383608 CPUtime=1.36 cores=0,2,4,6
/proc/7720/task/7725/stat : 7725 (java) S 7718 7718 6739 0 -1 1077944384 4621 0 0 0 130 6 0 0 20 0 15 0 516473231 15514783744 1121415 33554432000 4194304 4196468 140728591587536 140450402016016 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7726] ppid=7718 vsize=15151156 memory=3447348 CPUtime=0.88 cores=0,2,4,6
/proc/7720/task/7726/stat : 7726 (java) S 7718 7718 6739 0 -1 1077944384 12676 0 0 0 73 15 0 0 20 0 15 0 516473232 15514783744 1121415 33554432000 4194304 4196468 140728591587536 140449393117552 140450452564610 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7727] ppid=7718 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7727/stat : 7727 (java) S 7718 7718 6739 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 516473232 15514783744 1121415 33554432000 4194304 4196468 140728591587536 140449392063584 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7728] ppid=7718 vsize=15151156 memory=4485660 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7728/stat : 7728 (java) S 7718 7718 6739 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 516473233 15514783744 1121415 33554432000 4194304 4196468 140728591587536 140449188668288 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7729] ppid=7718 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7729/stat : 7729 (java) S 7718 7718 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516473235 15514783744 1121415 33554432000 4194304 4196468 140728591587536 140449187616592 140450452572059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7730] ppid=7718 vsize=15151156 memory=4452764 CPUtime=2.07 cores=0,2,4,6
/proc/7720/task/7730/stat : 7730 (java) S 7718 7718 6739 0 -1 1077944384 15240 0 0 0 205 2 0 0 20 0 15 0 516473235 15514783744 1121415 33554432000 4194304 4196468 140728591587536 140449186564976 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7731] ppid=7718 vsize=15151156 memory=4485660 CPUtime=1.9 cores=0,2,4,6
/proc/7720/task/7731/stat : 7731 (java) S 7718 7718 6739 0 -1 1077944384 14909 0 0 0 188 2 0 0 20 0 15 0 516473235 15514783744 1121415 33554432000 4194304 4196468 140728591587536 140449185512176 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7732] ppid=7718 vsize=15151156 memory=1452 CPUtime=0.46 cores=0,2,4,6
/proc/7720/task/7732/stat : 7732 (java) S 7718 7718 6739 0 -1 1077944384 6969 0 0 0 45 1 0 0 20 0 15 0 516473235 15514783744 1121415 33554432000 4194304 4196468 140728591587536 140449184459376 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7733] ppid=7718 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7733/stat : 7733 (java) S 7718 7718 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516473235 15514783744 1121415 33554432000 4194304 4196468 140728591587536 140449183406816 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7734] ppid=7718 vsize=15151156 memory=2596 CPUtime=0.54 cores=0,2,4,6
/proc/7720/task/7734/stat : 7734 (java) S 7718 7718 6739 0 -1 1077944384 1907 0 0 0 23 31 0 0 20 0 15 0 516473236 15514783744 1121415 33554432000 4194304 4196468 140728591587536 140449182354096 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
Current children cumulated CPU time: 2330.78 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 4487112 KiB
[startup+2382.3 s]
/proc/loadavg: 1.69 1.65 1.64 3/230 8076
/proc/meminfo: memFree=22444740/32770624 swapFree=67024112/67108860
[pid=7718] ppid=7715 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7718/stat : 7718 (xcsp3-exec) S 7715 7718 6739 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516473229 115843072 363 33554432000 4194304 5098028 140730028888848 140730028886952 140291839275644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17321984 140730028893016 140730028893273 140730028893273 140730028896198 0
/proc/7718/statm: 28282 363 304 221 0 87 0
[pid=7720] ppid=7718 vsize=15151156 memory=5702424 CPUtime=2391.84 cores=0,2,4,6
/proc/7720/stat : 7720 (java) S 7718 7718 6739 0 -1 1077944320 138378 0 0 0 238762 422 0 0 20 0 15 0 516473230 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140728591570080 140450452553463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
/proc/7720/statm: 3787789 1425606 3529 1 0 3748889 0
[pid=7720/tid=7721] ppid=7718 vsize=15151156 memory=5702424 CPUtime=2379.01 cores=0,2,4,6
/proc/7720/task/7721/stat : 7721 (java) R 7718 7718 6739 0 -1 4202560 70279 0 0 0 237545 356 0 0 20 0 15 0 516473230 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140450456792960 140450082203310 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7722] ppid=7718 vsize=15151156 memory=1452 CPUtime=1.72 cores=0,2,4,6
/proc/7720/task/7722/stat : 7722 (java) S 7718 7718 6739 0 -1 1077944384 3020 0 0 0 167 5 0 0 20 0 15 0 516473231 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140450405174416 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7723] ppid=7718 vsize=15151156 memory=1452 CPUtime=1.71 cores=0,2,4,6
/proc/7720/task/7723/stat : 7723 (java) S 7718 7718 6739 0 -1 1077944384 3484 0 0 0 166 5 0 0 20 0 15 0 516473231 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140450404121616 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7724] ppid=7718 vsize=15151156 memory=5702424 CPUtime=1.71 cores=0,2,4,6
/proc/7720/task/7724/stat : 7724 (java) S 7718 7718 6739 0 -1 1077944384 3708 0 0 0 165 6 0 0 20 0 15 0 516473231 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140450403068816 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7725] ppid=7718 vsize=15151156 memory=1452 CPUtime=1.71 cores=0,2,4,6
/proc/7720/task/7725/stat : 7725 (java) S 7718 7718 6739 0 -1 1077944384 4664 0 0 0 165 6 0 0 20 0 15 0 516473231 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140450402016016 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7726] ppid=7718 vsize=15151156 memory=5702240 CPUtime=0.89 cores=0,2,4,6
/proc/7720/task/7726/stat : 7726 (java) S 7718 7718 6739 0 -1 1077944384 12754 0 0 0 74 15 0 0 20 0 15 0 516473232 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140449393117552 140450452564610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7727] ppid=7718 vsize=15151156 memory=5702424 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7727/stat : 7727 (java) S 7718 7718 6739 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 516473232 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140449392063584 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7728] ppid=7718 vsize=15151156 memory=24060 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7728/stat : 7728 (java) S 7718 7718 6739 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 516473233 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140449188668288 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7729] ppid=7718 vsize=15151156 memory=3880 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7729/stat : 7729 (java) S 7718 7718 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516473235 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140449187616592 140450452572059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7730] ppid=7718 vsize=15151156 memory=1452 CPUtime=2.07 cores=0,2,4,6
/proc/7720/task/7730/stat : 7730 (java) S 7718 7718 6739 0 -1 1077944384 15240 0 0 0 205 2 0 0 20 0 15 0 516473235 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140449186564976 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7731] ppid=7718 vsize=15151156 memory=1452 CPUtime=1.9 cores=0,2,4,6
/proc/7720/task/7731/stat : 7731 (java) S 7718 7718 6739 0 -1 1077944384 14909 0 0 0 188 2 0 0 20 0 15 0 516473235 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140449185512176 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7732] ppid=7718 vsize=15151156 memory=1452 CPUtime=0.46 cores=0,2,4,6
/proc/7720/task/7732/stat : 7732 (java) S 7718 7718 6739 0 -1 1077944384 6969 0 0 0 45 1 0 0 20 0 15 0 516473235 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140449184459376 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7733] ppid=7718 vsize=15151156 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7733/stat : 7733 (java) S 7718 7718 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516473235 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140449183406816 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7734] ppid=7718 vsize=15151156 memory=5702424 CPUtime=0.56 cores=0,2,4,6
/proc/7720/task/7734/stat : 7734 (java) S 7718 7718 6739 0 -1 1077944384 1911 0 0 0 24 32 0 0 20 0 15 0 516473236 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140449182354096 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
Current children cumulated CPU time: 2391.84 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 5703876 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2390.4 s]
/proc/loadavg: 1.63 1.64 1.63 3/229 8076
/proc/meminfo: memFree=22444980/32770624 swapFree=67024112/67108860
[pid=7718] ppid=7715 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/7718/stat : 7718 (xcsp3-exec) S 7715 7718 6739 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516473229 115843072 363 33554432000 4194304 5098028 140730028888848 140730028886952 140291839275644 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17321984 140730028893016 140730028893273 140730028893273 140730028896198 0
/proc/7718/statm: 28282 363 304 221 0 87 0
[pid=7720] ppid=7718 vsize=15151156 memory=5702424 CPUtime=2400.02 cores=0,2,4,6
/proc/7720/stat : 7720 (java) S 7718 7718 6739 0 -1 1077944320 138395 0 0 0 239580 422 0 0 20 0 15 0 516473230 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140728591570080 140450452553463 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
/proc/7720/statm: 3787789 1425606 3529 1 0 3748889 0
[pid=7720/tid=7721] ppid=7718 vsize=15151156 memory=3124 CPUtime=2387.08 cores=0,2,4,6
/proc/7720/task/7721/stat : 7721 (java) R 7718 7718 6739 0 -1 4202560 70282 0 0 0 238352 356 0 0 20 0 15 0 516473230 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140450456793024 140450082100017 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7722] ppid=7718 vsize=15151156 memory=1244 CPUtime=1.75 cores=0,2,4,6
/proc/7720/task/7722/stat : 7722 (java) S 7718 7718 6739 0 -1 1077944384 3021 0 0 0 170 5 0 0 20 0 15 0 516473231 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140450405174416 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7723] ppid=7718 vsize=15151156 memory=14064 CPUtime=1.73 cores=0,2,4,6
/proc/7720/task/7723/stat : 7723 (java) S 7718 7718 6739 0 -1 1077944384 3489 0 0 0 168 5 0 0 20 0 15 0 516473231 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140450404121616 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7724] ppid=7718 vsize=15151156 memory=8112282956445269571 CPUtime=1.74 cores=0,2,4,6
/proc/7720/task/7724/stat : 7724 (java) S 7718 7718 6739 0 -1 1077944384 3712 0 0 0 168 6 0 0 20 0 15 0 516473231 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140450403068816 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7725] ppid=7718 vsize=15151156 memory=1452 CPUtime=1.74 cores=0,2,4,6
/proc/7720/task/7725/stat : 7725 (java) S 7718 7718 6739 0 -1 1077944384 4668 0 0 0 168 6 0 0 20 0 15 0 516473231 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140450402016016 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7726] ppid=7718 vsize=15151156 memory=5702424 CPUtime=0.89 cores=0,2,4,6
/proc/7720/task/7726/stat : 7726 (java) S 7718 7718 6739 0 -1 1077944384 12754 0 0 0 74 15 0 0 20 0 15 0 516473232 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140449393117552 140450452564610 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7727] ppid=7718 vsize=15151156 memory=2596 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7727/stat : 7727 (java) S 7718 7718 6739 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 516473232 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140449392063584 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7728] ppid=7718 vsize=15151156 memory=3880 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7728/stat : 7728 (java) S 7718 7718 6739 0 -1 1077944384 109 0 0 0 0 0 0 0 20 0 15 0 516473233 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140449188668288 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7729] ppid=7718 vsize=15151156 memory=7712 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7729/stat : 7729 (java) S 7718 7718 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516473235 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140449187616592 140450452572059 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7730] ppid=7718 vsize=15151156 memory=1760 CPUtime=2.07 cores=0,2,4,6
/proc/7720/task/7730/stat : 7730 (java) S 7718 7718 6739 0 -1 1077944384 15240 0 0 0 205 2 0 0 20 0 15 0 516473235 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140449186564976 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7731] ppid=7718 vsize=15151156 memory=1172 CPUtime=1.9 cores=0,2,4,6
/proc/7720/task/7731/stat : 7731 (java) S 7718 7718 6739 0 -1 1077944384 14909 0 0 0 188 2 0 0 20 0 15 0 516473235 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140449185512176 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7732] ppid=7718 vsize=15151156 memory=1608 CPUtime=0.46 cores=0,2,4,6
/proc/7720/task/7732/stat : 7732 (java) S 7718 7718 6739 0 -1 1077944384 6969 0 0 0 45 1 0 0 20 0 15 0 516473235 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140449184459376 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7733] ppid=7718 vsize=15151156 memory=1076 CPUtime=0 cores=0,2,4,6
/proc/7720/task/7733/stat : 7733 (java) S 7718 7718 6739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516473235 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140449183406816 140450452563669 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
[pid=7720/tid=7734] ppid=7718 vsize=15151156 memory=3124 CPUtime=0.56 cores=0,2,4,6
/proc/7720/task/7734/stat : 7734 (java) S 7718 7718 6739 0 -1 1077944384 1911 0 0 0 24 32 0 0 20 0 15 0 516473236 15514783744 1425606 33554432000 4194304 4196468 140728591587536 140449182354096 140450452564610 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20508672 140728591594459 140728591594634 140728591594634 140728591597519 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 5703876 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2390.41 s]
# the end of solver process 7718 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001153 s, system=0.001153 s
[startup+2390.43 s]
# the end of solver process 7720 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2395.81 s, system=4.25107 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
Child status: 143
Real time (s): 2390.43
CPU time (s): 2400.07
CPU user time (s): 2395.81
CPU system time (s): 4.25107
CPU usage (%): 100.403
Max. virtual memory (cumulated for all children) (KiB): 15266076
Max. memory (cumulated for all children) (KiB): 5703876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.81
system time used= 4.25107
maximum resident set size= 5703124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139211
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 70128
involuntary context switches= 3454
# summary of solver processes directly reported to runsolver:
# pid: 7718,7720
# total CPU time (s): 2400.07
# total CPU user time (s): 2395.81
# total CPU system time (s): 4.25107
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.6115 second user time and 21.724 second system time
The end