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 (14413 MiB free)
memory of node 1: 16384 MiB (15377 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400332-1568694651/watcher-4400332-1568694651 -o /tmp/evaluation-result-4400332-1568694651/solver-4400332-1568694651 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568694277-30438 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1932389595 HOME/instance-4400332-1568694651.xml
running on 4 cores: 1,3,5,7
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=1790, runsolver pid=1787
[startup+0.100105 s]*
/proc/loadavg: 8.27 6.21 3.65 7/233 1806
/proc/meminfo: memFree=30487544/32770624 swapFree=66953076/67108860
[pid=1790] ppid=1787 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (xcsp3-exec) S 1787 1790 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445733975 115843072 362 33554432000 4194304 5098028 140735354520416 140735354518520 140351687778940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27725824 140735354528634 140735354528877 140735354528877 140735354531786 0
/proc/1790/statm: 28282 362 304 221 0 87 0
[pid=1792] ppid=1790 vsize=15144776 memory=30132 CPUtime=0.13 cores=1,3,5,7
/proc/1792/stat : 1792 (java) S 1790 1790 30406 0 -1 1077944320 5939 0 0 0 12 1 0 0 20 0 15 0 445733975 15508250624 7533 33554432000 4194304 4196468 140728005320544 140728005303088 140083186478839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
/proc/1792/statm: 3786194 7533 3153 1 0 3748377 0
[pid=1792/tid=1793] ppid=1790 vsize=15144776 memory=576460756329985062 CPUtime=0.09 cores=1,3,5,7
/proc/1792/task/1793/stat : 1793 (java) R 1790 1790 30406 0 -1 4202560 3864 0 0 0 8 1 0 0 20 0 15 0 445733975 15508250624 7533 33554432000 4194304 4196468 140728005320544 140083190713856 140083186490774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1794] ppid=1790 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1794/stat : 1794 (java) S 1790 1790 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445733976 15508250624 7533 33554432000 4194304 4196468 140728005320544 140083114519696 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1795] ppid=1790 vsize=15144776 memory=288230376155018786 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1795/stat : 1795 (java) S 1790 1790 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733976 15508250624 7533 33554432000 4194304 4196468 140728005320544 140083113466896 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1796] ppid=1790 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1796/stat : 1796 (java) S 1790 1790 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733976 15508250624 7533 33554432000 4194304 4196468 140728005320544 140083112414096 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1797] ppid=1790 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1797/stat : 1797 (java) S 1790 1790 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733976 15508250624 7533 33554432000 4194304 4196468 140728005320544 140083111361296 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1798] ppid=1790 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1798/stat : 1798 (java) S 1790 1790 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445733977 15508250624 7533 33554432000 4194304 4196468 140728005320544 140082194692464 140083186489986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1799] ppid=1790 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1799/stat : 1799 (java) S 1790 1790 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445733978 15508250624 7533 33554432000 4194304 4196468 140728005320544 140082193638432 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1800] ppid=1790 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1800/stat : 1800 (java) S 1790 1790 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445733978 15508250624 7533 33554432000 4194304 4196468 140728005320544 140082192585584 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1801] ppid=1790 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1801/stat : 1801 (java) S 1790 1790 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445733980 15508250624 7533 33554432000 4194304 4196468 140728005320544 140082191533904 140083186497435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1802] ppid=1790 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1802/stat : 1802 (java) S 1790 1790 30406 0 -1 1077944384 453 0 0 0 0 0 0 0 20 0 15 0 445733980 15508250624 7533 33554432000 4194304 4196468 140728005320544 140082190482288 140083186489986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1803] ppid=1790 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1803/stat : 1803 (java) S 1790 1790 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733980 15508250624 7533 33554432000 4194304 4196468 140728005320544 140082189429488 140083186489986 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1804] ppid=1790 vsize=15144776 memory=140367912928896 CPUtime=0.02 cores=1,3,5,7
/proc/1792/task/1804/stat : 1804 (java) R 1790 1790 30406 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 445733981 15508250624 7533 33554432000 4194304 4196468 140728005320544 140082188376688 140083186490774 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1805] ppid=1790 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1805/stat : 1805 (java) S 1790 1790 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445733981 15508250624 7533 33554432000 4194304 4196468 140728005320544 140082187324128 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1806] ppid=1790 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1806/stat : 1806 (java) S 1790 1790 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733981 15508250624 7533 33554432000 4194304 4196468 140728005320544 140082186271408 140083186489986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31580 KiB
[startup+0.210785 s]*
/proc/loadavg: 8.27 6.21 3.65 6/233 1806
/proc/meminfo: memFree=30474936/32770624 swapFree=66953076/67108860
[pid=1790] ppid=1787 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (xcsp3-exec) S 1787 1790 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445733975 115843072 362 33554432000 4194304 5098028 140735354520416 140735354518520 140351687778940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27725824 140735354528634 140735354528877 140735354528877 140735354531786 0
/proc/1790/statm: 28282 362 304 221 0 87 0
[pid=1792] ppid=1790 vsize=15144776 memory=41068 CPUtime=0.34 cores=1,3,5,7
/proc/1792/stat : 1792 (java) S 1790 1790 30406 0 -1 1077944320 9491 0 0 0 31 3 0 0 20 0 15 0 445733975 15508250624 10267 33554432000 4194304 4196468 140728005320544 140728005303088 140083186478839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
/proc/1792/statm: 3786194 10267 3298 1 0 3748377 0
[pid=1792/tid=1793] ppid=1790 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/1792/task/1793/stat : 1793 (java) R 1790 1790 30406 0 -1 4202560 6682 0 0 0 18 2 0 0 20 0 15 0 445733975 15508250624 10267 33554432000 4194304 4196468 140728005320544 140083190716656 140083186500669 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1794] ppid=1790 vsize=15144776 memory=4296914231 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1794/stat : 1794 (java) S 1790 1790 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445733976 15508250624 10267 33554432000 4194304 4196468 140728005320544 140083114519696 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1795] ppid=1790 vsize=15144776 memory=140367912954648 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1795/stat : 1795 (java) S 1790 1790 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733976 15508250624 10267 33554432000 4194304 4196468 140728005320544 140083113466896 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1796] ppid=1790 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1796/stat : 1796 (java) S 1790 1790 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733976 15508250624 10267 33554432000 4194304 4196468 140728005320544 140083112414096 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1797] ppid=1790 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1797/stat : 1797 (java) S 1790 1790 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733976 15508250624 10267 33554432000 4194304 4196468 140728005320544 140083111361296 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1798] ppid=1790 vsize=15144776 memory=140367912928896 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1798/stat : 1798 (java) S 1790 1790 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445733977 15508250624 10267 33554432000 4194304 4196468 140728005320544 140082194692464 140083186489986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1799] ppid=1790 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1799/stat : 1799 (java) S 1790 1790 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445733978 15508250624 10267 33554432000 4194304 4196468 140728005320544 140082193638432 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1800] ppid=1790 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1800/stat : 1800 (java) S 1790 1790 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445733978 15508250624 10267 33554432000 4194304 4196468 140728005320544 140082192585584 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1801] ppid=1790 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1801/stat : 1801 (java) S 1790 1790 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445733980 15508250624 10267 33554432000 4194304 4196468 140728005320544 140082191533904 140083186497435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1802] ppid=1790 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/1792/task/1802/stat : 1802 (java) S 1790 1790 30406 0 -1 1077944384 692 0 0 0 2 0 0 0 20 0 15 0 445733980 15508250624 10267 33554432000 4194304 4196468 140728005320544 140082190482288 140083186489986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1803] ppid=1790 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/1792/task/1803/stat : 1803 (java) S 1790 1790 30406 0 -1 1077944384 63 0 0 0 2 0 0 0 20 0 15 0 445733980 15508250624 10267 33554432000 4194304 4196468 140728005320544 140082189429488 140083186489986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1804] ppid=1790 vsize=15144776 memory=140367912928896 CPUtime=0.08 cores=1,3,5,7
/proc/1792/task/1804/stat : 1804 (java) S 1790 1790 30406 0 -1 1077944384 754 0 0 0 8 0 0 0 20 0 15 0 445733981 15508250624 10267 33554432000 4194304 4196468 140728005320544 140082188376688 140083186489986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1805] ppid=1790 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1805/stat : 1805 (java) S 1790 1790 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445733981 15508250624 10267 33554432000 4194304 4196468 140728005320544 140082187324128 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1806] ppid=1790 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1806/stat : 1806 (java) S 1790 1790 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733981 15508250624 10267 33554432000 4194304 4196468 140728005320544 140082186271408 140083186489986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42516 KiB
[startup+0.310536 s]*
/proc/loadavg: 8.27 6.21 3.65 7/233 1806
/proc/meminfo: memFree=30467912/32770624 swapFree=66953076/67108860
[pid=1790] ppid=1787 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (xcsp3-exec) S 1787 1790 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445733975 115843072 362 33554432000 4194304 5098028 140735354520416 140735354518520 140351687778940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27725824 140735354528634 140735354528877 140735354528877 140735354531786 0
/proc/1790/statm: 28282 362 304 221 0 87 0
[pid=1792] ppid=1790 vsize=15149032 memory=50492 CPUtime=0.52 cores=1,3,5,7
/proc/1792/stat : 1792 (java) S 1790 1790 30406 0 -1 1077944320 10901 0 0 0 49 3 0 0 20 0 15 0 445733975 15512608768 12623 33554432000 4194304 4196468 140728005320544 140728005303088 140083186478839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
/proc/1792/statm: 3787258 12623 3369 1 0 3748377 0
[pid=1792/tid=1793] ppid=1790 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/1792/task/1793/stat : 1793 (java) R 1790 1790 30406 0 -1 4202560 7880 0 0 0 27 3 0 0 20 0 15 0 445733975 15512608768 12623 33554432000 4194304 4196468 140728005320544 140083190709952 140083170559326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1794] ppid=1790 vsize=15149032 memory=928 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1794/stat : 1794 (java) S 1790 1790 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445733976 15512608768 12623 33554432000 4194304 4196468 140728005320544 140083114519696 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1795] ppid=1790 vsize=15149032 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1795/stat : 1795 (java) S 1790 1790 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733976 15512608768 12623 33554432000 4194304 4196468 140728005320544 140083113466896 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1796] ppid=1790 vsize=15149032 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1796/stat : 1796 (java) S 1790 1790 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733976 15512608768 12623 33554432000 4194304 4196468 140728005320544 140083112414096 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1797] ppid=1790 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1797/stat : 1797 (java) S 1790 1790 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733976 15512608768 12623 33554432000 4194304 4196468 140728005320544 140083111361296 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1798] ppid=1790 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1798/stat : 1798 (java) S 1790 1790 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445733977 15512608768 12623 33554432000 4194304 4196468 140728005320544 140082194692464 140083186489986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1799] ppid=1790 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1799/stat : 1799 (java) S 1790 1790 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445733978 15512608768 12623 33554432000 4194304 4196468 140728005320544 140082193638432 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1800] ppid=1790 vsize=15149032 memory=35809 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1800/stat : 1800 (java) S 1790 1790 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445733978 15512608768 12623 33554432000 4194304 4196468 140728005320544 140082192585584 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1801] ppid=1790 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1801/stat : 1801 (java) S 1790 1790 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445733980 15512608768 12623 33554432000 4194304 4196468 140728005320544 140082191533904 140083186497435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1802] ppid=1790 vsize=15149032 memory=-1598831813028945288 CPUtime=0.05 cores=1,3,5,7
/proc/1792/task/1802/stat : 1802 (java) S 1790 1790 30406 0 -1 1077944384 837 0 0 0 5 0 0 0 20 0 15 0 445733980 15512608768 12623 33554432000 4194304 4196468 140728005320544 140082190482288 140083186489986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1803] ppid=1790 vsize=15149032 memory=6944656592455097440 CPUtime=0.03 cores=1,3,5,7
/proc/1792/task/1803/stat : 1803 (java) S 1790 1790 30406 0 -1 1077944384 76 0 0 0 3 0 0 0 20 0 15 0 445733980 15512608768 12623 33554432000 4194304 4196468 140728005320544 140082189429488 140083186489986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1804] ppid=1790 vsize=15149032 memory=6944656592455097440 CPUtime=0.12 cores=1,3,5,7
/proc/1792/task/1804/stat : 1804 (java) S 1790 1790 30406 0 -1 1077944384 841 0 0 0 12 0 0 0 20 0 15 0 445733981 15512608768 12623 33554432000 4194304 4196468 140728005320544 140082188376688 140083186489986 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1805] ppid=1790 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1805/stat : 1805 (java) S 1790 1790 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445733981 15512608768 12623 33554432000 4194304 4196468 140728005320544 140082187324128 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1806] ppid=1790 vsize=15149032 memory=-1751206678989134939 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1806/stat : 1806 (java) S 1790 1790 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445733981 15512608768 12623 33554432000 4194304 4196468 140728005320544 140082186271408 140083186489986 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51940 KiB
[startup+0.701523 s]
/proc/loadavg: 8.27 6.21 3.65 8/233 1806
/proc/meminfo: memFree=30455604/32770624 swapFree=66953076/67108860
[pid=1790] ppid=1787 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (xcsp3-exec) S 1787 1790 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445733975 115843072 362 33554432000 4194304 5098028 140735354520416 140735354518520 140351687778940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27725824 140735354528634 140735354528877 140735354528877 140735354531786 0
/proc/1790/statm: 28282 362 304 221 0 87 0
[pid=1792] ppid=1790 vsize=15417412 memory=90836 CPUtime=1.61 cores=1,3,5,7
/proc/1792/stat : 1792 (java) S 1790 1790 30406 0 -1 1077944320 14300 0 0 0 155 6 0 0 20 0 19 0 445733975 15787429888 22709 33554432000 4194304 4196468 140728005320544 140728005303088 140083186478839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
/proc/1792/statm: 3854353 22709 3454 1 0 3815453 0
[pid=1792/tid=1793] ppid=1790 vsize=15417412 memory=4137303382726774134 CPUtime=0.63 cores=1,3,5,7
/proc/1792/task/1793/stat : 1793 (java) S 1790 1790 30406 0 -1 1077944384 9067 0 0 0 59 4 0 0 20 0 19 0 445733975 15787429888 22709 33554432000 4194304 4196468 140728005320544 140083190719616 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1794] ppid=1790 vsize=15417412 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1794/stat : 1794 (java) S 1790 1790 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445733976 15787429888 22709 33554432000 4194304 4196468 140728005320544 140083114519696 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1795] ppid=1790 vsize=15417412 memory=6940443203498692944 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1795/stat : 1795 (java) S 1790 1790 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445733976 15787429888 22709 33554432000 4194304 4196468 140728005320544 140083113466896 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1796] ppid=1790 vsize=15417412 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1796/stat : 1796 (java) S 1790 1790 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445733976 15787429888 22709 33554432000 4194304 4196468 140728005320544 140083112414096 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1797] ppid=1790 vsize=15417412 memory=4156 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1797/stat : 1797 (java) S 1790 1790 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445733976 15787429888 22709 33554432000 4194304 4196468 140728005320544 140083111361296 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1798] ppid=1790 vsize=15417412 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1798/stat : 1798 (java) S 1790 1790 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 445733977 15787429888 22709 33554432000 4194304 4196468 140728005320544 140082194692464 140083186489986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1799] ppid=1790 vsize=15417412 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1799/stat : 1799 (java) S 1790 1790 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445733978 15787429888 22709 33554432000 4194304 4196468 140728005320544 140082193638432 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1800] ppid=1790 vsize=15417412 memory=1536 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1800/stat : 1800 (java) S 1790 1790 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445733978 15787429888 22709 33554432000 4194304 4196468 140728005320544 140082192585584 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1801] ppid=1790 vsize=15417412 memory=9592 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1801/stat : 1801 (java) S 1790 1790 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445733980 15787429888 22709 33554432000 4194304 4196468 140728005320544 140082191533904 140083186497435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1802] ppid=1790 vsize=15417412 memory=2828 CPUtime=0.24 cores=1,3,5,7
/proc/1792/task/1802/stat : 1802 (java) R 1790 1790 30406 0 -1 4202560 1357 0 0 0 24 0 0 0 20 0 19 0 445733980 15787429888 22709 33554432000 4194304 4196468 140728005320544 140082190481184 140083165655521 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1803] ppid=1790 vsize=15417412 memory=780 CPUtime=0.19 cores=1,3,5,7
/proc/1792/task/1803/stat : 1803 (java) R 1790 1790 30406 0 -1 1077944384 605 0 0 0 19 0 0 0 20 0 19 0 445733980 15787429888 22709 33554432000 4194304 4196468 140728005320544 140082189429488 140083186489986 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1804] ppid=1790 vsize=15417412 memory=620 CPUtime=0.41 cores=1,3,5,7
/proc/1792/task/1804/stat : 1804 (java) R 1790 1790 30406 0 -1 4202560 1763 0 0 0 41 0 0 0 20 0 19 0 445733981 15787429888 22709 33554432000 4194304 4196468 140728005320544 140082188374480 140083178715966 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1805] ppid=1790 vsize=15417412 memory=1496 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1805/stat : 1805 (java) S 1790 1790 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445733981 15787429888 22709 33554432000 4194304 4196468 140728005320544 140082187324128 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1806] ppid=1790 vsize=15417412 memory=1016 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1806/stat : 1806 (java) S 1790 1790 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445733981 15787429888 22709 33554432000 4194304 4196468 140728005320544 140082186271408 140083186489986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 92284 KiB
[startup+0.881838 s]
# the end of solver process 1790 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.20097 s, system=0.070742 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801526 s]
/proc/loadavg: 8.27 6.21 3.65 8/233 1806
/proc/meminfo: memFree=30455604/32770624 swapFree=66953076/67108860
[pid=1790] ppid=1787 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (xcsp3-exec) S 1787 1790 30406 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445733975 115843072 362 33554432000 4194304 5098028 140735354520416 140735354518520 140351687778940 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 27725824 140735354528634 140735354528877 140735354528877 140735354531786 0
/proc/1790/statm: 28282 362 304 221 0 87 0
[pid=1792] ppid=1790 vsize=15417412 memory=91424 CPUtime=2.01 cores=1,3,5,7
/proc/1792/stat : 1792 (java) S 1790 1790 30406 0 -1 1077944320 14492 0 0 0 195 6 0 0 20 0 19 0 445733975 15787429888 22856 33554432000 4194304 4196468 140728005320544 140728005303088 140083186478839 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
/proc/1792/statm: 3854353 22856 3456 1 0 3815453 0
[pid=1792/tid=1793] ppid=1790 vsize=15417412 memory=8112282956445269571 CPUtime=0.63 cores=1,3,5,7
/proc/1792/task/1793/stat : 1793 (java) S 1790 1790 30406 0 -1 1077944384 9067 0 0 0 59 4 0 0 20 0 19 0 445733975 15787429888 22856 33554432000 4194304 4196468 140728005320544 140083190719616 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1794] ppid=1790 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1794/stat : 1794 (java) S 1790 1790 30406 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445733976 15787429888 22856 33554432000 4194304 4196468 140728005320544 140083114519696 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1795] ppid=1790 vsize=15417412 memory=4 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1795/stat : 1795 (java) S 1790 1790 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445733976 15787429888 22856 33554432000 4194304 4196468 140728005320544 140083113466896 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1796] ppid=1790 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1796/stat : 1796 (java) S 1790 1790 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445733976 15787429888 22856 33554432000 4194304 4196468 140728005320544 140083112414096 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1797] ppid=1790 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1797/stat : 1797 (java) S 1790 1790 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445733976 15787429888 22856 33554432000 4194304 4196468 140728005320544 140083111361296 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1798] ppid=1790 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1798/stat : 1798 (java) S 1790 1790 30406 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 445733977 15787429888 22856 33554432000 4194304 4196468 140728005320544 140082194692464 140083186489986 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1799] ppid=1790 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1799/stat : 1799 (java) S 1790 1790 30406 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445733978 15787429888 22856 33554432000 4194304 4196468 140728005320544 140082193638432 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1800] ppid=1790 vsize=15417412 memory=1290 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1800/stat : 1800 (java) S 1790 1790 30406 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445733978 15787429888 22856 33554432000 4194304 4196468 140728005320544 140082192585584 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1801] ppid=1790 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1801/stat : 1801 (java) S 1790 1790 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445733980 15787429888 22856 33554432000 4194304 4196468 140728005320544 140082191533904 140083186497435 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1802] ppid=1790 vsize=15417412 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/1792/task/1802/stat : 1802 (java) R 1790 1790 30406 0 -1 4202560 1412 0 0 0 33 0 0 0 20 0 19 0 445733980 15787429888 22856 33554432000 4194304 4196468 140728005320544 140082190475480 140083165694768 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1803] ppid=1790 vsize=15417412 memory=14453 CPUtime=0.26 cores=1,3,5,7
/proc/1792/task/1803/stat : 1803 (java) R 1790 1790 30406 0 -1 1077944384 644 0 0 0 26 0 0 0 20 0 19 0 445733980 15787429888 22856 33554432000 4194304 4196468 140728005320544 140082189417968 140083186489045 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1804] ppid=1790 vsize=15417412 memory=0 CPUtime=0.45 cores=1,3,5,7
/proc/1792/task/1804/stat : 1804 (java) R 1790 1790 30406 0 -1 4202560 1854 0 0 0 45 0 0 0 20 0 19 0 445733981 15787429888 22856 33554432000 4194304 4196468 140728005320544 140082188373624 140083170559326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1805] ppid=1790 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1805/stat : 1805 (java) S 1790 1790 30406 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445733981 15787429888 22856 33554432000 4194304 4196468 140728005320544 140082187324128 140083186489045 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
[pid=1792/tid=1806] ppid=1790 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1792/task/1806/stat : 1806 (java) S 1790 1790 30406 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445733981 15787429888 22856 33554432000 4194304 4196468 140728005320544 140082186271408 140083186489986 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16752640 140728005325807 140728005325978 140728005325978 140728005328847 0
Current children cumulated CPU time: 2.01 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 92872 KiB
Child status: 0
Real time (s): 0.881888
CPU time (s): 2.27171
CPU user time (s): 2.20097
CPU system time (s): 0.070742
CPU usage (%): 257.597
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 92872
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.20097
system time used= 0.070742
maximum resident set size= 108224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15545
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1885
involuntary context switches= 37
# summary of solver processes directly reported to runsolver:
# pid: 1790
# total CPU time (s): 2.27171
# total CPU user time (s): 2.20097
# total CPU system time (s): 0.070742
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033818 second user time and 0.043041 second system time
The end