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 (7254 MiB free)
memory of node 1: 16384 MiB (5576 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403557-1568989776/watcher-4403557-1568989776 -o /tmp/evaluation-result-4403557-1568989776/solver-4403557-1568989776 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568983762-7722 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 358800636 HOME/instance-4403557-1568989776.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=9833, runsolver pid=9830
[startup+0.101533 s]*
/proc/loadavg: 8.70 8.43 7.11 8/232 9849
/proc/meminfo: memFree=13124212/32770624 swapFree=66986244/67108860
[pid=9833] ppid=9830 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9833/stat : 9833 (xcsp3-exec) S 9830 9833 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475234459 115843072 362 33554432000 4194304 5098028 140735109606304 140735109604408 140564084134524 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40259584 140735109612411 140735109612653 140735109612653 140735109615562 0
/proc/9833/statm: 28282 362 304 221 0 87 0
[pid=9835] ppid=9833 vsize=15144776 memory=27728 CPUtime=0.13 cores=1,3,5,7
/proc/9835/stat : 9835 (java) S 9833 9833 7690 0 -1 1077944320 5946 0 0 0 12 1 0 0 20 0 15 0 475234459 15508250624 6932 33554432000 4194304 4196468 140734088865104 140734088847648 139818528931575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
/proc/9835/statm: 3786194 6932 3135 1 0 3748377 0
[pid=9835/tid=9836] ppid=9833 vsize=15144776 memory=-2698087569006908830 CPUtime=0.09 cores=1,3,5,7
/proc/9835/task/9836/stat : 9836 (java) R 9833 9833 7690 0 -1 4202560 3781 0 0 0 8 1 0 0 20 0 15 0 475234460 15508250624 6932 33554432000 4194304 4196468 140734088865104 139818533162896 139818510341725 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9837] ppid=9833 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9837/stat : 9837 (java) S 9833 9833 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475234460 15508250624 6932 33554432000 4194304 4196468 140734088865104 139818500774672 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9838] ppid=9833 vsize=15144776 memory=140326955775616 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9838/stat : 9838 (java) S 9833 9833 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475234460 15508250624 6932 33554432000 4194304 4196468 140734088865104 139818120612752 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9839] ppid=9833 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9839/stat : 9839 (java) S 9833 9833 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475234460 15508250624 6932 33554432000 4194304 4196468 140734088865104 139818119560208 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9840] ppid=9833 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9840/stat : 9840 (java) S 9833 9833 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475234460 15508250624 6932 33554432000 4194304 4196468 140734088865104 139818118507664 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9841] ppid=9833 vsize=15144776 memory=140326955775616 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9841/stat : 9841 (java) S 9833 9833 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475234462 15508250624 6932 33554432000 4194304 4196468 140734088865104 139817997588464 139818528942722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9842] ppid=9833 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9842/stat : 9842 (java) S 9833 9833 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475234462 15508250624 6932 33554432000 4194304 4196468 140734088865104 139817996534688 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9843] ppid=9833 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9843/stat : 9843 (java) S 9833 9833 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475234462 15508250624 6932 33554432000 4194304 4196468 140734088865104 139817995482096 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9844] ppid=9833 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9844/stat : 9844 (java) S 9833 9833 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475234465 15508250624 6932 33554432000 4194304 4196468 140734088865104 139817994430672 139818528950171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9845] ppid=9833 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9845/stat : 9845 (java) S 9833 9833 7690 0 -1 1077944384 353 0 0 0 0 0 0 0 20 0 15 0 475234465 15508250624 6932 33554432000 4194304 4196468 140734088865104 139817993378288 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9846] ppid=9833 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9846/stat : 9846 (java) S 9833 9833 7690 0 -1 1077944384 126 0 0 0 0 0 0 0 20 0 15 0 475234465 15508250624 6932 33554432000 4194304 4196468 140734088865104 139817992325744 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9847] ppid=9833 vsize=15144776 memory=140326955775616 CPUtime=0.02 cores=1,3,5,7
/proc/9835/task/9847/stat : 9847 (java) S 9833 9833 7690 0 -1 1077944384 392 0 0 0 2 0 0 0 20 0 15 0 475234465 15508250624 6932 33554432000 4194304 4196468 140734088865104 139817991273200 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9848] ppid=9833 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9848/stat : 9848 (java) S 9833 9833 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475234465 15508250624 6932 33554432000 4194304 4196468 140734088865104 139817990220896 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9849] ppid=9833 vsize=15144776 memory=140326955775616 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9849/stat : 9849 (java) S 9833 9833 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475234465 15508250624 6932 33554432000 4194304 4196468 140734088865104 139817989167408 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29176 KiB
[startup+0.210791 s]*
/proc/loadavg: 8.70 8.43 7.11 7/232 9849
/proc/meminfo: memFree=13110972/32770624 swapFree=66986244/67108860
[pid=9833] ppid=9830 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9833/stat : 9833 (xcsp3-exec) S 9830 9833 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475234459 115843072 362 33554432000 4194304 5098028 140735109606304 140735109604408 140564084134524 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40259584 140735109612411 140735109612653 140735109612653 140735109615562 0
/proc/9833/statm: 28282 362 304 221 0 87 0
[pid=9835] ppid=9833 vsize=15144776 memory=39756 CPUtime=0.34 cores=1,3,5,7
/proc/9835/stat : 9835 (java) S 9833 9833 7690 0 -1 1077944320 9726 0 0 0 31 3 0 0 20 0 15 0 475234459 15508250624 9939 33554432000 4194304 4196468 140734088865104 140734088847648 139818528931575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
/proc/9835/statm: 3786194 9939 3310 1 0 3748377 0
[pid=9835/tid=9836] ppid=9833 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/9835/task/9836/stat : 9836 (java) R 9833 9833 7690 0 -1 4202560 6701 0 0 0 18 2 0 0 20 0 15 0 475234460 15508250624 10004 33554432000 4194304 4196468 140734088865104 139818533163488 139818513012062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9837] ppid=9833 vsize=15144776 memory=1898699 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9837/stat : 9837 (java) S 9833 9833 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475234460 15508250624 10004 33554432000 4194304 4196468 140734088865104 139818500774672 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9838] ppid=9833 vsize=15144776 memory=3386526 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9838/stat : 9838 (java) S 9833 9833 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475234460 15508250624 10004 33554432000 4194304 4196468 140734088865104 139818120612752 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9839] ppid=9833 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9839/stat : 9839 (java) S 9833 9833 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475234460 15508250624 10004 33554432000 4194304 4196468 140734088865104 139818119560208 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9840] ppid=9833 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9840/stat : 9840 (java) S 9833 9833 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475234460 15508250624 10004 33554432000 4194304 4196468 140734088865104 139818118507664 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9841] ppid=9833 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9841/stat : 9841 (java) S 9833 9833 7690 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475234462 15508250624 10004 33554432000 4194304 4196468 140734088865104 139817997588464 139818528942722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9842] ppid=9833 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9842/stat : 9842 (java) S 9833 9833 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475234462 15508250624 10004 33554432000 4194304 4196468 140734088865104 139817996534688 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9843] ppid=9833 vsize=15144776 memory=140326955775616 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9843/stat : 9843 (java) S 9833 9833 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475234462 15508250624 10004 33554432000 4194304 4196468 140734088865104 139817995482096 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9844] ppid=9833 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9844/stat : 9844 (java) S 9833 9833 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475234465 15508250624 10004 33554432000 4194304 4196468 140734088865104 139817994430672 139818528950171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9845] ppid=9833 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9835/task/9845/stat : 9845 (java) S 9833 9833 7690 0 -1 1077944384 471 0 0 0 2 0 0 0 20 0 15 0 475234465 15508250624 10004 33554432000 4194304 4196468 140734088865104 139817993378288 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9846] ppid=9833 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9835/task/9846/stat : 9846 (java) S 9833 9833 7690 0 -1 1077944384 393 0 0 0 2 0 0 0 20 0 15 0 475234465 15508250624 10004 33554432000 4194304 4196468 140734088865104 139817992325744 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9847] ppid=9833 vsize=15144776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/9835/task/9847/stat : 9847 (java) R 9833 9833 7690 0 -1 4202560 860 0 0 0 8 0 0 0 20 0 15 0 475234465 15508250624 10004 33554432000 4194304 4196468 140734088865104 139817991273200 139818522028411 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9848] ppid=9833 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9848/stat : 9848 (java) S 9833 9833 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475234465 15508250624 10004 33554432000 4194304 4196468 140734088865104 139817990220896 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9849] ppid=9833 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9849/stat : 9849 (java) S 9833 9833 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475234465 15508250624 10004 33554432000 4194304 4196468 140734088865104 139817989167408 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41204 KiB
[startup+0.312155 s]*
/proc/loadavg: 8.70 8.43 7.11 7/232 9849
/proc/meminfo: memFree=13104060/32770624 swapFree=66986244/67108860
[pid=9833] ppid=9830 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9833/stat : 9833 (xcsp3-exec) S 9830 9833 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475234459 115843072 362 33554432000 4194304 5098028 140735109606304 140735109604408 140564084134524 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40259584 140735109612411 140735109612653 140735109612653 140735109615562 0
/proc/9833/statm: 28282 362 304 221 0 87 0
[pid=9835] ppid=9833 vsize=15149032 memory=49036 CPUtime=0.52 cores=1,3,5,7
/proc/9835/stat : 9835 (java) S 9833 9833 7690 0 -1 1077944320 11122 0 0 0 48 4 0 0 20 0 15 0 475234459 15512608768 12259 33554432000 4194304 4196468 140734088865104 140734088847648 139818528931575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
/proc/9835/statm: 3787258 12259 3356 1 0 3748377 0
[pid=9835/tid=9836] ppid=9833 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/9835/task/9836/stat : 9836 (java) R 9833 9833 7690 0 -1 4202560 7881 0 0 0 27 3 0 0 20 0 15 0 475234460 15512608768 12259 33554432000 4194304 4196468 140734088865104 139818533162688 139818513012062 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9837] ppid=9833 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9837/stat : 9837 (java) S 9833 9833 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475234460 15512608768 12259 33554432000 4194304 4196468 140734088865104 139818500774672 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9838] ppid=9833 vsize=15149032 memory=3372754 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9838/stat : 9838 (java) S 9833 9833 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475234460 15512608768 12259 33554432000 4194304 4196468 140734088865104 139818120612752 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9839] ppid=9833 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9839/stat : 9839 (java) S 9833 9833 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475234460 15512608768 12259 33554432000 4194304 4196468 140734088865104 139818119560208 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9840] ppid=9833 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9840/stat : 9840 (java) S 9833 9833 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475234460 15512608768 12259 33554432000 4194304 4196468 140734088865104 139818118507664 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9841] ppid=9833 vsize=15149032 memory=140326955775616 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9841/stat : 9841 (java) S 9833 9833 7690 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475234462 15512608768 12259 33554432000 4194304 4196468 140734088865104 139817997588464 139818528942722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9842] ppid=9833 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9842/stat : 9842 (java) S 9833 9833 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475234462 15512608768 12259 33554432000 4194304 4196468 140734088865104 139817996534688 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9843] ppid=9833 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9843/stat : 9843 (java) S 9833 9833 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475234462 15512608768 12259 33554432000 4194304 4196468 140734088865104 139817995482096 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9844] ppid=9833 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9844/stat : 9844 (java) S 9833 9833 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475234465 15512608768 12259 33554432000 4194304 4196468 140734088865104 139817994430672 139818528950171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9845] ppid=9833 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/9835/task/9845/stat : 9845 (java) S 9833 9833 7690 0 -1 1077944384 514 0 0 0 4 0 0 0 20 0 15 0 475234465 15512608768 12259 33554432000 4194304 4196468 140734088865104 139817993378288 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9846] ppid=9833 vsize=15149032 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/9835/task/9846/stat : 9846 (java) S 9833 9833 7690 0 -1 1077944384 402 0 0 0 3 0 0 0 20 0 15 0 475234465 15512608768 12259 33554432000 4194304 4196468 140734088865104 139817992325744 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9847] ppid=9833 vsize=15149032 memory=140326955775616 CPUtime=0.12 cores=1,3,5,7
/proc/9835/task/9847/stat : 9847 (java) S 9833 9833 7690 0 -1 1077944384 1036 0 0 0 12 0 0 0 20 0 15 0 475234465 15512608768 12259 33554432000 4194304 4196468 140734088865104 139817991273200 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9848] ppid=9833 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9848/stat : 9848 (java) S 9833 9833 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475234465 15512608768 12259 33554432000 4194304 4196468 140734088865104 139817990220896 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9849] ppid=9833 vsize=15149032 memory=140326955775616 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9849/stat : 9849 (java) S 9833 9833 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475234465 15512608768 12259 33554432000 4194304 4196468 140734088865104 139817989167408 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50484 KiB
[startup+0.701779 s]
/proc/loadavg: 8.70 8.43 7.11 10/232 9849
/proc/meminfo: memFree=13085756/32770624 swapFree=66986244/67108860
[pid=9833] ppid=9830 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9833/stat : 9833 (xcsp3-exec) S 9830 9833 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475234459 115843072 362 33554432000 4194304 5098028 140735109606304 140735109604408 140564084134524 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40259584 140735109612411 140735109612653 140735109612653 140735109615562 0
/proc/9833/statm: 28282 362 304 221 0 87 0
[pid=9835] ppid=9833 vsize=15417412 memory=92760 CPUtime=1.61 cores=1,3,5,7
/proc/9835/stat : 9835 (java) S 9833 9833 7690 0 -1 1077944320 15464 0 0 0 156 5 0 0 20 0 19 0 475234459 15787429888 23190 33554432000 4194304 4196468 140734088865104 140734088847648 139818528931575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
/proc/9835/statm: 3854353 23190 3452 1 0 3815453 0
[pid=9835/tid=9836] ppid=9833 vsize=15417412 memory=2120 CPUtime=0.66 cores=1,3,5,7
/proc/9835/task/9836/stat : 9836 (java) S 9833 9833 7690 0 -1 1077944384 9338 0 0 0 62 4 0 0 20 0 19 0 475234460 15787429888 23190 33554432000 4194304 4196468 140734088865104 139818533172352 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9837] ppid=9833 vsize=15417412 memory=532 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9837/stat : 9837 (java) S 9833 9833 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475234460 15787429888 23190 33554432000 4194304 4196468 140734088865104 139818500774672 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9838] ppid=9833 vsize=15417412 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9838/stat : 9838 (java) S 9833 9833 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475234460 15787429888 23190 33554432000 4194304 4196468 140734088865104 139818120612752 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9839] ppid=9833 vsize=15417412 memory=924 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9839/stat : 9839 (java) S 9833 9833 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475234460 15787429888 23190 33554432000 4194304 4196468 140734088865104 139818119560208 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9840] ppid=9833 vsize=15417412 memory=1680 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9840/stat : 9840 (java) S 9833 9833 7690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475234460 15787429888 23190 33554432000 4194304 4196468 140734088865104 139818118507664 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9841] ppid=9833 vsize=15417412 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9841/stat : 9841 (java) S 9833 9833 7690 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 475234462 15787429888 23190 33554432000 4194304 4196468 140734088865104 139817997588464 139818528942722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9842] ppid=9833 vsize=15417412 memory=912 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9842/stat : 9842 (java) S 9833 9833 7690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475234462 15787429888 23190 33554432000 4194304 4196468 140734088865104 139817996534688 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9843] ppid=9833 vsize=15417412 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9843/stat : 9843 (java) S 9833 9833 7690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475234462 15787429888 23190 33554432000 4194304 4196468 140734088865104 139817995482096 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9844] ppid=9833 vsize=15417412 memory=2480 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9844/stat : 9844 (java) S 9833 9833 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475234465 15787429888 23190 33554432000 4194304 4196468 140734088865104 139817994430672 139818528950171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9845] ppid=9833 vsize=15417412 memory=7302135314614015849 CPUtime=0.22 cores=1,3,5,7
/proc/9835/task/9845/stat : 9845 (java) R 9833 9833 7690 0 -1 4202560 1258 0 0 0 22 0 0 0 20 0 19 0 475234465 15787429888 23190 33554432000 4194304 4196468 140734088865104 139817993367216 139818512432059 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9846] ppid=9833 vsize=15417412 memory=6155121516198914646 CPUtime=0.26 cores=1,3,5,7
/proc/9835/task/9846/stat : 9846 (java) R 9833 9833 7690 0 -1 1077944384 1146 0 0 0 26 0 0 0 20 0 19 0 475234465 15787429888 23190 33554432000 4194304 4196468 140734088865104 139817992325872 139818528941781 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9847] ppid=9833 vsize=15417412 memory=7295944995277656144 CPUtime=0.41 cores=1,3,5,7
/proc/9835/task/9847/stat : 9847 (java) R 9833 9833 7690 0 -1 4202560 2268 0 0 0 41 0 0 0 20 0 19 0 475234465 15787429888 23190 33554432000 4194304 4196468 140734088865104 139817991271600 139818522028411 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9848] ppid=9833 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9848/stat : 9848 (java) S 9833 9833 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475234465 15787429888 23190 33554432000 4194304 4196468 140734088865104 139817990220896 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9849] ppid=9833 vsize=15417412 memory=7523096512984082771 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9849/stat : 9849 (java) S 9833 9833 7690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475234465 15787429888 23190 33554432000 4194304 4196468 140734088865104 139817989167408 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 94208 KiB
[startup+1.51038 s]
/proc/loadavg: 8.57 8.41 7.11 9/236 9853
/proc/meminfo: memFree=13049952/32770624 swapFree=66986244/67108860
[pid=9833] ppid=9830 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9833/stat : 9833 (xcsp3-exec) S 9830 9833 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475234459 115843072 362 33554432000 4194304 5098028 140735109606304 140735109604408 140564084134524 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40259584 140735109612411 140735109612653 140735109612653 140735109615562 0
/proc/9833/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/9835/task/9849/stat : 9849 (java) S 9833 9833 7690 0 -1 1077944384 385 0 0 0 0 1 0 0 20 0 19 0 475234465 15787429888 37758 33554432000 4194304 4196468 140734088865104 139817989167408 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9850] ppid=9833 vsize=15417412 memory=14048 CPUtime=43.43 cores=1,3,5,7
/proc/9835/task/9850/stat : 9850 (java) R 9833 9833 7690 0 -1 4202560 607 0 0 0 4343 0 0 0 20 0 19 0 475234528 15787429888 37758 33554432000 4194304 4196468 140734088865104 139817979950592 139818171092788 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9851] ppid=9833 vsize=15417412 memory=29424 CPUtime=43.75 cores=1,3,5,7
/proc/9835/task/9851/stat : 9851 (java) R 9833 9833 7690 0 -1 4202560 1432 0 0 0 4372 3 0 0 20 0 19 0 475234528 15787429888 37758 33554432000 4194304 4196468 140734088865104 139817978896408 139818171092841 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9852] ppid=9833 vsize=15417412 memory=2120 CPUtime=43.11 cores=1,3,5,7
/proc/9835/task/9852/stat : 9852 (java) R 9833 9833 7690 0 -1 4202560 615 0 0 0 4311 0 0 0 20 0 19 0 475234528 15787429888 37758 33554432000 4194304 4196468 140734088865104 139817977843712 139818171092841 0 4 0 16800975 0 0 0 -1 7 0 0 15 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9853] ppid=9833 vsize=15417412 memory=532 CPUtime=43 cores=1,3,5,7
/proc/9835/task/9853/stat : 9853 (java) R 9833 9833 7690 0 -1 4202560 1512 0 0 0 4300 0 0 0 20 0 19 0 475234528 15787429888 37758 33554432000 4194304 4196468 140734088865104 139817976791608 139818171722488 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
Current children cumulated CPU time: 179.84 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 152480 KiB
[startup+46.4014 s]
/proc/loadavg: 8.25 8.35 7.15 11/237 9857
/proc/meminfo: memFree=13011864/32770624 swapFree=66986244/67108860
[pid=9833] ppid=9830 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9833/stat : 9833 (xcsp3-exec) S 9830 9833 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475234459 115843072 362 33554432000 4194304 5098028 140735109606304 140735109604408 140564084134524 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40259584 140735109612411 140735109612653 140735109612653 140735109615562 0
/proc/9833/statm: 28282 362 304 221 0 87 0
[pid=9835] ppid=9833 vsize=15417412 memory=149492 CPUtime=182.99 cores=1,3,5,7
/proc/9835/stat : 9835 (java) S 9833 9833 7690 0 -1 1077944320 51163 0 0 0 18285 14 0 0 20 0 19 0 475234459 15787429888 37373 33554432000 4194304 4196468 140734088865104 140734088847648 139818528931575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
/proc/9835/statm: 3854353 37373 3513 1 0 3815453 0
[pid=9835/tid=9836] ppid=9833 vsize=15417412 memory=1448 CPUtime=0.66 cores=1,3,5,7
/proc/9835/task/9836/stat : 9836 (java) S 9833 9833 7690 0 -1 1077944384 9338 0 0 0 62 4 0 0 20 0 19 0 475234460 15787429888 37373 33554432000 4194304 4196468 140734088865104 139818533172352 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9837] ppid=9833 vsize=15417412 memory=8112282956445269571 CPUtime=0.03 cores=1,3,5,7
/proc/9835/task/9837/stat : 9837 (java) S 9833 9833 7690 0 -1 1077944384 235 0 0 0 3 0 0 0 20 0 19 0 475234460 15787429888 37373 33554432000 4194304 4196468 140734088865104 139818500774672 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9838] ppid=9833 vsize=15417412 memory=2600 CPUtime=0.03 cores=1,3,5,7
/proc/9835/task/9838/stat : 9838 (java) S 9833 9833 7690 0 -1 1077944384 965 0 0 0 3 0 0 0 20 0 19 0 475234460 15787429888 37373 33554432000 4194304 4196468 140734088865104 139818120612752 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9839] ppid=9833 vsize=15417412 memory=1412 CPUtime=0.03 cores=1,3,5,7
/proc/9835/task/9839/stat : 9839 (java) S 9833 9833 7690 0 -1 1077944384 2749 0 0 0 3 0 0 0 20 0 19 0 475234460 15787429888 37373 33554432000 4194304 4196468 140734088865104 139818119560208 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9840] ppid=9833 vsize=15417412 memory=3352 CPUtime=0.03 cores=1,3,5,7
/proc/9835/task/9840/stat : 9840 (java) S 9833 9833 7690 0 -1 1077944384 445 0 0 0 3 0 0 0 20 0 19 0 475234460 15787429888 37373 33554432000 4194304 4196468 140734088865104 139818118507664 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9841] ppid=9833 vsize=15417412 memory=149492 CPUtime=0.03 cores=1,3,5,7
/proc/9835/task/9841/stat : 9841 (java) S 9833 9833 7690 0 -1 1077944384 1312 0 0 0 3 0 0 0 20 0 19 0 475234462 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817997588464 139818528942722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 41 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9842] ppid=9833 vsize=15417412 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9842/stat : 9842 (java) S 9833 9833 7690 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475234462 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817996534752 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9843] ppid=9833 vsize=15417412 memory=796 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9843/stat : 9843 (java) S 9833 9833 7690 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 475234462 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817995482112 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9844] ppid=9833 vsize=15417412 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9844/stat : 9844 (java) S 9833 9833 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475234465 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817994430672 139818528950171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9845] ppid=9833 vsize=15417412 memory=1804 CPUtime=2.4 cores=1,3,5,7
/proc/9835/task/9845/stat : 9845 (java) S 9833 9833 7690 0 -1 1077944384 12040 0 0 0 240 0 0 0 20 0 19 0 475234465 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817993378288 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9846] ppid=9833 vsize=15417412 memory=916 CPUtime=2.53 cores=1,3,5,7
/proc/9835/task/9846/stat : 9846 (java) S 9833 9833 7690 0 -1 1077944384 10873 0 0 0 252 1 0 0 20 0 19 0 475234465 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817992325744 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9847] ppid=9833 vsize=15417412 memory=3848 CPUtime=0.67 cores=1,3,5,7
/proc/9835/task/9847/stat : 9847 (java) S 9833 9833 7690 0 -1 1077944384 7261 0 0 0 66 1 0 0 20 0 19 0 475234465 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817991273200 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9848] ppid=9833 vsize=15417412 memory=6048 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9848/stat : 9848 (java) S 9833 9833 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475234465 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817990220896 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9849] ppid=9833 vsize=15417412 memory=7552 CPUtime=0.01 cores=1,3,5,7
/proc/9835/task/9849/stat : 9849 (java) S 9833 9833 7690 0 -1 1077944384 385 0 0 0 0 1 0 0 20 0 19 0 475234465 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817989167408 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9850] ppid=9833 vsize=15417412 memory=2832 CPUtime=44.22 cores=1,3,5,7
/proc/9835/task/9850/stat : 9850 (java) R 9833 9833 7690 0 -1 4202560 607 0 0 0 4422 0 0 0 20 0 19 0 475234528 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817979947832 139818171721794 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9851] ppid=9833 vsize=15417412 memory=1084 CPUtime=44.54 cores=1,3,5,7
/proc/9835/task/9851/stat : 9851 (java) R 9833 9833 7690 0 -1 4202560 1432 0 0 0 4451 3 0 0 20 0 19 0 475234528 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817978896408 139818171092801 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9852] ppid=9833 vsize=15417412 memory=14012 CPUtime=43.9 cores=1,3,5,7
/proc/9835/task/9852/stat : 9852 (java) R 9833 9833 7690 0 -1 4202560 616 0 0 0 4390 0 0 0 20 0 19 0 475234528 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817977846112 139818171839414 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9853] ppid=9833 vsize=15417412 memory=14048 CPUtime=43.77 cores=1,3,5,7
/proc/9835/task/9853/stat : 9853 (java) R 9833 9833 7690 0 -1 4202560 1514 0 0 0 4377 0 0 0 20 0 19 0 475234528 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817976791056 139818171553030 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
Current children cumulated CPU time: 182.99 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 150940 KiB
[startup+46.8014 s]
/proc/loadavg: 8.25 8.35 7.15 11/237 9857
/proc/meminfo: memFree=13011864/32770624 swapFree=66986244/67108860
[pid=9833] ppid=9830 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9833/stat : 9833 (xcsp3-exec) S 9830 9833 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475234459 115843072 362 33554432000 4194304 5098028 140735109606304 140735109604408 140564084134524 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40259584 140735109612411 140735109612653 140735109612653 140735109615562 0
/proc/9833/statm: 28282 362 304 221 0 87 0
[pid=9835] ppid=9833 vsize=15417412 memory=149492 CPUtime=184.58 cores=1,3,5,7
/proc/9835/stat : 9835 (java) S 9833 9833 7690 0 -1 1077944320 51163 0 0 0 18444 14 0 0 20 0 19 0 475234459 15787429888 37373 33554432000 4194304 4196468 140734088865104 140734088847648 139818528931575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
/proc/9835/statm: 3854353 37373 3513 1 0 3815453 0
[pid=9835/tid=9836] ppid=9833 vsize=15417412 memory=-2023959437020729679 CPUtime=0.66 cores=1,3,5,7
/proc/9835/task/9836/stat : 9836 (java) S 9833 9833 7690 0 -1 1077944384 9338 0 0 0 62 4 0 0 20 0 19 0 475234460 15787429888 37373 33554432000 4194304 4196468 140734088865104 139818533172352 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9837] ppid=9833 vsize=15417412 memory=164 CPUtime=0.03 cores=1,3,5,7
/proc/9835/task/9837/stat : 9837 (java) S 9833 9833 7690 0 -1 1077944384 235 0 0 0 3 0 0 0 20 0 19 0 475234460 15787429888 37373 33554432000 4194304 4196468 140734088865104 139818500774672 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9838] ppid=9833 vsize=15417412 memory=6944656592455097440 CPUtime=0.03 cores=1,3,5,7
/proc/9835/task/9838/stat : 9838 (java) S 9833 9833 7690 0 -1 1077944384 965 0 0 0 3 0 0 0 20 0 19 0 475234460 15787429888 37373 33554432000 4194304 4196468 140734088865104 139818120612752 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9839] ppid=9833 vsize=15417412 memory=6656426216303648864 CPUtime=0.03 cores=1,3,5,7
/proc/9835/task/9839/stat : 9839 (java) S 9833 9833 7690 0 -1 1077944384 2749 0 0 0 3 0 0 0 20 0 19 0 475234460 15787429888 37373 33554432000 4194304 4196468 140734088865104 139818119560208 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9840] ppid=9833 vsize=15417412 memory=6943526294502006880 CPUtime=0.03 cores=1,3,5,7
/proc/9835/task/9840/stat : 9840 (java) S 9833 9833 7690 0 -1 1077944384 445 0 0 0 3 0 0 0 20 0 19 0 475234460 15787429888 37373 33554432000 4194304 4196468 140734088865104 139818118507664 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9841] ppid=9833 vsize=15417412 memory=6944656592455359580 CPUtime=0.03 cores=1,3,5,7
/proc/9835/task/9841/stat : 9841 (java) S 9833 9833 7690 0 -1 1077944384 1312 0 0 0 3 0 0 0 20 0 19 0 475234462 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817997588464 139818528942722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 41 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9842] ppid=9833 vsize=15417412 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9842/stat : 9842 (java) S 9833 9833 7690 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475234462 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817996534752 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9843] ppid=9833 vsize=15417412 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9843/stat : 9843 (java) S 9833 9833 7690 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 475234462 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817995482112 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9844] ppid=9833 vsize=15417412 memory=6944656592387989600 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9844/stat : 9844 (java) S 9833 9833 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475234465 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817994430672 139818528950171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9845] ppid=9833 vsize=15417412 memory=6944656592455360604 CPUtime=2.4 cores=1,3,5,7
/proc/9835/task/9845/stat : 9845 (java) S 9833 9833 7690 0 -1 1077944384 12040 0 0 0 240 0 0 0 20 0 19 0 475234465 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817993378288 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9846] ppid=9833 vsize=15417412 memory=6944656575208382560 CPUtime=2.53 cores=1,3,5,7
/proc/9835/task/9846/stat : 9846 (java) S 9833 9833 7690 0 -1 1077944384 10873 0 0 0 252 1 0 0 20 0 19 0 475234465 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817992325744 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9847] ppid=9833 vsize=15417412 memory=6943526294502006880 CPUtime=0.67 cores=1,3,5,7
/proc/9835/task/9847/stat : 9847 (java) S 9833 9833 7690 0 -1 1077944384 7261 0 0 0 66 1 0 0 20 0 19 0 475234465 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817991273200 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9848] ppid=9833 vsize=15417412 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9848/stat : 9848 (java) S 9833 9833 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475234465 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817990220896 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9849] ppid=9833 vsize=15417412 memory=7453282923444793189 CPUtime=0.01 cores=1,3,5,7
/proc/9835/task/9849/stat : 9849 (java) S 9833 9833 7690 0 -1 1077944384 385 0 0 0 0 1 0 0 20 0 19 0 475234465 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817989167408 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9850] ppid=9833 vsize=15417412 memory=7597685182856913236 CPUtime=44.61 cores=1,3,5,7
/proc/9835/task/9850/stat : 9850 (java) R 9833 9833 7690 0 -1 4202560 607 0 0 0 4461 0 0 0 20 0 19 0 475234528 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817979947832 139818171092747 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9851] ppid=9833 vsize=15417412 memory=1448 CPUtime=44.94 cores=1,3,5,7
/proc/9835/task/9851/stat : 9851 (java) R 9833 9833 7690 0 -1 4202560 1432 0 0 0 4491 3 0 0 20 0 19 0 475234528 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817978896408 139818172386339 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9852] ppid=9833 vsize=15417412 memory=149492 CPUtime=44.3 cores=1,3,5,7
/proc/9835/task/9852/stat : 9852 (java) R 9833 9833 7690 0 -1 4202560 616 0 0 0 4430 0 0 0 20 0 19 0 475234528 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817977846112 139818171722185 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9853] ppid=9833 vsize=15417412 memory=16098169624726078 CPUtime=44.17 cores=1,3,5,7
/proc/9835/task/9853/stat : 9853 (java) R 9833 9833 7690 0 -1 4202560 1514 0 0 0 4417 0 0 0 20 0 19 0 475234528 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817976791056 139818170948507 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
Current children cumulated CPU time: 184.58 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 150940 KiB
[startup+46.9014 s]
/proc/loadavg: 8.25 8.35 7.15 11/237 9857
/proc/meminfo: memFree=13011864/32770624 swapFree=66986244/67108860
[pid=9833] ppid=9830 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9833/stat : 9833 (xcsp3-exec) S 9830 9833 7690 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475234459 115843072 362 33554432000 4194304 5098028 140735109606304 140735109604408 140564084134524 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 40259584 140735109612411 140735109612653 140735109612653 140735109615562 0
/proc/9833/statm: 28282 362 304 221 0 87 0
[pid=9835] ppid=9833 vsize=15417412 memory=149492 CPUtime=184.98 cores=1,3,5,7
/proc/9835/stat : 9835 (java) S 9833 9833 7690 0 -1 1077944320 51163 0 0 0 18484 14 0 0 20 0 19 0 475234459 15787429888 37373 33554432000 4194304 4196468 140734088865104 140734088847648 139818528931575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
/proc/9835/statm: 3854353 37373 3513 1 0 3815453 0
[pid=9835/tid=9836] ppid=9833 vsize=15417412 memory=149492 CPUtime=0.66 cores=1,3,5,7
/proc/9835/task/9836/stat : 9836 (java) S 9833 9833 7690 0 -1 1077944384 9338 0 0 0 62 4 0 0 20 0 19 0 475234460 15787429888 37373 33554432000 4194304 4196468 140734088865104 139818533172352 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9837] ppid=9833 vsize=15417412 memory=151032 CPUtime=0.03 cores=1,3,5,7
/proc/9835/task/9837/stat : 9837 (java) S 9833 9833 7690 0 -1 1077944384 235 0 0 0 3 0 0 0 20 0 19 0 475234460 15787429888 37373 33554432000 4194304 4196468 140734088865104 139818500774672 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9838] ppid=9833 vsize=15417412 memory=151032 CPUtime=0.03 cores=1,3,5,7
/proc/9835/task/9838/stat : 9838 (java) S 9833 9833 7690 0 -1 1077944384 965 0 0 0 3 0 0 0 20 0 19 0 475234460 15787429888 37373 33554432000 4194304 4196468 140734088865104 139818120612752 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9839] ppid=9833 vsize=15417412 memory=1448 CPUtime=0.03 cores=1,3,5,7
/proc/9835/task/9839/stat : 9839 (java) S 9833 9833 7690 0 -1 1077944384 2749 0 0 0 3 0 0 0 20 0 19 0 475234460 15787429888 37373 33554432000 4194304 4196468 140734088865104 139818119560208 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9840] ppid=9833 vsize=15417412 memory=149492 CPUtime=0.03 cores=1,3,5,7
/proc/9835/task/9840/stat : 9840 (java) S 9833 9833 7690 0 -1 1077944384 445 0 0 0 3 0 0 0 20 0 19 0 475234460 15787429888 37373 33554432000 4194304 4196468 140734088865104 139818118507664 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9841] ppid=9833 vsize=15417412 memory=149492 CPUtime=0.03 cores=1,3,5,7
/proc/9835/task/9841/stat : 9841 (java) S 9833 9833 7690 0 -1 1077944384 1312 0 0 0 3 0 0 0 20 0 19 0 475234462 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817997588464 139818528942722 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 41 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9842] ppid=9833 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9842/stat : 9842 (java) S 9833 9833 7690 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475234462 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817996534752 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9843] ppid=9833 vsize=15417412 memory=160264 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9843/stat : 9843 (java) S 9833 9833 7690 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 475234462 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817995482112 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9844] ppid=9833 vsize=15417412 memory=189436 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9844/stat : 9844 (java) S 9833 9833 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475234465 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817994430672 139818528950171 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9845] ppid=9833 vsize=15417412 memory=1448 CPUtime=2.4 cores=1,3,5,7
/proc/9835/task/9845/stat : 9845 (java) S 9833 9833 7690 0 -1 1077944384 12040 0 0 0 240 0 0 0 20 0 19 0 475234465 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817993378288 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9846] ppid=9833 vsize=15417412 memory=0 CPUtime=2.53 cores=1,3,5,7
/proc/9835/task/9846/stat : 9846 (java) S 9833 9833 7690 0 -1 1077944384 10873 0 0 0 252 1 0 0 20 0 19 0 475234465 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817992325744 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9847] ppid=9833 vsize=15417412 memory=7590926472079566700 CPUtime=0.67 cores=1,3,5,7
/proc/9835/task/9847/stat : 9847 (java) S 9833 9833 7690 0 -1 1077944384 7261 0 0 0 66 1 0 0 20 0 19 0 475234465 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817991273200 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 22 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9848] ppid=9833 vsize=15417412 memory=29424 CPUtime=0 cores=1,3,5,7
/proc/9835/task/9848/stat : 9848 (java) S 9833 9833 7690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475234465 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817990220896 139818528941781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9849] ppid=9833 vsize=15417412 memory=2120 CPUtime=0.01 cores=1,3,5,7
/proc/9835/task/9849/stat : 9849 (java) S 9833 9833 7690 0 -1 1077944384 385 0 0 0 0 1 0 0 20 0 19 0 475234465 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817989167408 139818528942722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 37 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9850] ppid=9833 vsize=15417412 memory=3616 CPUtime=44.71 cores=1,3,5,7
/proc/9835/task/9850/stat : 9850 (java) R 9833 9833 7690 0 -1 4202560 607 0 0 0 4471 0 0 0 20 0 19 0 475234528 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817979947832 139818171765401 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9851] ppid=9833 vsize=15417412 memory=55304 CPUtime=45.04 cores=1,3,5,7
/proc/9835/task/9851/stat : 9851 (java) R 9833 9833 7690 0 -1 4202560 1432 0 0 0 4501 3 0 0 20 0 19 0 475234528 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817978896408 139818172386299 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9852] ppid=9833 vsize=15417412 memory=3 CPUtime=44.4 cores=1,3,5,7
/proc/9835/task/9852/stat : 9852 (java) R 9833 9833 7690 0 -1 4202560 616 0 0 0 4440 0 0 0 20 0 19 0 475234528 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817977846112 139818514141526 0 4 0 16800975 0 0 0 -1 3 0 0 15 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
[pid=9835/tid=9853] ppid=9833 vsize=15417412 memory=3 CPUtime=44.27 cores=1,3,5,7
/proc/9835/task/9853/stat : 9853 (java) R 9833 9833 7690 0 -1 4202560 1514 0 0 0 4427 0 0 0 20 0 19 0 475234528 15787429888 37373 33554432000 4194304 4196468 140734088865104 139817976791056 139818171092814 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16707584 140734088872943 140734088873114 140734088873114 140734088875983 0
Current children cumulated CPU time: 184.98 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 150940 KiB
Child status: 0
Real time (s): 46.9721
CPU time (s): 185.253
CPU user time (s): 185.098
CPU system time (s): 0.154997
CPU usage (%): 394.388
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 216824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 185.098
system time used= 0.154997
maximum resident set size= 218516
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52785
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4599
involuntary context switches= 5046
# summary of solver processes directly reported to runsolver:
# pid: 9833
# total CPU time (s): 185.253
# total CPU user time (s): 185.098
# total CPU system time (s): 0.154997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.297067 second user time and 0.586618 second system time
The end