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 (14335 MiB free)
memory of node 1: 16384 MiB (15516 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399187-1568684288/watcher-4399187-1568684288 -o /tmp/evaluation-result-4399187-1568684288/solver-4399187-1568684288 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568682260-15015 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 838350071 HOME/instance-4399187-1568684288.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17654, runsolver pid=17651
[startup+0.100059 s]*
/proc/loadavg: 8.94 8.83 8.66 8/234 17670
/proc/meminfo: memFree=30550348/32770624 swapFree=66997372/67108860
[pid=17654] ppid=17651 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17654/stat : 17654 (xcsp3-exec) S 17651 17654 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444681828 115843072 363 33554432000 4194304 5098028 140734160717568 140734160715672 140252716339836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22097920 140734160724859 140734160725101 140734160725101 140734160728010 0
/proc/17654/statm: 28282 363 304 221 0 87 0
[pid=17656] ppid=17654 vsize=15144776 memory=29956 CPUtime=0.13 cores=1,3,5,7
/proc/17656/stat : 17656 (java) S 17654 17654 14983 0 -1 1077944320 5475 0 0 0 12 1 0 0 20 0 15 0 444681829 15508250624 7489 33554432000 4194304 4196468 140724741536176 140724741518720 139815976926967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
/proc/17656/statm: 3786194 7489 3119 1 0 3748377 0
[pid=17656/tid=17657] ppid=17654 vsize=15144776 memory=7100839870104831090 CPUtime=0.09 cores=1,3,5,7
/proc/17656/task/17657/stat : 17657 (java) R 17654 17654 14983 0 -1 4202560 3385 0 0 0 9 0 0 0 20 0 15 0 444681829 15508250624 7555 33554432000 4194304 4196468 140724741536176 139815981148240 139815563655504 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17658] ppid=17654 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17658/stat : 17658 (java) S 17654 17654 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444681830 15508250624 7555 33554432000 4194304 4196468 140724741536176 139815888583824 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17659] ppid=17654 vsize=15144776 memory=140546958636672 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17659/stat : 17659 (java) S 17654 17654 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444681830 15508250624 7555 33554432000 4194304 4196468 140724741536176 139815887531024 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17660] ppid=17654 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17660/stat : 17660 (java) S 17654 17654 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444681830 15508250624 7555 33554432000 4194304 4196468 140724741536176 139815886478224 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17661] ppid=17654 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17661/stat : 17661 (java) S 17654 17654 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444681830 15508250624 7555 33554432000 4194304 4196468 140724741536176 139815885425424 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17662] ppid=17654 vsize=15144776 memory=140546958636672 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17662/stat : 17662 (java) S 17654 17654 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444681831 15508250624 7555 33554432000 4194304 4196468 140724741536176 139815445617008 139815976938114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17663] ppid=17654 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17663/stat : 17663 (java) S 17654 17654 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444681832 15508250624 7555 33554432000 4194304 4196468 140724741536176 139815444562976 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17664] ppid=17654 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17664/stat : 17664 (java) S 17654 17654 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444681832 15508250624 7555 33554432000 4194304 4196468 140724741536176 139815443510128 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17665] ppid=17654 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17665/stat : 17665 (java) S 17654 17654 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444681834 15508250624 7555 33554432000 4194304 4196468 140724741536176 139815442458448 139815976945563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17666] ppid=17654 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17666/stat : 17666 (java) S 17654 17654 14983 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 15 0 444681834 15508250624 7555 33554432000 4194304 4196468 140724741536176 139815441406832 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17667] ppid=17654 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17667/stat : 17667 (java) S 17654 17654 14983 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 444681834 15508250624 7555 33554432000 4194304 4196468 140724741536176 139815440354032 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17668] ppid=17654 vsize=15144776 memory=140546958636672 CPUtime=0.02 cores=1,3,5,7
/proc/17656/task/17668/stat : 17668 (java) R 17654 17654 14983 0 -1 4202560 347 0 0 0 2 0 0 0 20 0 15 0 444681834 15508250624 7555 33554432000 4194304 4196468 140724741536176 139815439301232 139815976938902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17669] ppid=17654 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17669/stat : 17669 (java) S 17654 17654 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444681834 15508250624 7555 33554432000 4194304 4196468 140724741536176 139815438248672 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17670] ppid=17654 vsize=15144776 memory=140546958636672 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17670/stat : 17670 (java) S 17654 17654 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444681835 15508250624 7555 33554432000 4194304 4196468 140724741536176 139815437195952 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31408 KiB
[startup+0.210819 s]*
/proc/loadavg: 8.94 8.83 8.66 6/234 17670
/proc/meminfo: memFree=30537592/32770624 swapFree=66997372/67108860
[pid=17654] ppid=17651 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17654/stat : 17654 (xcsp3-exec) S 17651 17654 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444681828 115843072 363 33554432000 4194304 5098028 140734160717568 140734160715672 140252716339836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22097920 140734160724859 140734160725101 140734160725101 140734160728010 0
/proc/17654/statm: 28282 363 304 221 0 87 0
[pid=17656] ppid=17654 vsize=15144776 memory=41120 CPUtime=0.34 cores=1,3,5,7
/proc/17656/stat : 17656 (java) S 17654 17654 14983 0 -1 1077944320 8990 0 0 0 31 3 0 0 20 0 15 0 444681829 15508250624 10280 33554432000 4194304 4196468 140724741536176 140724741518720 139815976926967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
/proc/17656/statm: 3786194 10280 3290 1 0 3748377 0
[pid=17656/tid=17657] ppid=17654 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/17656/task/17657/stat : 17657 (java) R 17654 17654 14983 0 -1 4202560 6207 0 0 0 18 2 0 0 20 0 15 0 444681829 15508250624 10280 33554432000 4194304 4196468 140724741536176 139815981164432 139815960970597 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17658] ppid=17654 vsize=15144776 memory=9100 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17658/stat : 17658 (java) S 17654 17654 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444681830 15508250624 10280 33554432000 4194304 4196468 140724741536176 139815888583824 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17659] ppid=17654 vsize=15144776 memory=140546962178004 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17659/stat : 17659 (java) S 17654 17654 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444681830 15508250624 10280 33554432000 4194304 4196468 140724741536176 139815887531024 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17660] ppid=17654 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17660/stat : 17660 (java) S 17654 17654 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444681830 15508250624 10280 33554432000 4194304 4196468 140724741536176 139815886478224 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17661] ppid=17654 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17661/stat : 17661 (java) S 17654 17654 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444681830 15508250624 10280 33554432000 4194304 4196468 140724741536176 139815885425424 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17662] ppid=17654 vsize=15144776 memory=140546958636672 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17662/stat : 17662 (java) S 17654 17654 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444681831 15508250624 10280 33554432000 4194304 4196468 140724741536176 139815445617008 139815976938114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17663] ppid=17654 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17663/stat : 17663 (java) S 17654 17654 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444681832 15508250624 10280 33554432000 4194304 4196468 140724741536176 139815444562976 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17664] ppid=17654 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17664/stat : 17664 (java) S 17654 17654 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444681832 15508250624 10280 33554432000 4194304 4196468 140724741536176 139815443510128 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17665] ppid=17654 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17665/stat : 17665 (java) S 17654 17654 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444681834 15508250624 10280 33554432000 4194304 4196468 140724741536176 139815442458448 139815976945563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17666] ppid=17654 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/17656/task/17666/stat : 17666 (java) S 17654 17654 14983 0 -1 1077944384 515 0 0 0 1 0 0 0 20 0 15 0 444681834 15508250624 10280 33554432000 4194304 4196468 140724741536176 139815441406832 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17667] ppid=17654 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/17656/task/17667/stat : 17667 (java) S 17654 17654 14983 0 -1 1077944384 228 0 0 0 2 0 0 0 20 0 15 0 444681834 15508250624 10280 33554432000 4194304 4196468 140724741536176 139815440354032 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17668] ppid=17654 vsize=15144776 memory=140546958636672 CPUtime=0.08 cores=1,3,5,7
/proc/17656/task/17668/stat : 17668 (java) S 17654 17654 14983 0 -1 1077944384 736 0 0 0 8 0 0 0 20 0 15 0 444681834 15508250624 10280 33554432000 4194304 4196468 140724741536176 139815439301232 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17669] ppid=17654 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17669/stat : 17669 (java) S 17654 17654 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444681834 15508250624 10280 33554432000 4194304 4196468 140724741536176 139815438248672 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17670] ppid=17654 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17670/stat : 17670 (java) S 17654 17654 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444681835 15508250624 10280 33554432000 4194304 4196468 140724741536176 139815437195952 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42572 KiB
[startup+0.31582 s]*
/proc/loadavg: 8.94 8.83 8.66 7/234 17670
/proc/meminfo: memFree=30529948/32770624 swapFree=66997372/67108860
[pid=17654] ppid=17651 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17654/stat : 17654 (xcsp3-exec) S 17651 17654 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444681828 115843072 363 33554432000 4194304 5098028 140734160717568 140734160715672 140252716339836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22097920 140734160724859 140734160725101 140734160725101 140734160728010 0
/proc/17654/statm: 28282 363 304 221 0 87 0
[pid=17656] ppid=17654 vsize=15149032 memory=50488 CPUtime=0.53 cores=1,3,5,7
/proc/17656/stat : 17656 (java) S 17654 17654 14983 0 -1 1077944320 10437 0 0 0 49 4 0 0 20 0 15 0 444681829 15512608768 12622 33554432000 4194304 4196468 140724741536176 140724741518720 139815976926967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
/proc/17656/statm: 3787258 12622 3365 1 0 3748377 0
[pid=17656/tid=17657] ppid=17654 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/17656/task/17657/stat : 17657 (java) R 17654 17654 14983 0 -1 4202560 7427 0 0 0 27 3 0 0 20 0 15 0 444681829 15512608768 12630 33554432000 4194304 4196468 140724741536176 139815981161808 139815961007454 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17658] ppid=17654 vsize=15149032 memory=9461 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17658/stat : 17658 (java) S 17654 17654 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444681830 15512608768 12630 33554432000 4194304 4196468 140724741536176 139815888583824 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17659] ppid=17654 vsize=15149032 memory=3566841 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17659/stat : 17659 (java) S 17654 17654 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444681830 15512608768 12630 33554432000 4194304 4196468 140724741536176 139815887531024 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17660] ppid=17654 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17660/stat : 17660 (java) S 17654 17654 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444681830 15512608768 12630 33554432000 4194304 4196468 140724741536176 139815886478224 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17661] ppid=17654 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17661/stat : 17661 (java) S 17654 17654 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444681830 15512608768 12630 33554432000 4194304 4196468 140724741536176 139815885425424 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17662] ppid=17654 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17662/stat : 17662 (java) S 17654 17654 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 444681831 15512608768 12630 33554432000 4194304 4196468 140724741536176 139815445617008 139815976938114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17663] ppid=17654 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17663/stat : 17663 (java) S 17654 17654 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444681832 15512608768 12630 33554432000 4194304 4196468 140724741536176 139815444562976 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17664] ppid=17654 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17664/stat : 17664 (java) S 17654 17654 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444681832 15512608768 12630 33554432000 4194304 4196468 140724741536176 139815443510128 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17665] ppid=17654 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17665/stat : 17665 (java) S 17654 17654 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444681834 15512608768 12630 33554432000 4194304 4196468 140724741536176 139815442458448 139815976945563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17666] ppid=17654 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/17656/task/17666/stat : 17666 (java) S 17654 17654 14983 0 -1 1077944384 556 0 0 0 3 0 0 0 20 0 15 0 444681834 15512608768 12630 33554432000 4194304 4196468 140724741536176 139815441406832 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17667] ppid=17654 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/17656/task/17667/stat : 17667 (java) S 17654 17654 14983 0 -1 1077944384 317 0 0 0 5 0 0 0 20 0 15 0 444681834 15512608768 12630 33554432000 4194304 4196468 140724741536176 139815440354032 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17668] ppid=17654 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/17656/task/17668/stat : 17668 (java) S 17654 17654 14983 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 15 0 444681834 15512608768 12630 33554432000 4194304 4196468 140724741536176 139815439301232 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17669] ppid=17654 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17669/stat : 17669 (java) S 17654 17654 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444681834 15512608768 12630 33554432000 4194304 4196468 140724741536176 139815438248672 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17670] ppid=17654 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17670/stat : 17670 (java) S 17654 17654 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444681835 15512608768 12630 33554432000 4194304 4196468 140724741536176 139815437195952 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51940 KiB
[startup+0.703816 s]
/proc/loadavg: 8.94 8.83 8.66 9/234 17670
/proc/meminfo: memFree=30510196/32770624 swapFree=66997372/67108860
[pid=17654] ppid=17651 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17654/stat : 17654 (xcsp3-exec) S 17651 17654 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444681828 115843072 363 33554432000 4194304 5098028 140734160717568 140734160715672 140252716339836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22097920 140734160724859 140734160725101 140734160725101 140734160728010 0
/proc/17654/statm: 28282 363 304 221 0 87 0
[pid=17656] ppid=17654 vsize=15419460 memory=88980 CPUtime=1.52 cores=1,3,5,7
/proc/17656/stat : 17656 (java) S 17654 17654 14983 0 -1 1077944320 13972 0 0 0 146 6 0 0 20 0 19 0 444681829 15789527040 22245 33554432000 4194304 4196468 140724741536176 140724741518720 139815976926967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
/proc/17656/statm: 3854865 22245 3450 1 0 3815965 0
[pid=17656/tid=17657] ppid=17654 vsize=15419460 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/17656/task/17657/stat : 17657 (java) S 17654 17654 14983 0 -1 1077944384 8978 0 0 0 62 4 0 0 20 0 19 0 444681829 15789527040 22245 33554432000 4194304 4196468 140724741536176 139815981167744 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17658] ppid=17654 vsize=15419460 memory=500 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17658/stat : 17658 (java) S 17654 17654 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444681830 15789527040 22245 33554432000 4194304 4196468 140724741536176 139815888583824 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17659] ppid=17654 vsize=15419460 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17659/stat : 17659 (java) S 17654 17654 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444681830 15789527040 22245 33554432000 4194304 4196468 140724741536176 139815887531024 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17660] ppid=17654 vsize=15419460 memory=932 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17660/stat : 17660 (java) S 17654 17654 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444681830 15789527040 22245 33554432000 4194304 4196468 140724741536176 139815886478224 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17661] ppid=17654 vsize=15419460 memory=3768 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17661/stat : 17661 (java) S 17654 17654 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444681830 15789527040 22245 33554432000 4194304 4196468 140724741536176 139815885425424 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17662] ppid=17654 vsize=15419460 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17662/stat : 17662 (java) S 17654 17654 14983 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 444681831 15789527040 22245 33554432000 4194304 4196468 140724741536176 139815445617008 139815976938114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17663] ppid=17654 vsize=15419460 memory=2512 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17663/stat : 17663 (java) S 17654 17654 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444681832 15789527040 22245 33554432000 4194304 4196468 140724741536176 139815444562976 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17664] ppid=17654 vsize=15419460 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17664/stat : 17664 (java) S 17654 17654 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 444681832 15789527040 22245 33554432000 4194304 4196468 140724741536176 139815443510128 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17665] ppid=17654 vsize=15419460 memory=812 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17665/stat : 17665 (java) S 17654 17654 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444681834 15789527040 22245 33554432000 4194304 4196468 140724741536176 139815442458448 139815976945563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17666] ppid=17654 vsize=15419460 memory=1764 CPUtime=0.18 cores=1,3,5,7
/proc/17656/task/17666/stat : 17666 (java) R 17654 17654 14983 0 -1 1077944384 1124 0 0 0 18 0 0 0 20 0 19 0 444681834 15789527040 22245 33554432000 4194304 4196468 140724741536176 139815441393616 139815976937173 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17667] ppid=17654 vsize=15419460 memory=111628 CPUtime=0.2 cores=1,3,5,7
/proc/17656/task/17667/stat : 17667 (java) R 17654 17654 14983 0 -1 1077944384 714 0 0 0 20 0 0 0 20 0 19 0 444681834 15789527040 22245 33554432000 4194304 4196468 140724741536176 139815440354032 139815976938114 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17668] ppid=17654 vsize=15419460 memory=796 CPUtime=0.41 cores=1,3,5,7
/proc/17656/task/17668/stat : 17668 (java) R 17654 17654 14983 0 -1 4202560 1668 0 0 0 41 0 0 0 20 0 19 0 444681834 15789527040 22245 33554432000 4194304 4196468 140724741536176 139815439298168 139815956641782 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17669] ppid=17654 vsize=15419460 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17669/stat : 17669 (java) S 17654 17654 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444681834 15789527040 22245 33554432000 4194304 4196468 140724741536176 139815438248672 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17670] ppid=17654 vsize=15419460 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17670/stat : 17670 (java) S 17654 17654 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444681835 15789527040 22245 33554432000 4194304 4196468 140724741536176 139815437195952 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
Current children cumulated CPU time: 1.52 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 90432 KiB
[startup+1.50087 s]
/proc/loadavg: 9.27 8.90 8.68 11/238 17676
/proc/meminfo: memFree=30470148/32770624 swapFree=66997372/67108860
[pid=17654] ppid=17651 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17654/stat : 17654 (xcsp3-exec) S 17651 17654 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444681828 115843072 363 33554432000 4194304 5098028 140734160717568 140734160715672 140252716339836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22097920 140734160724859 140734160725101 140734160725101 140734160728010 0
/proc/17654/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/17656/task/17667/stat : 17667 (java) S 17654 17654 14983 0 -1 1077944384 14259 0 0 0 384 2 0 0 20 0 19 0 444681834 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815440354032 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17668] ppid=17654 vsize=15553616 memory=8560 CPUtime=0.76 cores=1,3,5,7
/proc/17656/task/17668/stat : 17668 (java) S 17654 17654 14983 0 -1 1077944384 5897 0 0 0 75 1 0 0 20 0 19 0 444681834 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815439301232 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17669] ppid=17654 vsize=15553616 memory=1668 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17669/stat : 17669 (java) S 17654 17654 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444681834 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815438248672 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17670] ppid=17654 vsize=15553616 memory=234548 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17670/stat : 17670 (java) S 17654 17654 14983 0 -1 1077944384 525 0 0 0 0 0 0 0 20 0 19 0 444681835 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815437195952 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17850] ppid=17654 vsize=15553616 memory=6791534058613427641 CPUtime=4.75 cores=1,3,5,7
/proc/17656/task/17850/stat : 17850 (java) R 17654 17654 14983 0 -1 4202560 73 0 0 0 475 0 0 0 20 0 19 0 444683913 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815419562848 139815572297239 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17851] ppid=17654 vsize=15553616 memory=776 CPUtime=4.73 cores=1,3,5,7
/proc/17656/task/17851/stat : 17851 (java) R 17654 17654 14983 0 -1 4202560 312 0 0 0 473 0 0 0 20 0 19 0 444683913 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815423777312 139815572821685 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17852] ppid=17654 vsize=15553616 memory=3992 CPUtime=4.75 cores=1,3,5,7
/proc/17656/task/17852/stat : 17852 (java) R 17654 17654 14983 0 -1 4202560 207 0 0 0 475 0 0 0 20 0 19 0 444683913 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815424827688 139815571958272 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17853] ppid=17654 vsize=15553616 memory=2828 CPUtime=4.69 cores=1,3,5,7
/proc/17656/task/17853/stat : 17853 (java) R 17654 17654 14983 0 -1 4202560 187 0 0 0 469 0 0 0 20 0 19 0 444683913 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815427977584 139815568746592 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
Current children cumulated CPU time: 100.33 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 233948 KiB
[startup+26.4018 s]
/proc/loadavg: 8.74 8.81 8.66 9/238 17853
/proc/meminfo: memFree=30452868/32770624 swapFree=66997372/67108860
[pid=17654] ppid=17651 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17654/stat : 17654 (xcsp3-exec) S 17651 17654 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444681828 115843072 363 33554432000 4194304 5098028 140734160717568 140734160715672 140252716339836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22097920 140734160724859 140734160725101 140734160725101 140734160728010 0
/proc/17654/statm: 28282 363 304 221 0 87 0
[pid=17656] ppid=17654 vsize=15553616 memory=232496 CPUtime=103.48 cores=1,3,5,7
/proc/17656/stat : 17656 (java) S 17654 17654 14983 0 -1 1077944320 65928 0 0 0 10329 19 0 0 20 0 19 0 444681829 15926902784 58124 33554432000 4194304 4196468 140724741536176 140724741518720 139815976926967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
/proc/17656/statm: 3888404 58124 3530 1 0 3849504 0
[pid=17656/tid=17657] ppid=17654 vsize=15553616 memory=7595391588732397676 CPUtime=0.67 cores=1,3,5,7
/proc/17656/task/17657/stat : 17657 (java) S 17654 17654 14983 0 -1 1077944384 9327 0 0 0 63 4 0 0 20 0 19 0 444681829 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815981167744 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17658] ppid=17654 vsize=15553616 memory=7453290706023507537 CPUtime=0.03 cores=1,3,5,7
/proc/17656/task/17658/stat : 17658 (java) S 17654 17654 14983 0 -1 1077944384 424 0 0 0 3 0 0 0 20 0 19 0 444681830 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815888583824 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17659] ppid=17654 vsize=15553616 memory=6944652177228980320 CPUtime=0.02 cores=1,3,5,7
/proc/17656/task/17659/stat : 17659 (java) S 17654 17654 14983 0 -1 1077944384 1238 0 0 0 2 0 0 0 20 0 19 0 444681830 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815887531024 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17660] ppid=17654 vsize=15553616 memory=1452 CPUtime=0.02 cores=1,3,5,7
/proc/17656/task/17660/stat : 17660 (java) S 17654 17654 14983 0 -1 1077944384 1909 0 0 0 2 0 0 0 20 0 19 0 444681830 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815886478224 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17661] ppid=17654 vsize=15553616 memory=1452 CPUtime=0.02 cores=1,3,5,7
/proc/17656/task/17661/stat : 17661 (java) S 17654 17654 14983 0 -1 1077944384 807 0 0 0 2 0 0 0 20 0 19 0 444681830 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815885425424 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17662] ppid=17654 vsize=15553616 memory=232496 CPUtime=0.03 cores=1,3,5,7
/proc/17656/task/17662/stat : 17662 (java) S 17654 17654 14983 0 -1 1077944384 1295 0 0 0 2 1 0 0 20 0 19 0 444681831 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815445617008 139815976938114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17663] ppid=17654 vsize=15553616 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17663/stat : 17663 (java) S 17654 17654 14983 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 444681832 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815444563040 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17664] ppid=17654 vsize=15553616 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17664/stat : 17664 (java) S 17654 17654 14983 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 444681832 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815443510144 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17665] ppid=17654 vsize=15553616 memory=8025788814078207340 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17665/stat : 17665 (java) S 17654 17654 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444681834 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815442458448 139815976945563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17666] ppid=17654 vsize=15553616 memory=6935649255962005584 CPUtime=3.84 cores=1,3,5,7
/proc/17656/task/17666/stat : 17666 (java) S 17654 17654 14983 0 -1 1077944384 20519 0 0 0 381 3 0 0 20 0 19 0 444681834 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815441406832 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17667] ppid=17654 vsize=15553616 memory=6004820471124940137 CPUtime=3.86 cores=1,3,5,7
/proc/17656/task/17667/stat : 17667 (java) S 17654 17654 14983 0 -1 1077944384 14261 0 0 0 384 2 0 0 20 0 19 0 444681834 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815440354032 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17668] ppid=17654 vsize=15553616 memory=3 CPUtime=0.76 cores=1,3,5,7
/proc/17656/task/17668/stat : 17668 (java) S 17654 17654 14983 0 -1 1077944384 5899 0 0 0 75 1 0 0 20 0 19 0 444681834 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815439301232 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17669] ppid=17654 vsize=15553616 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17669/stat : 17669 (java) S 17654 17654 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444681834 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815438248672 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17670] ppid=17654 vsize=15553616 memory=0 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17670/stat : 17670 (java) S 17654 17654 14983 0 -1 1077944384 525 0 0 0 0 0 0 0 20 0 19 0 444681835 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815437195952 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17850] ppid=17654 vsize=15553616 memory=0 CPUtime=5.55 cores=1,3,5,7
/proc/17656/task/17850/stat : 17850 (java) R 17654 17654 14983 0 -1 4202560 73 0 0 0 555 0 0 0 20 0 19 0 444683913 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815419562984 139815572451719 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17851] ppid=17654 vsize=15553616 memory=384 CPUtime=5.52 cores=1,3,5,7
/proc/17656/task/17851/stat : 17851 (java) R 17654 17654 14983 0 -1 4202560 327 0 0 0 552 0 0 0 20 0 19 0 444683913 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815423777312 139815570900232 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17852] ppid=17654 vsize=15553616 memory=386 CPUtime=5.53 cores=1,3,5,7
/proc/17656/task/17852/stat : 17852 (java) R 17654 17654 14983 0 -1 4202560 207 0 0 0 553 0 0 0 20 0 19 0 444683913 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815424827688 139815570438489 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17853] ppid=17654 vsize=15553616 memory=76 CPUtime=5.48 cores=1,3,5,7
/proc/17656/task/17853/stat : 17853 (java) R 17654 17654 14983 0 -1 4202560 194 0 0 0 548 0 0 0 20 0 19 0 444683913 15926902784 58124 33554432000 4194304 4196468 140724741536176 139815427977472 139815570098622 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
Current children cumulated CPU time: 103.48 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 233948 KiB
[startup+27.2018 s]
/proc/loadavg: 8.74 8.81 8.66 9/238 17853
/proc/meminfo: memFree=30455960/32770624 swapFree=66997372/67108860
[pid=17654] ppid=17651 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17654/stat : 17654 (xcsp3-exec) S 17651 17654 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444681828 115843072 363 33554432000 4194304 5098028 140734160717568 140734160715672 140252716339836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22097920 140734160724859 140734160725101 140734160725101 140734160728010 0
/proc/17654/statm: 28282 363 304 221 0 87 0
[pid=17656] ppid=17654 vsize=15553616 memory=229416 CPUtime=106.66 cores=1,3,5,7
/proc/17656/stat : 17656 (java) S 17654 17654 14983 0 -1 1077944320 65932 0 0 0 10647 19 0 0 20 0 19 0 444681829 15926902784 57354 33554432000 4194304 4196468 140724741536176 140724741518720 139815976926967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
/proc/17656/statm: 3888404 57354 3530 1 0 3849504 0
[pid=17656/tid=17657] ppid=17654 vsize=15553616 memory=8560 CPUtime=0.67 cores=1,3,5,7
/proc/17656/task/17657/stat : 17657 (java) S 17654 17654 14983 0 -1 1077944384 9327 0 0 0 63 4 0 0 20 0 19 0 444681829 15926902784 57354 33554432000 4194304 4196468 140724741536176 139815981167744 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17658] ppid=17654 vsize=15553616 memory=1668 CPUtime=0.03 cores=1,3,5,7
/proc/17656/task/17658/stat : 17658 (java) S 17654 17654 14983 0 -1 1077944384 425 0 0 0 3 0 0 0 20 0 19 0 444681830 15926902784 57354 33554432000 4194304 4196468 140724741536176 139815888583824 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17659] ppid=17654 vsize=15553616 memory=1112 CPUtime=0.02 cores=1,3,5,7
/proc/17656/task/17659/stat : 17659 (java) S 17654 17654 14983 0 -1 1077944384 1238 0 0 0 2 0 0 0 20 0 19 0 444681830 15926902784 57354 33554432000 4194304 4196468 140724741536176 139815887531024 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17660] ppid=17654 vsize=15553616 memory=1004 CPUtime=0.03 cores=1,3,5,7
/proc/17656/task/17660/stat : 17660 (java) S 17654 17654 14983 0 -1 1077944384 1909 0 0 0 3 0 0 0 20 0 19 0 444681830 15926902784 57354 33554432000 4194304 4196468 140724741536176 139815886478224 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17661] ppid=17654 vsize=15553616 memory=6036 CPUtime=0.02 cores=1,3,5,7
/proc/17656/task/17661/stat : 17661 (java) S 17654 17654 14983 0 -1 1077944384 809 0 0 0 2 0 0 0 20 0 19 0 444681830 15926902784 57354 33554432000 4194304 4196468 140724741536176 139815885425424 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17662] ppid=17654 vsize=15553616 memory=14008 CPUtime=0.03 cores=1,3,5,7
/proc/17656/task/17662/stat : 17662 (java) S 17654 17654 14983 0 -1 1077944384 1295 0 0 0 2 1 0 0 20 0 19 0 444681831 15926902784 57354 33554432000 4194304 4196468 140724741536176 139815445617008 139815976938114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17663] ppid=17654 vsize=15553616 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17663/stat : 17663 (java) S 17654 17654 14983 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 19 0 444681832 15926902784 57354 33554432000 4194304 4196468 140724741536176 139815444563040 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17664] ppid=17654 vsize=15553616 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17664/stat : 17664 (java) S 17654 17654 14983 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 444681832 15926902784 57354 33554432000 4194304 4196468 140724741536176 139815443510144 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17665] ppid=17654 vsize=15553616 memory=234548 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17665/stat : 17665 (java) S 17654 17654 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444681834 15926902784 57354 33554432000 4194304 4196468 140724741536176 139815442458448 139815976945563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17666] ppid=17654 vsize=15553616 memory=7308889644808228966 CPUtime=3.84 cores=1,3,5,7
/proc/17656/task/17666/stat : 17666 (java) S 17654 17654 14983 0 -1 1077944384 20519 0 0 0 381 3 0 0 20 0 19 0 444681834 15926902784 57354 33554432000 4194304 4196468 140724741536176 139815441406832 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17667] ppid=17654 vsize=15553616 memory=7235144209876281705 CPUtime=3.86 cores=1,3,5,7
/proc/17656/task/17667/stat : 17667 (java) S 17654 17654 14983 0 -1 1077944384 14261 0 0 0 384 2 0 0 20 0 19 0 444681834 15926902784 57354 33554432000 4194304 4196468 140724741536176 139815440354032 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17668] ppid=17654 vsize=15553616 memory=6084483396185319778 CPUtime=0.76 cores=1,3,5,7
/proc/17656/task/17668/stat : 17668 (java) S 17654 17654 14983 0 -1 1077944384 5899 0 0 0 75 1 0 0 20 0 19 0 444681834 15926902784 57354 33554432000 4194304 4196468 140724741536176 139815439301232 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17669] ppid=17654 vsize=15553616 memory=8101247231839527508 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17669/stat : 17669 (java) S 17654 17654 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444681834 15926902784 57354 33554432000 4194304 4196468 140724741536176 139815438248672 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17670] ppid=17654 vsize=15553616 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17670/stat : 17670 (java) S 17654 17654 14983 0 -1 1077944384 525 0 0 0 0 0 0 0 20 0 19 0 444681835 15926902784 57354 33554432000 4194304 4196468 140724741536176 139815437195952 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17850] ppid=17654 vsize=15553616 memory=234548 CPUtime=6.34 cores=1,3,5,7
/proc/17656/task/17850/stat : 17850 (java) R 17654 17654 14983 0 -1 4202560 73 0 0 0 634 0 0 0 20 0 19 0 444683913 15926902784 57354 33554432000 4194304 4196468 140724741536176 139815419565744 139815571457678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17851] ppid=17654 vsize=15553616 memory=676 CPUtime=6.32 cores=1,3,5,7
/proc/17656/task/17851/stat : 17851 (java) R 17654 17654 14983 0 -1 4202560 328 0 0 0 632 0 0 0 20 0 19 0 444683913 15926902784 57354 33554432000 4194304 4196468 140724741536176 139815423774896 139815567275790 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17852] ppid=17654 vsize=15553616 memory=26056 CPUtime=6.32 cores=1,3,5,7
/proc/17656/task/17852/stat : 17852 (java) R 17654 17654 14983 0 -1 4202560 207 0 0 0 632 0 0 0 20 0 19 0 444683913 15926902784 57354 33554432000 4194304 4196468 140724741536176 139815424827088 139815568705740 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17853] ppid=17654 vsize=15553616 memory=12024 CPUtime=6.26 cores=1,3,5,7
/proc/17656/task/17853/stat : 17853 (java) R 17654 17654 14983 0 -1 4202560 194 0 0 0 626 0 0 0 20 0 19 0 444683913 15926902784 57354 33554432000 4194304 4196468 140724741536176 139815427977464 139815570947460 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
Current children cumulated CPU time: 106.66 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 230868 KiB
[startup+27.4033 s]
/proc/loadavg: 8.74 8.81 8.66 9/238 17853
/proc/meminfo: memFree=30455960/32770624 swapFree=66997372/67108860
[pid=17654] ppid=17651 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/17654/stat : 17654 (xcsp3-exec) S 17651 17654 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444681828 115843072 363 33554432000 4194304 5098028 140734160717568 140734160715672 140252716339836 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22097920 140734160724859 140734160725101 140734160725101 140734160728010 0
/proc/17654/statm: 28282 363 304 221 0 87 0
[pid=17656] ppid=17654 vsize=15553616 memory=229416 CPUtime=107.46 cores=1,3,5,7
/proc/17656/stat : 17656 (java) S 17654 17654 14983 0 -1 1077944320 66761 0 0 0 10727 19 0 0 20 0 19 0 444681829 15926902784 57354 33554432000 4194304 4196468 140724741536176 140724741518720 139815976926967 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
/proc/17656/statm: 3888404 57354 3530 1 0 3849504 0
[pid=17656/tid=17657] ppid=17654 vsize=15553616 memory=932 CPUtime=0.67 cores=1,3,5,7
/proc/17656/task/17657/stat : 17657 (java) R 17654 17654 14983 0 -1 4202560 9413 0 0 0 63 4 0 0 20 0 19 0 444681829 15926902784 57337 33554432000 4194304 4196468 140724741536176 139815981167912 139815962296365 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17658] ppid=17654 vsize=15553616 memory=3768 CPUtime=0.03 cores=1,3,5,7
/proc/17656/task/17658/stat : 17658 (java) S 17654 17654 14983 0 -1 1077944384 425 0 0 0 3 0 0 0 20 0 19 0 444681830 15926902784 57303 33554432000 4194304 4196468 140724741536176 139815888583824 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17659] ppid=17654 vsize=15553616 memory=1980 CPUtime=0.02 cores=1,3,5,7
/proc/17656/task/17659/stat : 17659 (java) S 17654 17654 14983 0 -1 1077944384 1238 0 0 0 2 0 0 0 20 0 19 0 444681830 15926902784 57303 33554432000 4194304 4196468 140724741536176 139815887531024 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17660] ppid=17654 vsize=15553616 memory=2512 CPUtime=0.03 cores=1,3,5,7
/proc/17656/task/17660/stat : 17660 (java) S 17654 17654 14983 0 -1 1077944384 1909 0 0 0 3 0 0 0 20 0 16 0 444681830 15926902784 57303 33554432000 4194304 4196468 140724741536176 139815886478224 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17661] ppid=17654 vsize=15553616 memory=1436 CPUtime=0.02 cores=1,3,5,7
/proc/17656/task/17661/stat : 17661 (java) S 17654 17654 14983 0 -1 1077944384 809 0 0 0 2 0 0 0 20 0 16 0 444681830 15926902784 57303 33554432000 4194304 4196468 140724741536176 139815885425424 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17662] ppid=17654 vsize=15553616 memory=1756 CPUtime=0.03 cores=1,3,5,7
/proc/17656/task/17662/stat : 17662 (java) S 17654 17654 14983 0 -1 1077944384 1345 0 0 0 2 1 0 0 20 0 16 0 444681831 15926902784 57303 33554432000 4194304 4196468 140724741536176 139815445617008 139815976938114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17663] ppid=17654 vsize=15553616 memory=8317482817917895235 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17663/stat : 17663 (java) S 17654 17654 14983 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 16 0 444681832 15926902784 57303 33554432000 4194304 4196468 140724741536176 139815444563040 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17664] ppid=17654 vsize=15553616 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17664/stat : 17664 (java) S 17654 17654 14983 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 16 0 444681832 15926902784 57303 33554432000 4194304 4196468 140724741536176 139815443510144 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17665] ppid=17654 vsize=15553616 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17665/stat : 17665 (java) S 17654 17654 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 444681834 15926902784 57303 33554432000 4194304 4196468 140724741536176 139815442458448 139815976945563 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17666] ppid=17654 vsize=15553616 memory=1388 CPUtime=3.84 cores=1,3,5,7
/proc/17656/task/17666/stat : 17666 (java) R 17654 17654 14983 0 -1 4202560 20521 0 0 0 381 3 0 0 20 0 16 0 444681834 15926902784 57303 33554432000 4194304 4196468 140724741536176 139815441406832 139815976948314 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17667] ppid=17654 vsize=15553616 memory=776 CPUtime=3.86 cores=1,3,5,7
/proc/17656/task/17667/stat : 17667 (java) S 17654 17654 14983 0 -1 1077944384 14263 0 0 0 384 2 0 0 20 0 16 0 444681834 15926902784 57303 33554432000 4194304 4196468 140724741536176 139815440354032 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17668] ppid=17654 vsize=15553616 memory=3992 CPUtime=0.76 cores=1,3,5,7
/proc/17656/task/17668/stat : 17668 (java) R 17654 17654 14983 0 -1 4202560 5926 0 0 0 75 1 0 0 20 0 16 0 444681834 15926902784 57303 33554432000 4194304 4196468 140724741536176 139815439301232 139815962607665 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17669] ppid=17654 vsize=15553616 memory=15620 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17669/stat : 17669 (java) S 17654 17654 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 444681834 15926902784 57303 33554432000 4194304 4196468 140724741536176 139815438248672 139815976937173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17670] ppid=17654 vsize=15553616 memory=281093665214048 CPUtime=0 cores=1,3,5,7
/proc/17656/task/17670/stat : 17670 (java) S 17654 17654 14983 0 -1 1077944384 542 0 0 0 0 0 0 0 20 0 16 0 444681835 15926902784 57303 33554432000 4194304 4196468 140724741536176 139815437195952 139815976938114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
[pid=17656/tid=17850] ppid=17654 vsize=15553616 memory=2596 CPUtime=6.55 cores=1,3,5,7
/proc/17656/task/17850/stat : 17850 (java) R 17654 17654 14983 0 -1 4202560 267 0 0 0 655 0 0 0 20 0 16 0 444683913 15926902784 57303 33554432000 4194304 4196468 140724741536176 139815419570440 139815969161211 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34447360 140724741538799 140724741538970 140724741538970 140724741541839 0
Current children cumulated CPU time: 107.46 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 230868 KiB
Child status: 0
Real time (s): 27.4232
CPU time (s): 107.486
CPU user time (s): 107.281
CPU system time (s): 0.204763
CPU usage (%): 391.953
Max. virtual memory (cumulated for all children) (KiB): 15666744
Max. memory (cumulated for all children) (KiB): 262756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 107.281
system time used= 0.204763
maximum resident set size= 261304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68240
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= 5092
involuntary context switches= 2800
# summary of solver processes directly reported to runsolver:
# pid: 17654
# total CPU time (s): 107.486
# total CPU user time (s): 107.281
# total CPU system time (s): 0.204763
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.183889 second user time and 0.372414 second system time
The end