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 (2006 MiB free)
memory of node 1: 16384 MiB (1320 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403781-1568988009/watcher-4403781-1568988009 -o /var/tmp/evaluation-result-4403781-1568988009/solver-4403781-1568988009 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node145-1568987924-19057 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 62662286 HOME/instance-4403781-1568988009.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19844, runsolver pid=19841
[startup+0.100123 s]*
/proc/loadavg: 4.79 1.80 1.20 6/233 19860
/proc/meminfo: memFree=3391768/32770624 swapFree=66966844/67108860
[pid=19844] ppid=19841 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/19844/stat : 19844 (xcsp3-exec) S 19841 19844 19026 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474737337 115843072 364 33554432000 4194304 5098028 140726818108768 140726818106872 139813278540412 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15847424 140726818112344 140726818112601 140726818112601 140726818115526 0
/proc/19844/statm: 28282 364 305 221 0 87 0
[pid=19846] ppid=19844 vsize=15144776 memory=27444 CPUtime=0.12 cores=0,2,4,6
/proc/19846/stat : 19846 (java) S 19844 19844 19026 0 -1 1077944320 5857 0 0 0 11 1 0 0 20 0 15 0 474737338 15508250624 6861 33554432000 4194304 4196468 140735152565760 140735152548304 140372445900535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
/proc/19846/statm: 3786194 6861 3123 1 0 3748377 0
[pid=19846/tid=19847] ppid=19844 vsize=15144776 memory=8180089925722843723 CPUtime=0.09 cores=0,2,4,6
/proc/19846/task/19847/stat : 19847 (java) R 19844 19844 19026 0 -1 4202560 3737 0 0 0 8 1 0 0 20 0 15 0 474737338 15508250624 6861 33554432000 4194304 4196468 140735152565760 140372450131856 140372438137662 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19848] ppid=19844 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19848/stat : 19848 (java) S 19844 19844 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474737339 15508250624 6861 33554432000 4194304 4196468 140735152565760 140372417743248 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19849] ppid=19844 vsize=15144776 memory=139629644342912 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19849/stat : 19849 (java) S 19844 19844 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474737339 15508250624 6861 33554432000 4194304 4196468 140735152565760 140372037175568 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19850] ppid=19844 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19850/stat : 19850 (java) S 19844 19844 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474737339 15508250624 6861 33554432000 4194304 4196468 140735152565760 140372036123280 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19851] ppid=19844 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19851/stat : 19851 (java) S 19844 19844 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474737339 15508250624 6861 33554432000 4194304 4196468 140735152565760 140372035070480 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19852] ppid=19844 vsize=15144776 memory=139629644342912 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19852/stat : 19852 (java) S 19844 19844 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474737340 15508250624 6861 33554432000 4194304 4196468 140735152565760 140371914422896 140372445911682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19853] ppid=19844 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19853/stat : 19853 (java) S 19844 19844 19026 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474737340 15508250624 6861 33554432000 4194304 4196468 140735152565760 140371913368864 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19854] ppid=19844 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19854/stat : 19854 (java) S 19844 19844 19026 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474737341 15508250624 6861 33554432000 4194304 4196468 140735152565760 140371912316528 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19855] ppid=19844 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19855/stat : 19855 (java) S 19844 19844 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474737343 15508250624 6861 33554432000 4194304 4196468 140735152565760 140371911264848 140372445919131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19856] ppid=19844 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19856/stat : 19856 (java) R 19844 19844 19026 0 -1 4202560 330 0 0 0 0 0 0 0 20 0 15 0 474737343 15508250624 6861 33554432000 4194304 4196468 140735152565760 140371910211792 140372426536179 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19857] ppid=19844 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19857/stat : 19857 (java) R 19844 19844 19026 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 474737343 15508250624 6861 33554432000 4194304 4196468 140735152565760 140371909158896 140372445911682 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19858] ppid=19844 vsize=15144776 memory=139629644342912 CPUtime=0.01 cores=0,2,4,6
/proc/19846/task/19858/stat : 19858 (java) R 19844 19844 19026 0 -1 4202560 381 0 0 0 1 0 0 0 20 0 15 0 474737343 15508250624 6927 33554432000 4194304 4196468 140735152565760 140371908104568 140372424017651 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19859] ppid=19844 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19859/stat : 19859 (java) S 19844 19844 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474737343 15508250624 6927 33554432000 4194304 4196468 140735152565760 140371907054048 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19860] ppid=19844 vsize=15144776 memory=139629644342912 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19860/stat : 19860 (java) S 19844 19844 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474737344 15508250624 6927 33554432000 4194304 4196468 140735152565760 140371906001840 140372445911682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28900 KiB
[startup+0.210838 s]*
/proc/loadavg: 4.79 1.80 1.20 6/233 19860
/proc/meminfo: memFree=3379548/32770624 swapFree=66966844/67108860
[pid=19844] ppid=19841 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/19844/stat : 19844 (xcsp3-exec) S 19841 19844 19026 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474737337 115843072 364 33554432000 4194304 5098028 140726818108768 140726818106872 139813278540412 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15847424 140726818112344 140726818112601 140726818112601 140726818115526 0
/proc/19844/statm: 28282 364 305 221 0 87 0
[pid=19846] ppid=19844 vsize=15144776 memory=39828 CPUtime=0.34 cores=0,2,4,6
/proc/19846/stat : 19846 (java) S 19844 19844 19026 0 -1 1077944320 9687 0 0 0 31 3 0 0 20 0 15 0 474737338 15508250624 9957 33554432000 4194304 4196468 140735152565760 140735152548304 140372445900535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
/proc/19846/statm: 3786194 9957 3307 1 0 3748377 0
[pid=19846/tid=19847] ppid=19844 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/19846/task/19847/stat : 19847 (java) R 19844 19844 19026 0 -1 4202560 6662 0 0 0 18 2 0 0 20 0 15 0 474737338 15508250624 9957 33554432000 4194304 4196468 140735152565760 140372450134656 140372445912470 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19848] ppid=19844 vsize=15144776 memory=9276 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19848/stat : 19848 (java) S 19844 19844 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474737339 15508250624 9957 33554432000 4194304 4196468 140735152565760 140372417743248 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19849] ppid=19844 vsize=15144776 memory=3525167 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19849/stat : 19849 (java) S 19844 19844 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474737339 15508250624 9957 33554432000 4194304 4196468 140735152565760 140372037175568 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19850] ppid=19844 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19850/stat : 19850 (java) S 19844 19844 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474737339 15508250624 9957 33554432000 4194304 4196468 140735152565760 140372036123280 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19851] ppid=19844 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19851/stat : 19851 (java) S 19844 19844 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474737339 15508250624 9957 33554432000 4194304 4196468 140735152565760 140372035070480 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19852] ppid=19844 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19852/stat : 19852 (java) S 19844 19844 19026 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474737340 15508250624 9957 33554432000 4194304 4196468 140735152565760 140371914422896 140372445911682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19853] ppid=19844 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19853/stat : 19853 (java) S 19844 19844 19026 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474737340 15508250624 9957 33554432000 4194304 4196468 140735152565760 140371913368864 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19854] ppid=19844 vsize=15144776 memory=139629644342912 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19854/stat : 19854 (java) S 19844 19844 19026 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474737341 15508250624 9957 33554432000 4194304 4196468 140735152565760 140371912316528 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19855] ppid=19844 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19855/stat : 19855 (java) S 19844 19844 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474737343 15508250624 9957 33554432000 4194304 4196468 140735152565760 140371911264848 140372445919131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19856] ppid=19844 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/19846/task/19856/stat : 19856 (java) S 19844 19844 19026 0 -1 1077944384 457 0 0 0 2 0 0 0 20 0 15 0 474737343 15508250624 9957 33554432000 4194304 4196468 140735152565760 140371910211696 140372445911682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19857] ppid=19844 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/19846/task/19857/stat : 19857 (java) S 19844 19844 19026 0 -1 1077944384 370 0 0 0 2 0 0 0 20 0 15 0 474737343 15508250624 9957 33554432000 4194304 4196468 140735152565760 140371909158896 140372445911682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19858] ppid=19844 vsize=15144776 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/19846/task/19858/stat : 19858 (java) R 19844 19844 19026 0 -1 4202560 891 0 0 0 7 0 0 0 20 0 15 0 474737343 15508250624 9957 33554432000 4194304 4196468 140735152565760 140371908106608 140372429981022 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19859] ppid=19844 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19859/stat : 19859 (java) S 19844 19844 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474737343 15508250624 9957 33554432000 4194304 4196468 140735152565760 140371907054048 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19860] ppid=19844 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19860/stat : 19860 (java) S 19844 19844 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474737344 15508250624 9957 33554432000 4194304 4196468 140735152565760 140371906001840 140372445911682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41284 KiB
[startup+0.310556 s]*
/proc/loadavg: 4.79 1.80 1.20 7/233 19860
/proc/meminfo: memFree=3373840/32770624 swapFree=66966844/67108860
[pid=19844] ppid=19841 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/19844/stat : 19844 (xcsp3-exec) S 19841 19844 19026 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474737337 115843072 364 33554432000 4194304 5098028 140726818108768 140726818106872 139813278540412 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15847424 140726818112344 140726818112601 140726818112601 140726818115526 0
/proc/19844/statm: 28282 364 305 221 0 87 0
[pid=19846] ppid=19844 vsize=15149032 memory=48940 CPUtime=0.53 cores=0,2,4,6
/proc/19846/stat : 19846 (java) S 19844 19844 19026 0 -1 1077944320 11036 0 0 0 50 3 0 0 20 0 15 0 474737338 15512608768 12235 33554432000 4194304 4196468 140735152565760 140735152548304 140372445900535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
/proc/19846/statm: 3787258 12235 3373 1 0 3748377 0
[pid=19846/tid=19847] ppid=19844 vsize=15149032 memory=8389772277269004345 CPUtime=0.3 cores=0,2,4,6
/proc/19846/task/19847/stat : 19847 (java) R 19844 19844 19026 0 -1 4202560 7750 0 0 0 28 2 0 0 20 0 15 0 474737338 15512608768 12235 33554432000 4194304 4196468 140735152565760 140372450131648 140372445922461 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19848] ppid=19844 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19848/stat : 19848 (java) S 19844 19844 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474737339 15512608768 12235 33554432000 4194304 4196468 140735152565760 140372417743248 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19849] ppid=19844 vsize=15149032 memory=3519586 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19849/stat : 19849 (java) S 19844 19844 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474737339 15512608768 12235 33554432000 4194304 4196468 140735152565760 140372037175568 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19850] ppid=19844 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19850/stat : 19850 (java) S 19844 19844 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474737339 15512608768 12235 33554432000 4194304 4196468 140735152565760 140372036123280 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19851] ppid=19844 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19851/stat : 19851 (java) S 19844 19844 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474737339 15512608768 12235 33554432000 4194304 4196468 140735152565760 140372035070480 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19852] ppid=19844 vsize=15149032 memory=139629644342912 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19852/stat : 19852 (java) S 19844 19844 19026 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474737340 15512608768 12235 33554432000 4194304 4196468 140735152565760 140371914422896 140372445911682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19853] ppid=19844 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19853/stat : 19853 (java) S 19844 19844 19026 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474737340 15512608768 12235 33554432000 4194304 4196468 140735152565760 140371913368864 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19854] ppid=19844 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19854/stat : 19854 (java) S 19844 19844 19026 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474737341 15512608768 12235 33554432000 4194304 4196468 140735152565760 140371912316528 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19855] ppid=19844 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19855/stat : 19855 (java) S 19844 19844 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474737343 15512608768 12235 33554432000 4194304 4196468 140735152565760 140371911264848 140372445919131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19856] ppid=19844 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/19846/task/19856/stat : 19856 (java) R 19844 19844 19026 0 -1 4202560 533 0 0 0 4 0 0 0 20 0 15 0 474737343 15512608768 12235 33554432000 4194304 4196468 140735152565760 140371910202080 140372430189424 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19857] ppid=19844 vsize=15149032 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/19846/task/19857/stat : 19857 (java) S 19844 19844 19026 0 -1 1077944384 397 0 0 0 4 0 0 0 20 0 15 0 474737343 15512608768 12235 33554432000 4194304 4196468 140735152565760 140371909158896 140372445911682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19858] ppid=19844 vsize=15149032 memory=139629644342912 CPUtime=0.12 cores=0,2,4,6
/proc/19846/task/19858/stat : 19858 (java) S 19844 19844 19026 0 -1 1077944384 1053 0 0 0 12 0 0 0 20 0 15 0 474737343 15512608768 12235 33554432000 4194304 4196468 140735152565760 140371908106608 140372445911682 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19859] ppid=19844 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19859/stat : 19859 (java) S 19844 19844 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474737343 15512608768 12235 33554432000 4194304 4196468 140735152565760 140371907054048 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19860] ppid=19844 vsize=15149032 memory=139629644342912 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19860/stat : 19860 (java) S 19844 19844 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474737344 15512608768 12235 33554432000 4194304 4196468 140735152565760 140371906001840 140372445911682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50396 KiB
[startup+0.708352 s]
/proc/loadavg: 4.79 1.80 1.20 8/233 19860
/proc/meminfo: memFree=3363648/32770624 swapFree=66966844/67108860
[pid=19844] ppid=19841 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/19844/stat : 19844 (xcsp3-exec) S 19841 19844 19026 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474737337 115843072 364 33554432000 4194304 5098028 140726818108768 140726818106872 139813278540412 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15847424 140726818112344 140726818112601 140726818112601 140726818115526 0
/proc/19844/statm: 28282 364 305 221 0 87 0
[pid=19846] ppid=19844 vsize=15417412 memory=90852 CPUtime=1.61 cores=0,2,4,6
/proc/19846/stat : 19846 (java) S 19844 19844 19026 0 -1 1077944320 15511 0 0 0 155 6 0 0 20 0 19 0 474737338 15787429888 22713 33554432000 4194304 4196468 140735152565760 140735152548304 140372445900535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
/proc/19846/statm: 3854353 22713 3453 1 0 3815453 0
[pid=19846/tid=19847] ppid=19844 vsize=15417412 memory=2120 CPUtime=0.66 cores=0,2,4,6
/proc/19846/task/19847/stat : 19847 (java) S 19844 19844 19026 0 -1 1077944384 9340 0 0 0 63 3 0 0 20 0 19 0 474737338 15787429888 22713 33554432000 4194304 4196468 140735152565760 140372450141312 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19848] ppid=19844 vsize=15417412 memory=508 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19848/stat : 19848 (java) S 19844 19844 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 474737339 15787429888 22713 33554432000 4194304 4196468 140735152565760 140372417743248 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19849] ppid=19844 vsize=15417412 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19849/stat : 19849 (java) S 19844 19844 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 474737339 15787429888 22713 33554432000 4194304 4196468 140735152565760 140372037175568 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19850] ppid=19844 vsize=15417412 memory=932 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19850/stat : 19850 (java) S 19844 19844 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 474737339 15787429888 22713 33554432000 4194304 4196468 140735152565760 140372036123280 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19851] ppid=19844 vsize=15417412 memory=1568 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19851/stat : 19851 (java) S 19844 19844 19026 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 474737339 15787429888 22713 33554432000 4194304 4196468 140735152565760 140372035070480 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19852] ppid=19844 vsize=15417412 memory=1444 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19852/stat : 19852 (java) S 19844 19844 19026 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 474737340 15787429888 22713 33554432000 4194304 4196468 140735152565760 140371914422896 140372445911682 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19853] ppid=19844 vsize=15417412 memory=864 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19853/stat : 19853 (java) S 19844 19844 19026 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 474737340 15787429888 22713 33554432000 4194304 4196468 140735152565760 140371913368864 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19854] ppid=19844 vsize=15417412 memory=1976 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19854/stat : 19854 (java) S 19844 19844 19026 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 474737341 15787429888 22713 33554432000 4194304 4196468 140735152565760 140371912316528 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19855] ppid=19844 vsize=15417412 memory=7086240636128743779 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19855/stat : 19855 (java) S 19844 19844 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474737343 15787429888 22713 33554432000 4194304 4196468 140735152565760 140371911264848 140372445919131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19856] ppid=19844 vsize=15417412 memory=7453282923427948884 CPUtime=0.23 cores=0,2,4,6
/proc/19846/task/19856/stat : 19856 (java) R 19844 19844 19026 0 -1 4202560 1101 0 0 0 23 0 0 0 20 0 19 0 474737343 15787429888 22713 33554432000 4194304 4196468 140735152565760 140371910211696 140372425320609 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19857] ppid=19844 vsize=15417412 memory=6935650355287975249 CPUtime=0.22 cores=0,2,4,6
/proc/19846/task/19857/stat : 19857 (java) R 19844 19844 19026 0 -1 4202560 1295 0 0 0 22 0 0 0 20 0 19 0 474737343 15787429888 22713 33554432000 4194304 4196468 140735152565760 140371909143856 140372431010101 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19858] ppid=19844 vsize=15417412 memory=8514726395715219869 CPUtime=0.41 cores=0,2,4,6
/proc/19846/task/19858/stat : 19858 (java) R 19844 19844 19026 0 -1 4202560 2304 0 0 0 41 0 0 0 20 0 19 0 474737343 15787429888 22713 33554432000 4194304 4196468 140735152565760 140371908103864 140372424034281 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19859] ppid=19844 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19859/stat : 19859 (java) S 19844 19844 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474737343 15787429888 22713 33554432000 4194304 4196468 140735152565760 140371907054048 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19860] ppid=19844 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19860/stat : 19860 (java) S 19844 19844 19026 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 474737344 15787429888 22713 33554432000 4194304 4196468 140735152565760 140371906001840 140372445911682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 92308 KiB
[startup+1.50074 s]
/proc/loadavg: 5.45 1.98 1.26 14/237 19904
/proc/meminfo: memFree=3224060/32770624 swapFree=66966844/67108860
[pid=19844] ppid=19841 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/19844/stat : 19844 (xcsp3-exec) S 19841 19844 19026 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474737337 115843072 364 33554432000 4194304 5098028 140726818108768 140726818106872 139813278540412 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15847424 140726818112344 140726818112601 140726818112601 140726818115526 0
/proc/19844/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/19846/task/19860/stat : 19860 (java) S 19844 19844 19026 0 -1 1077944384 676 0 0 0 0 12 0 0 20 0 19 0 474737344 15857688576 805978 33554432000 4194304 4196468 140735152565760 140371906001840 140372445911682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=20077] ppid=19844 vsize=15486024 memory=3616 CPUtime=403.1 cores=0,2,4,6
/proc/19846/task/20077/stat : 20077 (java) R 19844 19844 19026 0 -1 4202560 6954 0 0 0 40293 17 0 0 20 0 19 0 474738673 15857688576 805978 33554432000 4194304 4196468 140735152565760 140371894676632 140372087442757 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=20078] ppid=19844 vsize=15486024 memory=1552 CPUtime=403.57 cores=0,2,4,6
/proc/19846/task/20078/stat : 20078 (java) R 19844 19844 19026 0 -1 4202560 114094 0 0 0 40311 46 0 0 20 0 19 0 474738673 15857688576 805978 33554432000 4194304 4196468 140735152565760 140371892572112 140372090157540 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=20079] ppid=19844 vsize=15486024 memory=1708 CPUtime=403 cores=0,2,4,6
/proc/19846/task/20079/stat : 20079 (java) R 19844 19844 19026 0 -1 4202560 20012 0 0 0 40282 18 0 0 20 0 19 0 474738673 15857688576 805978 33554432000 4194304 4196468 140735152565760 140371893625232 140372089472768 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=20080] ppid=19844 vsize=15486024 memory=1044 CPUtime=402.7 cores=0,2,4,6
/proc/19846/task/20080/stat : 20080 (java) R 19844 19844 19026 0 -1 4202560 224994 0 0 0 40190 80 0 0 20 0 19 0 474738673 15857688576 805978 33554432000 4194304 4196468 140735152565760 140371896785984 140372088858323 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
Current children cumulated CPU time: 1672.38 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 3225368 KiB
[startup+422.201 s]*
/proc/loadavg: 8.28 7.10 4.04 9/238 20297
/proc/meminfo: memFree=197608/32770624 swapFree=66966844/67108860
[pid=19844] ppid=19841 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/19844/stat : 19844 (xcsp3-exec) S 19841 19844 19026 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474737337 115843072 364 33554432000 4194304 5098028 140726818108768 140726818106872 139813278540412 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15847424 140726818112344 140726818112601 140726818112601 140726818115526 0
/proc/19844/statm: 28282 364 305 221 0 87 0
[pid=19846] ppid=19844 vsize=15486024 memory=3223912 CPUtime=1674 cores=0,2,4,6
/proc/19846/stat : 19846 (java) S 19844 19844 19026 0 -1 1077944320 447148 0 0 0 167149 251 0 0 20 0 19 0 474737338 15857688576 805978 33554432000 4194304 4196468 140735152565760 140735152548304 140372445900535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
/proc/19846/statm: 3871506 805978 3545 1 0 3832606 0
[pid=19846/tid=19847] ppid=19844 vsize=15486024 memory=1398722017469774279 CPUtime=0.67 cores=0,2,4,6
/proc/19846/task/19847/stat : 19847 (java) S 19844 19844 19026 0 -1 1077944384 9578 0 0 0 64 3 0 0 20 0 19 0 474737338 15857688576 805978 33554432000 4194304 4196468 140735152565760 140372450141312 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19848] ppid=19844 vsize=15486024 memory=4126316290023845779 CPUtime=1.85 cores=0,2,4,6
/proc/19846/task/19848/stat : 19848 (java) S 19844 19844 19026 0 -1 1077944384 5934 0 0 0 171 14 0 0 20 0 19 0 474737339 15857688576 805978 33554432000 4194304 4196468 140735152565760 140372417743248 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19849] ppid=19844 vsize=15486024 memory=184 CPUtime=1.85 cores=0,2,4,6
/proc/19846/task/19849/stat : 19849 (java) S 19844 19844 19026 0 -1 1077944384 4394 0 0 0 171 14 0 0 20 0 19 0 474737339 15857688576 805978 33554432000 4194304 4196468 140735152565760 140372037175568 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19850] ppid=19844 vsize=15486024 memory=184 CPUtime=1.86 cores=0,2,4,6
/proc/19846/task/19850/stat : 19850 (java) S 19844 19844 19026 0 -1 1077944384 7977 0 0 0 166 20 0 0 20 0 19 0 474737339 15857688576 805978 33554432000 4194304 4196468 140735152565760 140372036123280 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19851] ppid=19844 vsize=15486024 memory=185 CPUtime=1.84 cores=0,2,4,6
/proc/19846/task/19851/stat : 19851 (java) S 19844 19844 19026 0 -1 1077944384 4695 0 0 0 166 18 0 0 20 0 19 0 474737339 15857688576 805978 33554432000 4194304 4196468 140735152565760 140372035070480 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19852] ppid=19844 vsize=15486024 memory=183 CPUtime=0.69 cores=0,2,4,6
/proc/19846/task/19852/stat : 19852 (java) S 19844 19844 19026 0 -1 1077944384 16080 0 0 0 56 13 0 0 20 0 19 0 474737340 15857688576 805978 33554432000 4194304 4196468 140735152565760 140371914422896 140372445911682 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19853] ppid=19844 vsize=15486024 memory=69 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19853/stat : 19853 (java) S 19844 19844 19026 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 474737340 15857688576 805978 33554432000 4194304 4196468 140735152565760 140371913368928 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19854] ppid=19844 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19854/stat : 19854 (java) S 19844 19844 19026 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 474737341 15857688576 805978 33554432000 4194304 4196468 140735152565760 140371912316528 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19855] ppid=19844 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19855/stat : 19855 (java) S 19844 19844 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474737343 15857688576 805978 33554432000 4194304 4196468 140735152565760 140371911264848 140372445919131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19856] ppid=19844 vsize=15486024 memory=6009023895048560687 CPUtime=2 cores=0,2,4,6
/proc/19846/task/19856/stat : 19856 (java) S 19844 19844 19026 0 -1 1077944384 10856 0 0 0 199 1 0 0 20 0 19 0 474737343 15857688576 805978 33554432000 4194304 4196468 140735152565760 140371910211696 140372445911682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19857] ppid=19844 vsize=15486024 memory=-7739291840220455296 CPUtime=1.81 cores=0,2,4,6
/proc/19846/task/19857/stat : 19857 (java) S 19844 19844 19026 0 -1 1077944384 7628 0 0 0 180 1 0 0 20 0 19 0 474737343 15857688576 805978 33554432000 4194304 4196468 140735152565760 140371909158896 140372445911682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19858] ppid=19844 vsize=15486024 memory=4137282616176187523 CPUtime=0.73 cores=0,2,4,6
/proc/19846/task/19858/stat : 19858 (java) S 19844 19844 19026 0 -1 1077944384 7935 0 0 0 72 1 0 0 20 0 19 0 474737343 15857688576 805978 33554432000 4194304 4196468 140735152565760 140371908106608 140372445911682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19859] ppid=19844 vsize=15486024 memory=6944656591801717918 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19859/stat : 19859 (java) S 19844 19844 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474737343 15857688576 805978 33554432000 4194304 4196468 140735152565760 140371907054048 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19860] ppid=19844 vsize=15486024 memory=6944656592452807316 CPUtime=0.12 cores=0,2,4,6
/proc/19846/task/19860/stat : 19860 (java) S 19844 19844 19026 0 -1 1077944384 676 0 0 0 0 12 0 0 20 0 19 0 474737344 15857688576 805978 33554432000 4194304 4196468 140735152565760 140371906001840 140372445911682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=20077] ppid=19844 vsize=15486024 memory=6944656592455360569 CPUtime=403.5 cores=0,2,4,6
/proc/19846/task/20077/stat : 20077 (java) R 19844 19844 19026 0 -1 4202560 6954 0 0 0 40333 17 0 0 20 0 19 0 474738673 15857688576 805978 33554432000 4194304 4196468 140735152565760 140371894676632 140372087444250 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=20078] ppid=19844 vsize=15486024 memory=6933690287860520088 CPUtime=403.98 cores=0,2,4,6
/proc/19846/task/20078/stat : 20078 (java) R 19844 19844 19026 0 -1 4202560 114094 0 0 0 40352 46 0 0 20 0 19 0 474738673 15857688576 805978 33554432000 4194304 4196468 140735152565760 140371892572000 140372090157360 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=20079] ppid=19844 vsize=15486024 memory=-9181546050914066336 CPUtime=403.41 cores=0,2,4,6
/proc/19846/task/20079/stat : 20079 (java) R 19844 19844 19026 0 -1 4202560 20012 0 0 0 40323 18 0 0 20 0 19 0 474738673 15857688576 805978 33554432000 4194304 4196468 140735152565760 140371893625232 140372085485751 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=20080] ppid=19844 vsize=15486024 memory=7230358031464158288 CPUtime=403.11 cores=0,2,4,6
/proc/19846/task/20080/stat : 20080 (java) R 19844 19844 19026 0 -1 4202560 224994 0 0 0 40231 80 0 0 20 0 19 0 474738673 15857688576 805978 33554432000 4194304 4196468 140735152565760 140371896785984 140372089168635 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
Current children cumulated CPU time: 1674 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 3225368 KiB
[startup+422.601 s]
/proc/loadavg: 8.28 7.10 4.04 9/238 20297
/proc/meminfo: memFree=197608/32770624 swapFree=66966844/67108860
[pid=19844] ppid=19841 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/19844/stat : 19844 (xcsp3-exec) S 19841 19844 19026 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474737337 115843072 364 33554432000 4194304 5098028 140726818108768 140726818106872 139813278540412 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15847424 140726818112344 140726818112601 140726818112601 140726818115526 0
/proc/19844/statm: 28282 364 305 221 0 87 0
[pid=19846] ppid=19844 vsize=15486024 memory=3213172 CPUtime=1675.52 cores=0,2,4,6
/proc/19846/stat : 19846 (java) S 19844 19844 19026 0 -1 1077944320 469422 0 0 0 167297 255 0 0 20 0 19 0 474737338 15857688576 803293 33554432000 4194304 4196468 140735152565760 140735152548304 140372445900535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
/proc/19846/statm: 3871506 803293 3545 1 0 3832606 0
[pid=19846/tid=19847] ppid=19844 vsize=15486024 memory=6791534058613427641 CPUtime=0.67 cores=0,2,4,6
/proc/19846/task/19847/stat : 19847 (java) S 19844 19844 19026 0 -1 1077944384 9578 0 0 0 64 3 0 0 20 0 19 0 474737338 15857688576 803293 33554432000 4194304 4196468 140735152565760 140372450141312 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19848] ppid=19844 vsize=15486024 memory=3612 CPUtime=1.86 cores=0,2,4,6
/proc/19846/task/19848/stat : 19848 (java) S 19844 19844 19026 0 -1 1077944384 5934 0 0 0 172 14 0 0 20 0 19 0 474737339 15857688576 803293 33554432000 4194304 4196468 140735152565760 140372417743248 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19849] ppid=19844 vsize=15486024 memory=54796 CPUtime=1.86 cores=0,2,4,6
/proc/19846/task/19849/stat : 19849 (java) S 19844 19844 19026 0 -1 1077944384 4394 0 0 0 172 14 0 0 20 0 19 0 474737339 15857688576 803293 33554432000 4194304 4196468 140735152565760 140372037175568 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19850] ppid=19844 vsize=15486024 memory=988 CPUtime=1.87 cores=0,2,4,6
/proc/19846/task/19850/stat : 19850 (java) S 19844 19844 19026 0 -1 1077944384 7978 0 0 0 167 20 0 0 20 0 19 0 474737339 15857688576 803293 33554432000 4194304 4196468 140735152565760 140372036123280 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19851] ppid=19844 vsize=15486024 memory=6791534058613427641 CPUtime=1.85 cores=0,2,4,6
/proc/19846/task/19851/stat : 19851 (java) S 19844 19844 19026 0 -1 1077944384 4695 0 0 0 167 18 0 0 20 0 19 0 474737339 15857688576 803293 33554432000 4194304 4196468 140735152565760 140372035070480 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19852] ppid=19844 vsize=15486024 memory=1560 CPUtime=0.7 cores=0,2,4,6
/proc/19846/task/19852/stat : 19852 (java) S 19844 19844 19026 0 -1 1077944384 16080 0 0 0 56 14 0 0 20 0 19 0 474737340 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371914422896 140372445911682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19853] ppid=19844 vsize=15486024 memory=932 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19853/stat : 19853 (java) S 19844 19844 19026 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 474737340 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371913368928 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19854] ppid=19844 vsize=15486024 memory=2600724 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19854/stat : 19854 (java) S 19844 19844 19026 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 474737341 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371912316528 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19855] ppid=19844 vsize=15486024 memory=-3622645143214314312 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19855/stat : 19855 (java) S 19844 19844 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474737343 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371911264848 140372445919131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19856] ppid=19844 vsize=15486024 memory=2346744 CPUtime=2 cores=0,2,4,6
/proc/19846/task/19856/stat : 19856 (java) S 19844 19844 19026 0 -1 1077944384 10856 0 0 0 199 1 0 0 20 0 19 0 474737343 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371910211696 140372445911682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19857] ppid=19844 vsize=15486024 memory=2345116 CPUtime=1.81 cores=0,2,4,6
/proc/19846/task/19857/stat : 19857 (java) S 19844 19844 19026 0 -1 1077944384 7628 0 0 0 180 1 0 0 20 0 19 0 474737343 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371909158896 140372445911682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19858] ppid=19844 vsize=15486024 memory=1432 CPUtime=0.73 cores=0,2,4,6
/proc/19846/task/19858/stat : 19858 (java) S 19844 19844 19026 0 -1 1077944384 7935 0 0 0 72 1 0 0 20 0 19 0 474737343 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371908106608 140372445911682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19859] ppid=19844 vsize=15486024 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19859/stat : 19859 (java) S 19844 19844 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474737343 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371907054048 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19860] ppid=19844 vsize=15486024 memory=1531 CPUtime=0.12 cores=0,2,4,6
/proc/19846/task/19860/stat : 19860 (java) R 19844 19844 19026 0 -1 1077944384 676 0 0 0 0 12 0 0 20 0 19 0 474737344 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371906001840 140372445911682 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=20077] ppid=19844 vsize=15486024 memory=1 CPUtime=403.87 cores=0,2,4,6
/proc/19846/task/20077/stat : 20077 (java) R 19844 19844 19026 0 -1 4202560 7004 0 0 0 40370 17 0 0 20 0 19 0 474738673 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371894676776 140372425610977 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=20078] ppid=19844 vsize=15486024 memory=0 CPUtime=404.34 cores=0,2,4,6
/proc/19846/task/20078/stat : 20078 (java) R 19844 19844 19026 0 -1 4202560 119653 0 0 0 40386 48 0 0 20 0 19 0 474738673 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371892572000 140372087443360 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=20079] ppid=19844 vsize=15486024 memory=1456 CPUtime=403.79 cores=0,2,4,6
/proc/19846/task/20079/stat : 20079 (java) R 19844 19844 19026 0 -1 4202560 20013 0 0 0 40361 18 0 0 20 0 19 0 474738673 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371893625368 140372087838299 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=20080] ppid=19844 vsize=15486024 memory=3117400 CPUtime=403.47 cores=0,2,4,6
/proc/19846/task/20080/stat : 20080 (java) R 19844 19844 19026 0 -1 4202560 241657 0 0 0 40266 81 0 0 20 0 19 0 474738673 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371896786128 140372087306516 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
Current children cumulated CPU time: 1675.52 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 3214628 KiB
[startup+422.701 s]
/proc/loadavg: 8.28 7.10 4.04 9/238 20297
/proc/meminfo: memFree=197608/32770624 swapFree=66966844/67108860
[pid=19844] ppid=19841 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/19844/stat : 19844 (xcsp3-exec) S 19841 19844 19026 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474737337 115843072 364 33554432000 4194304 5098028 140726818108768 140726818106872 139813278540412 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 15847424 140726818112344 140726818112601 140726818112601 140726818115526 0
/proc/19844/statm: 28282 364 305 221 0 87 0
[pid=19846] ppid=19844 vsize=15486024 memory=3213172 CPUtime=1675.92 cores=0,2,4,6
/proc/19846/stat : 19846 (java) S 19844 19844 19026 0 -1 1077944320 469422 0 0 0 167337 255 0 0 20 0 19 0 474737338 15857688576 803293 33554432000 4194304 4196468 140735152565760 140735152548304 140372445900535 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
/proc/19846/statm: 3871506 803293 3545 1 0 3832606 0
[pid=19846/tid=19847] ppid=19844 vsize=15486024 memory=1456 CPUtime=0.67 cores=0,2,4,6
/proc/19846/task/19847/stat : 19847 (java) S 19844 19844 19026 0 -1 1077944384 9578 0 0 0 64 3 0 0 20 0 19 0 474737338 15857688576 803293 33554432000 4194304 4196468 140735152565760 140372450141312 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19848] ppid=19844 vsize=15486024 memory=3224088 CPUtime=1.86 cores=0,2,4,6
/proc/19846/task/19848/stat : 19848 (java) S 19844 19844 19026 0 -1 1077944384 5934 0 0 0 172 14 0 0 20 0 19 0 474737339 15857688576 803293 33554432000 4194304 4196468 140735152565760 140372417743248 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19849] ppid=19844 vsize=15486024 memory=1456 CPUtime=1.86 cores=0,2,4,6
/proc/19846/task/19849/stat : 19849 (java) S 19844 19844 19026 0 -1 1077944384 4394 0 0 0 172 14 0 0 20 0 19 0 474737339 15857688576 803293 33554432000 4194304 4196468 140735152565760 140372037175568 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19850] ppid=19844 vsize=15486024 memory=3213172 CPUtime=1.87 cores=0,2,4,6
/proc/19846/task/19850/stat : 19850 (java) S 19844 19844 19026 0 -1 1077944384 7978 0 0 0 167 20 0 0 20 0 19 0 474737339 15857688576 803293 33554432000 4194304 4196468 140735152565760 140372036123280 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19851] ppid=19844 vsize=15486024 memory=1456 CPUtime=1.85 cores=0,2,4,6
/proc/19846/task/19851/stat : 19851 (java) S 19844 19844 19026 0 -1 1077944384 4695 0 0 0 167 18 0 0 20 0 19 0 474737339 15857688576 803293 33554432000 4194304 4196468 140735152565760 140372035070480 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19852] ppid=19844 vsize=15486024 memory=1456 CPUtime=0.7 cores=0,2,4,6
/proc/19846/task/19852/stat : 19852 (java) S 19844 19844 19026 0 -1 1077944384 16080 0 0 0 56 14 0 0 20 0 19 0 474737340 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371914422896 140372445911682 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19853] ppid=19844 vsize=15486024 memory=2601780 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19853/stat : 19853 (java) S 19844 19844 19026 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 474737340 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371913368928 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19854] ppid=19844 vsize=15486024 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19854/stat : 19854 (java) S 19844 19844 19026 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 474737341 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371912316528 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19855] ppid=19844 vsize=15486024 memory=54796 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19855/stat : 19855 (java) S 19844 19844 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474737343 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371911264848 140372445919131 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19856] ppid=19844 vsize=15486024 memory=988 CPUtime=2 cores=0,2,4,6
/proc/19846/task/19856/stat : 19856 (java) S 19844 19844 19026 0 -1 1077944384 10856 0 0 0 199 1 0 0 20 0 19 0 474737343 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371910211696 140372445911682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19857] ppid=19844 vsize=15486024 memory=1456 CPUtime=1.81 cores=0,2,4,6
/proc/19846/task/19857/stat : 19857 (java) S 19844 19844 19026 0 -1 1077944384 7628 0 0 0 180 1 0 0 20 0 19 0 474737343 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371909158896 140372445911682 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19858] ppid=19844 vsize=15486024 memory=3223648 CPUtime=0.73 cores=0,2,4,6
/proc/19846/task/19858/stat : 19858 (java) S 19844 19844 19026 0 -1 1077944384 7935 0 0 0 72 1 0 0 20 0 19 0 474737343 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371908106608 140372445911682 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19859] ppid=19844 vsize=15486024 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/19846/task/19859/stat : 19859 (java) S 19844 19844 19026 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474737343 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371907054048 140372445910741 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=19860] ppid=19844 vsize=15486024 memory=1398722017469774279 CPUtime=0.12 cores=0,2,4,6
/proc/19846/task/19860/stat : 19860 (java) S 19844 19844 19026 0 -1 1077944384 676 0 0 0 0 12 0 0 20 0 19 0 474737344 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371906001840 140372445911682 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=20077] ppid=19844 vsize=15486024 memory=2800220 CPUtime=403.97 cores=0,2,4,6
/proc/19846/task/20077/stat : 20077 (java) R 19844 19844 19026 0 -1 4202560 7004 0 0 0 40380 17 0 0 20 0 19 0 474738673 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371894676776 140372087838024 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=20078] ppid=19844 vsize=15486024 memory=1456 CPUtime=404.44 cores=0,2,4,6
/proc/19846/task/20078/stat : 20078 (java) R 19844 19844 19026 0 -1 4202560 119653 0 0 0 40396 48 0 0 20 0 19 0 474738673 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371892572000 140372087391298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=20079] ppid=19844 vsize=15486024 memory=2602940 CPUtime=403.89 cores=0,2,4,6
/proc/19846/task/20079/stat : 20079 (java) R 19844 19844 19026 0 -1 4202560 20013 0 0 0 40371 18 0 0 20 0 19 0 474738673 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371893625368 140372087840355 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
[pid=19846/tid=20080] ppid=19844 vsize=15486024 memory=2601456 CPUtime=403.57 cores=0,2,4,6
/proc/19846/task/20080/stat : 20080 (java) R 19844 19844 19026 0 -1 4202560 241657 0 0 0 40276 81 0 0 20 0 19 0 474738673 15857688576 803293 33554432000 4194304 4196468 140735152565760 140371896786128 140372086815040 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33374208 140735152571355 140735152571530 140735152571530 140735152574415 0
Current children cumulated CPU time: 1675.92 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 3214628 KiB
Child status: 0
Real time (s): 422.794
CPU time (s): 1676.05
CPU user time (s): 1673.42
CPU system time (s): 2.6323
CPU usage (%): 396.423
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 3225544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1673.42
system time used= 2.6323
maximum resident set size= 3224176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 470414
page faults= 0
swaps= 0
block input operations= 0
block output operations= 584
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30680
involuntary context switches= 30654
# summary of solver processes directly reported to runsolver:
# pid: 19844
# total CPU time (s): 1676.05
# total CPU user time (s): 1673.42
# total CPU system time (s): 2.6323
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.95655 second user time and 4.5344 second system time
The end