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 (14796 MiB free)
memory of node 1: 16384 MiB (11983 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392923-1568314508/watcher-4392923-1568314508 -o /tmp/evaluation-result-4392923-1568314508/solver-4392923-1568314508 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568309633-14093 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1574760684 HOME/instance-4392923-1568314508.xml
running on 4 cores: 0,2,4,6
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=15773, runsolver pid=15770
Current StackSize limit: 8192 KiB
[startup+0.100116 s]*
/proc/loadavg: 8.30 7.98 6.21 6/233 15789
/proc/meminfo: memFree=27405200/32770624 swapFree=66996212/67108860
[pid=15773] ppid=15770 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15773/stat : 15773 (xcsp3-exec) S 15770 15773 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407705489 115843072 363 33554432000 4194304 5098028 140731843020992 140731843019096 140174397936252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11595776 140731843023738 140731843023981 140731843023981 140731843026890 0
/proc/15773/statm: 28282 363 304 221 0 87 0
[pid=15775] ppid=15773 vsize=15144768 memory=29972 CPUtime=0.11 cores=0,2,4,6
/proc/15775/stat : 15775 (java) S 15773 15773 14062 0 -1 1077944320 5427 0 0 0 10 1 0 0 20 0 15 0 407705489 15508242432 7493 33554432000 4194304 4196468 140731014194672 140731014177216 140686580281079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
/proc/15775/statm: 3786192 7493 3117 1 0 3748377 0
[pid=15775/tid=15776] ppid=15773 vsize=15144768 memory=-2698087569006908830 CPUtime=0.08 cores=0,2,4,6
/proc/15775/task/15776/stat : 15776 (java) R 15773 15773 14062 0 -1 4202560 3363 0 0 0 8 0 0 0 20 0 15 0 407705490 15508242432 7493 33554432000 4194304 4196468 140731014194672 140686584507664 140686564324709 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15777] ppid=15773 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15777/stat : 15777 (java) S 15773 15773 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407705490 15508242432 7493 33554432000 4194304 4196468 140731014194672 140686491937040 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15778] ppid=15773 vsize=15144768 memory=140135691675264 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15778/stat : 15778 (java) S 15773 15773 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407705490 15508242432 7493 33554432000 4194304 4196468 140731014194672 140686490884496 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15779] ppid=15773 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15779/stat : 15779 (java) S 15773 15773 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407705490 15508242432 7493 33554432000 4194304 4196468 140731014194672 140686489831952 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15780] ppid=15773 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15780/stat : 15780 (java) S 15773 15773 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407705490 15508242432 7493 33554432000 4194304 4196468 140731014194672 140686488779408 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15781] ppid=15773 vsize=15144768 memory=140135691675264 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15781/stat : 15781 (java) S 15773 15773 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407705492 15508242432 7493 33554432000 4194304 4196468 140731014194672 140686048909808 140686580292226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15782] ppid=15773 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15782/stat : 15782 (java) S 15773 15773 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407705492 15508242432 7493 33554432000 4194304 4196468 140731014194672 140686047856032 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15783] ppid=15773 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15783/stat : 15783 (java) S 15773 15773 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407705492 15508242432 7493 33554432000 4194304 4196468 140731014194672 140686046803440 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15784] ppid=15773 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15784/stat : 15784 (java) S 15773 15773 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407705495 15508242432 7493 33554432000 4194304 4196468 140731014194672 140686045752016 140686580299675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15785] ppid=15773 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15785/stat : 15785 (java) R 15773 15773 14062 0 -1 1077944384 273 0 0 0 0 0 0 0 20 0 15 0 407705495 15508242432 7493 33554432000 4194304 4196468 140731014194672 140686044698608 140686580292226 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15786] ppid=15773 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15786/stat : 15786 (java) S 15773 15773 14062 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 407705495 15508242432 7493 33554432000 4194304 4196468 140731014194672 140686043646064 140686580292226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15787] ppid=15773 vsize=15144768 memory=140135691675264 CPUtime=0.01 cores=0,2,4,6
/proc/15775/task/15787/stat : 15787 (java) R 15773 15773 14062 0 -1 4202560 364 0 0 0 1 0 0 0 20 0 15 0 407705495 15508242432 7493 33554432000 4194304 4196468 140731014194672 140686042593520 140686565962874 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15788] ppid=15773 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15788/stat : 15788 (java) S 15773 15773 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407705495 15508242432 7493 33554432000 4194304 4196468 140731014194672 140686041541216 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15789] ppid=15773 vsize=15144768 memory=140135691675264 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15789/stat : 15789 (java) S 15773 15773 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407705496 15508242432 7493 33554432000 4194304 4196468 140731014194672 140686040488752 140686580292226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31424 KiB
[startup+0.210719 s]*
/proc/loadavg: 8.30 7.98 6.21 7/233 15789
/proc/meminfo: memFree=27392288/32770624 swapFree=66996212/67108860
[pid=15773] ppid=15770 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15773/stat : 15773 (xcsp3-exec) S 15770 15773 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407705489 115843072 363 33554432000 4194304 5098028 140731843020992 140731843019096 140174397936252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11595776 140731843023738 140731843023981 140731843023981 140731843026890 0
/proc/15773/statm: 28282 363 304 221 0 87 0
[pid=15775] ppid=15773 vsize=15144768 memory=40356 CPUtime=0.33 cores=0,2,4,6
/proc/15775/stat : 15775 (java) S 15773 15773 14062 0 -1 1077944320 8810 0 0 0 30 3 0 0 20 0 15 0 407705489 15508242432 10089 33554432000 4194304 4196468 140731014194672 140731014177216 140686580281079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
/proc/15775/statm: 3786192 10089 3280 1 0 3748377 0
[pid=15775/tid=15776] ppid=15773 vsize=15144768 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/15775/task/15776/stat : 15776 (java) R 15773 15773 14062 0 -1 4202560 6125 0 0 0 17 2 0 0 20 0 15 0 407705490 15508242432 10089 33554432000 4194304 4196468 140731014194672 140686584513808 140686580303005 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15777] ppid=15773 vsize=15144768 memory=2670165 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15777/stat : 15777 (java) S 15773 15773 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407705490 15508242432 10089 33554432000 4194304 4196468 140731014194672 140686491937040 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15778] ppid=15773 vsize=15144768 memory=2855612 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15778/stat : 15778 (java) S 15773 15773 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407705490 15508242432 10089 33554432000 4194304 4196468 140731014194672 140686490884496 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15779] ppid=15773 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15779/stat : 15779 (java) S 15773 15773 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407705490 15508242432 10089 33554432000 4194304 4196468 140731014194672 140686489831952 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15780] ppid=15773 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15780/stat : 15780 (java) S 15773 15773 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407705490 15508242432 10089 33554432000 4194304 4196468 140731014194672 140686488779408 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15781] ppid=15773 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15781/stat : 15781 (java) S 15773 15773 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407705492 15508242432 10089 33554432000 4194304 4196468 140731014194672 140686048909808 140686580292226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15782] ppid=15773 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15782/stat : 15782 (java) S 15773 15773 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407705492 15508242432 10089 33554432000 4194304 4196468 140731014194672 140686047856032 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15783] ppid=15773 vsize=15144768 memory=140135691675264 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15783/stat : 15783 (java) S 15773 15773 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407705492 15508242432 10089 33554432000 4194304 4196468 140731014194672 140686046803440 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15784] ppid=15773 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15784/stat : 15784 (java) S 15773 15773 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407705495 15508242432 10089 33554432000 4194304 4196468 140731014194672 140686045752016 140686580299675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15785] ppid=15773 vsize=15144768 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/15775/task/15785/stat : 15785 (java) S 15773 15773 14062 0 -1 1077944384 345 0 0 0 1 0 0 0 20 0 15 0 407705495 15508242432 10089 33554432000 4194304 4196468 140731014194672 140686044698608 140686580292226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15786] ppid=15773 vsize=15144768 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/15775/task/15786/stat : 15786 (java) S 15773 15773 14062 0 -1 1077944384 247 0 0 0 3 0 0 0 20 0 15 0 407705495 15508242432 10089 33554432000 4194304 4196468 140731014194672 140686043646064 140686580292226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15787] ppid=15773 vsize=15144768 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/15775/task/15787/stat : 15787 (java) S 15773 15773 14062 0 -1 1077944384 785 0 0 0 7 0 0 0 20 0 15 0 407705495 15508242432 10089 33554432000 4194304 4196468 140731014194672 140686042593520 140686580292226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15788] ppid=15773 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15788/stat : 15788 (java) S 15773 15773 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407705495 15508242432 10089 33554432000 4194304 4196468 140731014194672 140686041541216 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15789] ppid=15773 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15789/stat : 15789 (java) S 15773 15773 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407705496 15508242432 10089 33554432000 4194304 4196468 140731014194672 140686040488752 140686580292226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41808 KiB
[startup+0.31107 s]*
/proc/loadavg: 8.30 7.98 6.21 8/233 15789
/proc/meminfo: memFree=27387932/32770624 swapFree=66996212/67108860
[pid=15773] ppid=15770 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15773/stat : 15773 (xcsp3-exec) S 15770 15773 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407705489 115843072 363 33554432000 4194304 5098028 140731843020992 140731843019096 140174397936252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11595776 140731843023738 140731843023981 140731843023981 140731843026890 0
/proc/15773/statm: 28282 363 304 221 0 87 0
[pid=15775] ppid=15773 vsize=15149024 memory=49220 CPUtime=0.5 cores=0,2,4,6
/proc/15775/stat : 15775 (java) S 15773 15773 14062 0 -1 1077944320 10131 0 0 0 47 3 0 0 20 0 15 0 407705489 15512600576 11793 33554432000 4194304 4196468 140731014194672 140731014177216 140686580281079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
/proc/15775/statm: 3787256 12305 3370 1 0 3748377 0
[pid=15775/tid=15776] ppid=15773 vsize=15149024 memory=7883960649037381690 CPUtime=0.28 cores=0,2,4,6
/proc/15775/task/15776/stat : 15776 (java) R 15773 15773 14062 0 -1 4202560 7132 0 0 0 26 2 0 0 20 0 15 0 407705490 15512600576 12371 33554432000 4194304 4196468 140731014194672 140686584512192 140686572959253 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15777] ppid=15773 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15777/stat : 15777 (java) S 15773 15773 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407705490 15512600576 12371 33554432000 4194304 4196468 140731014194672 140686491937040 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15778] ppid=15773 vsize=15149024 memory=2855172 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15778/stat : 15778 (java) S 15773 15773 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407705490 15512600576 12371 33554432000 4194304 4196468 140731014194672 140686490884496 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15779] ppid=15773 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15779/stat : 15779 (java) S 15773 15773 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407705490 15512600576 12371 33554432000 4194304 4196468 140731014194672 140686489831952 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15780] ppid=15773 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15780/stat : 15780 (java) S 15773 15773 14062 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407705490 15512600576 12371 33554432000 4194304 4196468 140731014194672 140686488779408 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15781] ppid=15773 vsize=15149024 memory=140135691675264 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15781/stat : 15781 (java) S 15773 15773 14062 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407705492 15512600576 12371 33554432000 4194304 4196468 140731014194672 140686048909808 140686580292226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15782] ppid=15773 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15782/stat : 15782 (java) S 15773 15773 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407705492 15512600576 12371 33554432000 4194304 4196468 140731014194672 140686047856032 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15783] ppid=15773 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15783/stat : 15783 (java) S 15773 15773 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407705492 15512600576 12371 33554432000 4194304 4196468 140731014194672 140686046803440 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15784] ppid=15773 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15784/stat : 15784 (java) S 15773 15773 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407705495 15512600576 12371 33554432000 4194304 4196468 140731014194672 140686045752016 140686580299675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15785] ppid=15773 vsize=15149024 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/15775/task/15785/stat : 15785 (java) R 15773 15773 14062 0 -1 4202560 468 0 0 0 3 0 0 0 20 0 15 0 407705495 15512600576 12371 33554432000 4194304 4196468 140731014194672 140686044698608 140686564184180 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15786] ppid=15773 vsize=15149024 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/15775/task/15786/stat : 15786 (java) S 15773 15773 14062 0 -1 1077944384 283 0 0 0 4 0 0 0 20 0 15 0 407705495 15512600576 12371 33554432000 4194304 4196468 140731014194672 140686043646064 140686580292226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15787] ppid=15773 vsize=15149024 memory=140135691675264 CPUtime=0.12 cores=0,2,4,6
/proc/15775/task/15787/stat : 15787 (java) R 15773 15773 14062 0 -1 4202560 948 0 0 0 12 0 0 0 20 0 15 0 407705495 15512600576 12371 33554432000 4194304 4196468 140731014194672 140686042593520 140686564361566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15788] ppid=15773 vsize=15149024 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15788/stat : 15788 (java) S 15773 15773 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407705495 15512600576 12371 33554432000 4194304 4196468 140731014194672 140686041541216 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15789] ppid=15773 vsize=15149024 memory=140135691675264 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15789/stat : 15789 (java) S 15773 15773 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407705496 15512600576 12371 33554432000 4194304 4196468 140731014194672 140686040488752 140686580292226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50672 KiB
[startup+0.702932 s]
/proc/loadavg: 8.12 7.95 6.21 8/233 15789
/proc/meminfo: memFree=27333088/32770624 swapFree=66996212/67108860
[pid=15773] ppid=15770 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15773/stat : 15773 (xcsp3-exec) S 15770 15773 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407705489 115843072 363 33554432000 4194304 5098028 140731843020992 140731843019096 140174397936252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11595776 140731843023738 140731843023981 140731843023981 140731843026890 0
/proc/15773/statm: 28282 363 304 221 0 87 0
[pid=15775] ppid=15773 vsize=15151148 memory=190236 CPUtime=1.74 cores=0,2,4,6
/proc/15775/stat : 15775 (java) S 15773 15773 14062 0 -1 1077944320 14762 0 0 0 166 8 0 0 20 0 15 0 407705489 15514775552 47559 33554432000 4194304 4196468 140731014194672 140731014177216 140686580281079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
/proc/15775/statm: 3787787 47559 3450 1 0 3748889 0
[pid=15775/tid=15776] ppid=15773 vsize=15151148 memory=11932 CPUtime=0.66 cores=0,2,4,6
/proc/15775/task/15776/stat : 15776 (java) R 15773 15773 14062 0 -1 4202560 8073 0 0 0 61 5 0 0 20 0 15 0 407705490 15514775552 47559 33554432000 4194304 4196468 140731014194672 140686584516560 140686169617372 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15777] ppid=15773 vsize=15151148 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15777/stat : 15777 (java) S 15773 15773 14062 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407705490 15514775552 47559 33554432000 4194304 4196468 140731014194672 140686491937040 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15778] ppid=15773 vsize=15151148 memory=500 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15778/stat : 15778 (java) S 15773 15773 14062 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 407705490 15514775552 47559 33554432000 4194304 4196468 140731014194672 140686490884496 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15779] ppid=15773 vsize=15151148 memory=928 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15779/stat : 15779 (java) S 15773 15773 14062 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 407705490 15514775552 47559 33554432000 4194304 4196468 140731014194672 140686489831952 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15780] ppid=15773 vsize=15151148 memory=1528 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15780/stat : 15780 (java) S 15773 15773 14062 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 407705490 15514775552 47559 33554432000 4194304 4196468 140731014194672 140686488779408 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15781] ppid=15773 vsize=15151148 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15781/stat : 15781 (java) S 15773 15773 14062 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 407705492 15514775552 47559 33554432000 4194304 4196468 140731014194672 140686048909808 140686580292226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15782] ppid=15773 vsize=15151148 memory=876 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15782/stat : 15782 (java) S 15773 15773 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407705492 15514775552 47559 33554432000 4194304 4196468 140731014194672 140686047856032 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15783] ppid=15773 vsize=15151148 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15783/stat : 15783 (java) S 15773 15773 14062 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407705492 15514775552 47559 33554432000 4194304 4196468 140731014194672 140686046803440 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15784] ppid=15773 vsize=15151148 memory=2552 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15784/stat : 15784 (java) S 15773 15773 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407705495 15514775552 47559 33554432000 4194304 4196468 140731014194672 140686045752016 140686580299675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15785] ppid=15773 vsize=15151148 memory=7302135314614015840 CPUtime=0.34 cores=0,2,4,6
/proc/15775/task/15785/stat : 15785 (java) R 15773 15773 14062 0 -1 1077944384 1401 0 0 0 34 0 0 0 20 0 15 0 407705495 15514775552 47559 33554432000 4194304 4196468 140731014194672 140686044685456 140686580291285 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15786] ppid=15773 vsize=15151148 memory=6152570563289901677 CPUtime=0.31 cores=0,2,4,6
/proc/15775/task/15786/stat : 15786 (java) R 15773 15773 14062 0 -1 4202560 1666 0 0 0 31 0 0 0 20 0 15 0 407705495 15514775552 47559 33554432000 4194304 4196468 140731014194672 140686043646160 140686561463712 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15787] ppid=15773 vsize=15151148 memory=7223887401239728208 CPUtime=0.37 cores=0,2,4,6
/proc/15775/task/15787/stat : 15787 (java) R 15773 15773 14062 0 -1 4202560 2264 0 0 0 37 0 0 0 20 0 15 0 407705495 15514775552 47559 33554432000 4194304 4196468 140731014194672 140686042588784 140686572518206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15788] ppid=15773 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15788/stat : 15788 (java) S 15773 15773 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407705495 15514775552 47559 33554432000 4194304 4196468 140731014194672 140686041541216 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15789] ppid=15773 vsize=15151148 memory=7594596650029836651 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15789/stat : 15789 (java) S 15773 15773 14062 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407705496 15514775552 47559 33554432000 4194304 4196468 140731014194672 140686040488752 140686580292226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 191688 KiB
[startup+1.51173 s]
/proc/loadavg: 8.12 7.95 6.21 8/233 15789
/proc/meminfo: memFree=27241348/32770624 swapFree=66996212/67108860
[pid=15773] ppid=15770 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15773/stat : 15773 (xcsp3-exec) S 15770 15773 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407705489 115843072 363 33554432000 4194304 5098028 140731843020992 140731843019096 140174397936252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11595776 140731843023738 140731843023981 140731843023981 140731843026890 0
/proc/15773/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/15775/task/15793/stat : 15793 (java) R 15773 15773 14062 0 -1 4202560 27 0 0 0 8 0 0 0 20 0 19 0 407705785 15789518848 124086 33554432000 4194304 4196468 140731014194672 140686026022616 140686580293014 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
Current children cumulated CPU time: 9.59 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 497796 KiB
[startup+6.30174 s]
/proc/loadavg: 8.27 7.98 6.23 10/237 15793
/proc/meminfo: memFree=26818268/32770624 swapFree=66996212/67108860
[pid=15773] ppid=15770 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15773/stat : 15773 (xcsp3-exec) S 15770 15773 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407705489 115843072 363 33554432000 4194304 5098028 140731843020992 140731843019096 140174397936252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11595776 140731843023738 140731843023981 140731843023981 140731843026890 0
/proc/15773/statm: 28282 363 304 221 0 87 0
[pid=15775] ppid=15773 vsize=15419452 memory=621684 CPUtime=22.23 cores=0,2,4,6
/proc/15775/stat : 15775 (java) S 15773 15773 14062 0 -1 1077944320 39493 0 0 0 2193 30 0 0 20 0 19 0 407705489 15789518848 155421 33554432000 4194304 4196468 140731014194672 140731014177216 140686580281079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
/proc/15775/statm: 3854863 155421 3529 1 0 3815965 0
[pid=15775/tid=15776] ppid=15773 vsize=15419452 memory=0 CPUtime=2.72 cores=0,2,4,6
/proc/15775/task/15776/stat : 15776 (java) S 15773 15773 14062 0 -1 1077944384 9271 0 0 0 264 8 0 0 20 0 19 0 407705490 15789518848 155421 33554432000 4194304 4196468 140731014194672 140686584521856 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15777] ppid=15773 vsize=15419452 memory=1452 CPUtime=0.13 cores=0,2,4,6
/proc/15775/task/15777/stat : 15777 (java) S 15773 15773 14062 0 -1 1077944384 78 0 0 0 10 3 0 0 20 0 19 0 407705490 15789518848 155421 33554432000 4194304 4196468 140731014194672 140686491937040 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15778] ppid=15773 vsize=15419452 memory=560716 CPUtime=0.07 cores=0,2,4,6
/proc/15775/task/15778/stat : 15778 (java) S 15773 15773 14062 0 -1 1077944384 42 0 0 0 5 2 0 0 20 0 19 0 407705490 15789518848 155421 33554432000 4194304 4196468 140731014194672 140686490884496 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15779] ppid=15773 vsize=15419452 memory=4893 CPUtime=0.13 cores=0,2,4,6
/proc/15775/task/15779/stat : 15779 (java) S 15773 15773 14062 0 -1 1077944384 74 0 0 0 10 3 0 0 20 0 19 0 407705490 15789518848 155421 33554432000 4194304 4196468 140731014194672 140686489831952 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15780] ppid=15773 vsize=15419452 memory=1891 CPUtime=0.12 cores=0,2,4,6
/proc/15775/task/15780/stat : 15780 (java) S 15773 15773 14062 0 -1 1077944384 94 0 0 0 10 2 0 0 20 0 19 0 407705490 15789518848 155421 33554432000 4194304 4196468 140731014194672 140686488779408 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15781] ppid=15773 vsize=15419452 memory=57 CPUtime=0.01 cores=0,2,4,6
/proc/15775/task/15781/stat : 15781 (java) S 15773 15773 14062 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 19 0 407705492 15789518848 155421 33554432000 4194304 4196468 140731014194672 140686048909808 140686580292226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15782] ppid=15773 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15782/stat : 15782 (java) S 15773 15773 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407705492 15789518848 155421 33554432000 4194304 4196468 140731014194672 140686047856096 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15783] ppid=15773 vsize=15419452 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15783/stat : 15783 (java) S 15773 15773 14062 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 407705492 15789518848 155421 33554432000 4194304 4196468 140731014194672 140686046803456 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15784] ppid=15773 vsize=15419452 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15784/stat : 15784 (java) S 15773 15773 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407705495 15789518848 155421 33554432000 4194304 4196468 140731014194672 140686045752016 140686580299675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15785] ppid=15773 vsize=15419452 memory=6944656592387989600 CPUtime=4.14 cores=0,2,4,6
/proc/15775/task/15785/stat : 15785 (java) R 15773 15773 14062 0 -1 4202560 10337 0 0 0 413 1 0 0 20 0 19 0 407705495 15789518848 155421 33554432000 4194304 4196468 140731014194672 140686044698608 140686564259713 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15786] ppid=15773 vsize=15419452 memory=6944656592455360604 CPUtime=4.25 cores=0,2,4,6
/proc/15775/task/15786/stat : 15786 (java) S 15773 15773 14062 0 -1 1077944384 10801 0 0 0 423 2 0 0 20 0 19 0 407705495 15789518848 155421 33554432000 4194304 4196468 140731014194672 140686043646064 140686580292226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15787] ppid=15773 vsize=15419452 memory=916 CPUtime=0.96 cores=0,2,4,6
/proc/15775/task/15787/stat : 15787 (java) S 15773 15773 14062 0 -1 1077944384 5342 0 0 0 95 1 0 0 20 0 19 0 407705495 15789518848 155421 33554432000 4194304 4196468 140731014194672 140686042593520 140686580292226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15788] ppid=15773 vsize=15419452 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15788/stat : 15788 (java) S 15773 15773 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407705495 15789518848 155421 33554432000 4194304 4196468 140731014194672 140686041541216 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15789] ppid=15773 vsize=15419452 memory=2684 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15789/stat : 15789 (java) S 15773 15773 14062 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 19 0 407705496 15789518848 155421 33554432000 4194304 4196468 140731014194672 140686040488752 140686580292226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15790] ppid=15773 vsize=15419452 memory=2596 CPUtime=2.19 cores=0,2,4,6
/proc/15775/task/15790/stat : 15790 (java) R 15773 15773 14062 0 -1 4202560 326 0 0 0 218 1 0 0 20 0 19 0 407705783 15789518848 155421 33554432000 4194304 4196468 140731014194672 140686029180888 140686176304518 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15791] ppid=15773 vsize=15419452 memory=1412 CPUtime=2.56 cores=0,2,4,6
/proc/15775/task/15791/stat : 15791 (java) R 15773 15773 14062 0 -1 4202560 265 0 0 0 254 2 0 0 20 0 19 0 407705784 15789518848 155421 33554432000 4194304 4196468 140731014194672 140686028130872 140686174624085 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15792] ppid=15773 vsize=15419452 memory=6791534058613427641 CPUtime=2.29 cores=0,2,4,6
/proc/15775/task/15792/stat : 15792 (java) R 15773 15773 14062 0 -1 4202560 202 0 0 0 229 0 0 0 20 0 19 0 407705784 15789518848 155421 33554432000 4194304 4196468 140731014194672 140686027075656 140686175945833 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15793] ppid=15773 vsize=15419452 memory=1448 CPUtime=2.55 cores=0,2,4,6
/proc/15775/task/15793/stat : 15793 (java) R 15773 15773 14062 0 -1 4202560 732 0 0 0 255 0 0 0 20 0 19 0 407705785 15789518848 155421 33554432000 4194304 4196468 140731014194672 140686026022424 140686176845616 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
Current children cumulated CPU time: 22.23 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 623136 KiB
[startup+6.59944 s]
# the end of solver process 15773 was just reported to runsolver
# cumulated CPU time of all completed processes: user=23.0317 s, system=0.314181 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40293 s]
/proc/loadavg: 8.27 7.98 6.23 10/237 15793
/proc/meminfo: memFree=26818268/32770624 swapFree=66996212/67108860
[pid=15773] ppid=15770 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15773/stat : 15773 (xcsp3-exec) S 15770 15773 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407705489 115843072 363 33554432000 4194304 5098028 140731843020992 140731843019096 140174397936252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11595776 140731843023738 140731843023981 140731843023981 140731843026890 0
/proc/15773/statm: 28282 363 304 221 0 87 0
[pid=15775] ppid=15773 vsize=15419452 memory=625796 CPUtime=22.64 cores=0,2,4,6
/proc/15775/stat : 15775 (java) S 15773 15773 14062 0 -1 1077944320 39513 0 0 0 2234 30 0 0 20 0 19 0 407705489 15789518848 156449 33554432000 4194304 4196468 140731014194672 140731014177216 140686580281079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
/proc/15775/statm: 3854863 156449 3529 1 0 3815965 0
[pid=15775/tid=15776] ppid=15773 vsize=15419452 memory=20036 CPUtime=2.72 cores=0,2,4,6
/proc/15775/task/15776/stat : 15776 (java) S 15773 15773 14062 0 -1 1077944384 9271 0 0 0 264 8 0 0 20 0 19 0 407705490 15789518848 156449 33554432000 4194304 4196468 140731014194672 140686584521856 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15777] ppid=15773 vsize=15419452 memory=6791534058613427641 CPUtime=0.13 cores=0,2,4,6
/proc/15775/task/15777/stat : 15777 (java) S 15773 15773 14062 0 -1 1077944384 78 0 0 0 10 3 0 0 20 0 19 0 407705490 15789518848 156449 33554432000 4194304 4196468 140731014194672 140686491937040 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15778] ppid=15773 vsize=15419452 memory=251752 CPUtime=0.07 cores=0,2,4,6
/proc/15775/task/15778/stat : 15778 (java) S 15773 15773 14062 0 -1 1077944384 42 0 0 0 5 2 0 0 20 0 19 0 407705490 15789518848 156449 33554432000 4194304 4196468 140731014194672 140686490884496 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15779] ppid=15773 vsize=15419452 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/15775/task/15779/stat : 15779 (java) S 15773 15773 14062 0 -1 1077944384 74 0 0 0 10 3 0 0 20 0 19 0 407705490 15789518848 156449 33554432000 4194304 4196468 140731014194672 140686489831952 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15780] ppid=15773 vsize=15419452 memory=53 CPUtime=0.12 cores=0,2,4,6
/proc/15775/task/15780/stat : 15780 (java) S 15773 15773 14062 0 -1 1077944384 94 0 0 0 10 2 0 0 20 0 19 0 407705490 15789518848 156449 33554432000 4194304 4196468 140731014194672 140686488779408 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15781] ppid=15773 vsize=15419452 memory=2209 CPUtime=0.01 cores=0,2,4,6
/proc/15775/task/15781/stat : 15781 (java) S 15773 15773 14062 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 19 0 407705492 15789518848 156449 33554432000 4194304 4196468 140731014194672 140686048909808 140686580292226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15782] ppid=15773 vsize=15419452 memory=11204 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15782/stat : 15782 (java) S 15773 15773 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407705492 15789518848 156449 33554432000 4194304 4196468 140731014194672 140686047856096 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15783] ppid=15773 vsize=15419452 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15783/stat : 15783 (java) S 15773 15773 14062 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 407705492 15789518848 156449 33554432000 4194304 4196468 140731014194672 140686046803456 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15784] ppid=15773 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15784/stat : 15784 (java) S 15773 15773 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407705495 15789518848 156449 33554432000 4194304 4196468 140731014194672 140686045752016 140686580299675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15785] ppid=15773 vsize=15419452 memory=6944656575208382560 CPUtime=4.17 cores=0,2,4,6
/proc/15775/task/15785/stat : 15785 (java) S 15773 15773 14062 0 -1 1077944384 10345 0 0 0 416 1 0 0 20 0 19 0 407705495 15789518848 156449 33554432000 4194304 4196468 140731014194672 140686044698608 140686580292226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15786] ppid=15773 vsize=15419452 memory=6944652177228980320 CPUtime=4.29 cores=0,2,4,6
/proc/15775/task/15786/stat : 15786 (java) S 15773 15773 14062 0 -1 1077944384 10807 0 0 0 427 2 0 0 20 0 19 0 407705495 15789518848 156449 33554432000 4194304 4196468 140731014194672 140686043646064 140686580292226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15787] ppid=15773 vsize=15419452 memory=6944656592387989600 CPUtime=0.97 cores=0,2,4,6
/proc/15775/task/15787/stat : 15787 (java) S 15773 15773 14062 0 -1 1077944384 5344 0 0 0 96 1 0 0 20 0 19 0 407705495 15789518848 156449 33554432000 4194304 4196468 140731014194672 140686042593520 140686580292226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15788] ppid=15773 vsize=15419452 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15788/stat : 15788 (java) S 15773 15773 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407705495 15789518848 156449 33554432000 4194304 4196468 140731014194672 140686041541216 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15789] ppid=15773 vsize=15419452 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15789/stat : 15789 (java) S 15773 15773 14062 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 19 0 407705496 15789518848 156449 33554432000 4194304 4196468 140731014194672 140686040488752 140686580292226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15790] ppid=15773 vsize=15419452 memory=575940 CPUtime=2.27 cores=0,2,4,6
/proc/15775/task/15790/stat : 15790 (java) R 15773 15773 14062 0 -1 4202560 326 0 0 0 226 1 0 0 20 0 19 0 407705783 15789518848 156449 33554432000 4194304 4196468 140731014194672 140686029180888 140686175946211 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15791] ppid=15773 vsize=15419452 memory=0 CPUtime=2.65 cores=0,2,4,6
/proc/15775/task/15791/stat : 15791 (java) R 15773 15773 14062 0 -1 4202560 269 0 0 0 263 2 0 0 20 0 19 0 407705784 15789518848 156449 33554432000 4194304 4196468 140731014194672 140686028131208 140686176990164 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15792] ppid=15773 vsize=15419452 memory=0 CPUtime=2.37 cores=0,2,4,6
/proc/15775/task/15792/stat : 15792 (java) R 15773 15773 14062 0 -1 4202560 202 0 0 0 237 0 0 0 20 0 19 0 407705784 15789518848 156449 33554432000 4194304 4196468 140731014194672 140686027076488 140686176302991 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15793] ppid=15773 vsize=15419452 memory=6944656592455359580 CPUtime=2.62 cores=0,2,4,6
/proc/15775/task/15793/stat : 15793 (java) R 15773 15773 14062 0 -1 4202560 732 0 0 0 262 0 0 0 20 0 19 0 407705785 15789518848 156449 33554432000 4194304 4196468 140731014194672 140686026025000 140686176011850 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
Current children cumulated CPU time: 22.64 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 627248 KiB
[startup+6.50974 s]
/proc/loadavg: 8.27 7.98 6.23 10/237 15793
/proc/meminfo: memFree=26818268/32770624 swapFree=66996212/67108860
[pid=15773] ppid=15770 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/15773/stat : 15773 (xcsp3-exec) S 15770 15773 14062 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407705489 115843072 363 33554432000 4194304 5098028 140731843020992 140731843019096 140174397936252 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 11595776 140731843023738 140731843023981 140731843023981 140731843026890 0
/proc/15773/statm: 28282 363 304 221 0 87 0
[pid=15775] ppid=15773 vsize=15419452 memory=634052 CPUtime=23.06 cores=0,2,4,6
/proc/15775/stat : 15775 (java) S 15773 15773 14062 0 -1 1077944320 39585 0 0 0 2276 30 0 0 20 0 19 0 407705489 15789518848 158513 33554432000 4194304 4196468 140731014194672 140731014177216 140686580281079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
/proc/15775/statm: 3854863 158513 3529 1 0 3815965 0
[pid=15775/tid=15776] ppid=15773 vsize=15419452 memory=0 CPUtime=2.72 cores=0,2,4,6
/proc/15775/task/15776/stat : 15776 (java) S 15773 15773 14062 0 -1 1077944384 9271 0 0 0 264 8 0 0 20 0 19 0 407705490 15789518848 158513 33554432000 4194304 4196468 140731014194672 140686584521856 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15777] ppid=15773 vsize=15419452 memory=1452 CPUtime=0.13 cores=0,2,4,6
/proc/15775/task/15777/stat : 15777 (java) S 15773 15773 14062 0 -1 1077944384 78 0 0 0 10 3 0 0 20 0 19 0 407705490 15789518848 158513 33554432000 4194304 4196468 140731014194672 140686491937040 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15778] ppid=15773 vsize=15419452 memory=560716 CPUtime=0.07 cores=0,2,4,6
/proc/15775/task/15778/stat : 15778 (java) S 15773 15773 14062 0 -1 1077944384 42 0 0 0 5 2 0 0 20 0 19 0 407705490 15789518848 158513 33554432000 4194304 4196468 140731014194672 140686490884496 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15779] ppid=15773 vsize=15419452 memory=4893 CPUtime=0.13 cores=0,2,4,6
/proc/15775/task/15779/stat : 15779 (java) S 15773 15773 14062 0 -1 1077944384 74 0 0 0 10 3 0 0 20 0 19 0 407705490 15789518848 158513 33554432000 4194304 4196468 140731014194672 140686489831952 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15780] ppid=15773 vsize=15419452 memory=1891 CPUtime=0.12 cores=0,2,4,6
/proc/15775/task/15780/stat : 15780 (java) S 15773 15773 14062 0 -1 1077944384 94 0 0 0 10 2 0 0 20 0 19 0 407705490 15789518848 158513 33554432000 4194304 4196468 140731014194672 140686488779408 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15781] ppid=15773 vsize=15419452 memory=57 CPUtime=0.01 cores=0,2,4,6
/proc/15775/task/15781/stat : 15781 (java) S 15773 15773 14062 0 -1 1077944384 290 0 0 0 1 0 0 0 20 0 19 0 407705492 15789518848 158513 33554432000 4194304 4196468 140731014194672 140686048909808 140686580292226 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15782] ppid=15773 vsize=15419452 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15782/stat : 15782 (java) S 15773 15773 14062 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407705492 15789518848 158513 33554432000 4194304 4196468 140731014194672 140686047856096 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15783] ppid=15773 vsize=15419452 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15783/stat : 15783 (java) S 15773 15773 14062 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 407705492 15789518848 158513 33554432000 4194304 4196468 140731014194672 140686046803456 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15784] ppid=15773 vsize=15419452 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15784/stat : 15784 (java) S 15773 15773 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407705495 15789518848 158513 33554432000 4194304 4196468 140731014194672 140686045752016 140686580299675 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15785] ppid=15773 vsize=15419452 memory=6944656592387989600 CPUtime=4.22 cores=0,2,4,6
/proc/15775/task/15785/stat : 15785 (java) S 15773 15773 14062 0 -1 1077944384 10382 0 0 0 421 1 0 0 20 0 19 0 407705495 15789518848 158513 33554432000 4194304 4196468 140731014194672 140686044698608 140686580292226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15786] ppid=15773 vsize=15419452 memory=6944656592455360604 CPUtime=4.31 cores=0,2,4,6
/proc/15775/task/15786/stat : 15786 (java) S 15773 15773 14062 0 -1 1077944384 10817 0 0 0 429 2 0 0 20 0 19 0 407705495 15789518848 158513 33554432000 4194304 4196468 140731014194672 140686043646064 140686580292226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15787] ppid=15773 vsize=15419452 memory=916 CPUtime=0.97 cores=0,2,4,6
/proc/15775/task/15787/stat : 15787 (java) R 15773 15773 14062 0 -1 1077944384 5356 0 0 0 96 1 0 0 20 0 19 0 407705495 15789518848 158513 33554432000 4194304 4196468 140731014194672 140686042593520 140686580292226 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15788] ppid=15773 vsize=15419452 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15788/stat : 15788 (java) S 15773 15773 14062 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407705495 15789518848 158513 33554432000 4194304 4196468 140731014194672 140686041541216 140686580291285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15789] ppid=15773 vsize=15419452 memory=2684 CPUtime=0 cores=0,2,4,6
/proc/15775/task/15789/stat : 15789 (java) S 15773 15773 14062 0 -1 1077944384 341 0 0 0 0 0 0 0 20 0 19 0 407705496 15789518848 158513 33554432000 4194304 4196468 140731014194672 140686040488752 140686580292226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15790] ppid=15773 vsize=15419452 memory=2596 CPUtime=2.37 cores=0,2,4,6
/proc/15775/task/15790/stat : 15790 (java) R 15773 15773 14062 0 -1 4202560 326 0 0 0 236 1 0 0 20 0 19 0 407705783 15789518848 158513 33554432000 4194304 4196468 140731014194672 140686029182696 140686177516396 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15791] ppid=15773 vsize=15419452 memory=1412 CPUtime=2.73 cores=0,2,4,6
/proc/15775/task/15791/stat : 15791 (java) R 15773 15773 14062 0 -1 4202560 274 0 0 0 271 2 0 0 20 0 19 0 407705784 15789518848 158513 33554432000 4194304 4196468 140731014194672 140686028130952 140686174624085 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15792] ppid=15773 vsize=15419452 memory=6791534058613427641 CPUtime=2.43 cores=0,2,4,6
/proc/15775/task/15792/stat : 15792 (java) R 15773 15773 14062 0 -1 4202560 205 0 0 0 243 0 0 0 20 0 19 0 407705784 15789518848 158513 33554432000 4194304 4196468 140731014194672 140686027078200 140686580293014 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
[pid=15775/tid=15793] ppid=15773 vsize=15419452 memory=1448 CPUtime=2.72 cores=0,2,4,6
/proc/15775/task/15793/stat : 15793 (java) R 15773 15773 14062 0 -1 4202560 737 0 0 0 272 0 0 0 20 0 19 0 407705785 15789518848 158513 33554432000 4194304 4196468 140731014194672 140686026022936 140686176011488 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29175808 140731014198255 140731014198426 140731014198426 140731014201295 0
Current children cumulated CPU time: 23.06 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 635504 KiB
Child status: 0
Real time (s): 6.59949
CPU time (s): 23.3459
CPU user time (s): 23.0317
CPU system time (s): 0.314181
CPU usage (%): 353.753
Max. virtual memory (cumulated for all children) (KiB): 15532580
Max. memory (cumulated for all children) (KiB): 635504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.0317
system time used= 0.314181
maximum resident set size= 638464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40499
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2870
involuntary context switches= 869
# summary of solver processes directly reported to runsolver:
# pid: 15773
# total CPU time (s): 23.3459
# total CPU user time (s): 23.0317
# total CPU system time (s): 0.314181
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.073829 second user time and 0.1065 second system time
The end