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 (15239 MiB free)
memory of node 1: 16384 MiB (14905 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400433-1568693973/watcher-4400433-1568693973 -o /tmp/evaluation-result-4400433-1568693973/solver-4400433-1568693973 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24303 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1761279611 HOME/instance-4400433-1568693973.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2038, runsolver pid=2035
Current StackSize limit: 8192 KiB
[startup+0.10106 s]*
/proc/loadavg: 8.60 8.47 8.37 6/233 2054
/proc/meminfo: memFree=30852872/32770624 swapFree=66997372/67108860
[pid=2038] ppid=2035 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2038/stat : 2038 (xcsp3-exec) S 2035 2038 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445650332 115843072 363 33554432000 4194304 5098028 140724818322736 140724818320840 139671489225340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22937600 140724818330490 140724818330733 140724818330733 140724818333642 0
/proc/2038/statm: 28282 363 304 221 0 87 0
[pid=2040] ppid=2038 vsize=15144776 memory=28664 CPUtime=0.12 cores=0,2,4,6
/proc/2040/stat : 2040 (java) S 2038 2038 24272 0 -1 1077944320 5653 0 0 0 11 1 0 0 20 0 15 0 445650333 15508250624 7166 33554432000 4194304 4196468 140731966036272 140731966018816 139941971001079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
/proc/2040/statm: 3786194 7166 3117 1 0 3748377 0
[pid=2040/tid=2041] ppid=2038 vsize=15144776 memory=-7828588039587135835 CPUtime=0.08 cores=0,2,4,6
/proc/2040/task/2041/stat : 2041 (java) R 2038 2038 24272 0 -1 4202560 3569 0 0 0 8 0 0 0 20 0 15 0 445650333 15508250624 7232 33554432000 4194304 4196468 140731966036272 139941975234208 139941963238206 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2042] ppid=2038 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2042/stat : 2042 (java) S 2038 2038 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445650334 15508250624 7232 33554432000 4194304 4196468 140731966036272 139941923622032 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2043] ppid=2038 vsize=15144776 memory=140076731790976 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2043/stat : 2043 (java) S 2038 2038 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445650334 15508250624 7232 33554432000 4194304 4196468 140731966036272 139941922569232 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2044] ppid=2038 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2044/stat : 2044 (java) S 2038 2038 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445650334 15508250624 7232 33554432000 4194304 4196468 140731966036272 139941921516432 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2045] ppid=2038 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2045/stat : 2045 (java) S 2038 2038 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445650334 15508250624 7232 33554432000 4194304 4196468 140731966036272 139941920463632 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2046] ppid=2038 vsize=15144776 memory=140076731790976 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2046/stat : 2046 (java) S 2038 2038 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445650335 15508250624 7232 33554432000 4194304 4196468 140731966036272 139941438794096 139941971012226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2047] ppid=2038 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2047/stat : 2047 (java) S 2038 2038 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445650336 15508250624 7232 33554432000 4194304 4196468 140731966036272 139941437740064 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2048] ppid=2038 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2048/stat : 2048 (java) S 2038 2038 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445650336 15508250624 7232 33554432000 4194304 4196468 140731966036272 139941436687216 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2049] ppid=2038 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2049/stat : 2049 (java) S 2038 2038 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445650338 15508250624 7232 33554432000 4194304 4196468 140731966036272 139941435635536 139941971019675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2050] ppid=2038 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2050/stat : 2050 (java) S 2038 2038 24272 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 15 0 445650338 15508250624 7232 33554432000 4194304 4196468 140731966036272 139941434583920 139941971012226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2051] ppid=2038 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2051/stat : 2051 (java) S 2038 2038 24272 0 -1 1077944384 162 0 0 0 0 0 0 0 20 0 15 0 445650338 15508250624 7232 33554432000 4194304 4196468 140731966036272 139941433531120 139941971012226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2052] ppid=2038 vsize=15144776 memory=140076731790976 CPUtime=0.02 cores=0,2,4,6
/proc/2040/task/2052/stat : 2052 (java) S 2038 2038 24272 0 -1 1077944384 369 0 0 0 2 0 0 0 20 0 15 0 445650338 15508250624 7232 33554432000 4194304 4196468 140731966036272 139941432478320 139941971012226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2053] ppid=2038 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2053/stat : 2053 (java) S 2038 2038 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445650338 15508250624 7232 33554432000 4194304 4196468 140731966036272 139941431425760 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2054] ppid=2038 vsize=15144776 memory=140076731790976 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2054/stat : 2054 (java) S 2038 2038 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445650339 15508250624 7232 33554432000 4194304 4196468 140731966036272 139941430373040 139941971012226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30116 KiB
[startup+0.210919 s]*
/proc/loadavg: 8.60 8.47 8.37 6/233 2054
/proc/meminfo: memFree=30839412/32770624 swapFree=66997372/67108860
[pid=2038] ppid=2035 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2038/stat : 2038 (xcsp3-exec) S 2035 2038 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445650332 115843072 363 33554432000 4194304 5098028 140724818322736 140724818320840 139671489225340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22937600 140724818330490 140724818330733 140724818330733 140724818333642 0
/proc/2038/statm: 28282 363 304 221 0 87 0
[pid=2040] ppid=2038 vsize=15144776 memory=40512 CPUtime=0.33 cores=0,2,4,6
/proc/2040/stat : 2040 (java) S 2038 2038 24272 0 -1 1077944320 9337 0 0 0 30 3 0 0 20 0 15 0 445650333 15508250624 10128 33554432000 4194304 4196468 140731966036272 140731966018816 139941971001079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
/proc/2040/statm: 3786194 10128 3302 1 0 3748377 0
[pid=2040/tid=2041] ppid=2038 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/2040/task/2041/stat : 2041 (java) R 2038 2038 24272 0 -1 4202560 6585 0 0 0 18 2 0 0 20 0 15 0 445650333 15508250624 10128 33554432000 4194304 4196468 140731966036272 139941975232400 139941971013014 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2042] ppid=2038 vsize=15144776 memory=4294976396 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2042/stat : 2042 (java) S 2038 2038 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445650334 15508250624 10128 33554432000 4194304 4196468 140731966036272 139941923622032 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2043] ppid=2038 vsize=15144776 memory=140076735348243 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2043/stat : 2043 (java) S 2038 2038 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445650334 15508250624 10128 33554432000 4194304 4196468 140731966036272 139941922569232 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2044] ppid=2038 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2044/stat : 2044 (java) S 2038 2038 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445650334 15508250624 10128 33554432000 4194304 4196468 140731966036272 139941921516432 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2045] ppid=2038 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2045/stat : 2045 (java) S 2038 2038 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445650334 15508250624 10128 33554432000 4194304 4196468 140731966036272 139941920463632 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2046] ppid=2038 vsize=15144776 memory=140076731790976 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2046/stat : 2046 (java) S 2038 2038 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445650335 15508250624 10128 33554432000 4194304 4196468 140731966036272 139941438794096 139941971012226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2047] ppid=2038 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2047/stat : 2047 (java) S 2038 2038 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445650336 15508250624 10128 33554432000 4194304 4196468 140731966036272 139941437740064 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2048] ppid=2038 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2048/stat : 2048 (java) S 2038 2038 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445650336 15508250624 10128 33554432000 4194304 4196468 140731966036272 139941436687216 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2049] ppid=2038 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2049/stat : 2049 (java) S 2038 2038 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445650338 15508250624 10128 33554432000 4194304 4196468 140731966036272 139941435635536 139941971019675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2050] ppid=2038 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2040/task/2050/stat : 2050 (java) S 2038 2038 24272 0 -1 1077944384 399 0 0 0 2 0 0 0 20 0 15 0 445650338 15508250624 10128 33554432000 4194304 4196468 140731966036272 139941434583920 139941971012226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2051] ppid=2038 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/2040/task/2051/stat : 2051 (java) S 2038 2038 24272 0 -1 1077944384 230 0 0 0 2 0 0 0 20 0 15 0 445650338 15508250624 10128 33554432000 4194304 4196468 140731966036272 139941433531120 139941971012226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2052] ppid=2038 vsize=15144776 memory=140076731790976 CPUtime=0.07 cores=0,2,4,6
/proc/2040/task/2052/stat : 2052 (java) R 2038 2038 24272 0 -1 4202560 821 0 0 0 7 0 0 0 20 0 15 0 445650338 15508250624 10128 33554432000 4194304 4196468 140731966036272 139941432478320 139941971013014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2053] ppid=2038 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2053/stat : 2053 (java) S 2038 2038 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445650338 15508250624 10128 33554432000 4194304 4196468 140731966036272 139941431425760 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2054] ppid=2038 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2054/stat : 2054 (java) S 2038 2038 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445650339 15508250624 10128 33554432000 4194304 4196468 140731966036272 139941430373040 139941971012226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41964 KiB
[startup+0.319511 s]*
/proc/loadavg: 8.60 8.47 8.37 7/233 2054
/proc/meminfo: memFree=30831660/32770624 swapFree=66997372/67108860
[pid=2038] ppid=2035 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2038/stat : 2038 (xcsp3-exec) S 2035 2038 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445650332 115843072 363 33554432000 4194304 5098028 140724818322736 140724818320840 139671489225340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22937600 140724818330490 140724818330733 140724818330733 140724818333642 0
/proc/2038/statm: 28282 363 304 221 0 87 0
[pid=2040] ppid=2038 vsize=15149032 memory=50172 CPUtime=0.54 cores=0,2,4,6
/proc/2040/stat : 2040 (java) S 2038 2038 24272 0 -1 1077944320 10925 0 0 0 50 4 0 0 20 0 15 0 445650333 15512608768 12543 33554432000 4194304 4196468 140731966036272 140731966018816 139941971001079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
/proc/2040/statm: 3787258 12543 3363 1 0 3748377 0
[pid=2040/tid=2041] ppid=2038 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/2040/task/2041/stat : 2041 (java) R 2038 2038 24272 0 -1 4202560 7850 0 0 0 28 2 0 0 20 0 15 0 445650333 15512608768 12608 33554432000 4194304 4196468 140731966036272 139941975232192 139941955081566 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2042] ppid=2038 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2042/stat : 2042 (java) S 2038 2038 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445650334 15512608768 12608 33554432000 4194304 4196468 140731966036272 139941923622032 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2043] ppid=2038 vsize=15149032 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2043/stat : 2043 (java) S 2038 2038 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445650334 15512608768 12608 33554432000 4194304 4196468 140731966036272 139941922569232 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2044] ppid=2038 vsize=15149032 memory=500 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2044/stat : 2044 (java) S 2038 2038 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445650334 15512608768 12608 33554432000 4194304 4196468 140731966036272 139941921516432 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2045] ppid=2038 vsize=15149032 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2045/stat : 2045 (java) S 2038 2038 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445650334 15512608768 12608 33554432000 4194304 4196468 140731966036272 139941920463632 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2046] ppid=2038 vsize=15149032 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2046/stat : 2046 (java) S 2038 2038 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445650335 15512608768 12608 33554432000 4194304 4196468 140731966036272 139941438794096 139941971012226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2047] ppid=2038 vsize=15149032 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2047/stat : 2047 (java) S 2038 2038 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445650336 15512608768 12608 33554432000 4194304 4196468 140731966036272 139941437740064 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2048] ppid=2038 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2048/stat : 2048 (java) S 2038 2038 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445650336 15512608768 12608 33554432000 4194304 4196468 140731966036272 139941436687216 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2049] ppid=2038 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2049/stat : 2049 (java) S 2038 2038 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445650338 15512608768 12608 33554432000 4194304 4196468 140731966036272 139941435635536 139941971019675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2050] ppid=2038 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2040/task/2050/stat : 2050 (java) S 2038 2038 24272 0 -1 1077944384 438 0 0 0 3 0 0 0 20 0 15 0 445650338 15512608768 12608 33554432000 4194304 4196468 140731966036272 139941434583920 139941971012226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2051] ppid=2038 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/2040/task/2051/stat : 2051 (java) S 2038 2038 24272 0 -1 1077944384 392 0 0 0 5 0 0 0 20 0 15 0 445650338 15512608768 12608 33554432000 4194304 4196468 140731966036272 139941433531120 139941971012226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2052] ppid=2038 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/2040/task/2052/stat : 2052 (java) S 2038 2038 24272 0 -1 1077944384 962 0 0 0 12 1 0 0 20 0 15 0 445650338 15512608768 12608 33554432000 4194304 4196468 140731966036272 139941432478320 139941971012226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2053] ppid=2038 vsize=15149032 memory=170985786 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2053/stat : 2053 (java) S 2038 2038 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445650338 15512608768 12608 33554432000 4194304 4196468 140731966036272 139941431425760 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2054] ppid=2038 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2054/stat : 2054 (java) S 2038 2038 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445650339 15512608768 12608 33554432000 4194304 4196468 140731966036272 139941430373040 139941971012226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51624 KiB
[startup+0.701188 s]
/proc/loadavg: 8.60 8.47 8.37 7/233 2054
/proc/meminfo: memFree=30820536/32770624 swapFree=66997372/67108860
[pid=2038] ppid=2035 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2038/stat : 2038 (xcsp3-exec) S 2035 2038 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445650332 115843072 363 33554432000 4194304 5098028 140724818322736 140724818320840 139671489225340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22937600 140724818330490 140724818330733 140724818330733 140724818333642 0
/proc/2038/statm: 28282 363 304 221 0 87 0
[pid=2040] ppid=2038 vsize=15151156 memory=85656 CPUtime=1.63 cores=0,2,4,6
/proc/2040/stat : 2040 (java) S 2038 2038 24272 0 -1 1077944320 15085 0 0 0 157 6 0 0 20 0 15 0 445650333 15514783744 21414 33554432000 4194304 4196468 140731966036272 140731966018816 139941971001079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
/proc/2040/statm: 3787789 21414 3451 1 0 3748889 0
[pid=2040/tid=2041] ppid=2038 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/2040/task/2041/stat : 2041 (java) R 2038 2038 24272 0 -1 4202560 9289 0 0 0 64 3 0 0 20 0 15 0 445650333 15514783744 21414 33554432000 4194304 4196468 140731966036272 139941975237568 139941594082436 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2042] ppid=2038 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2042/stat : 2042 (java) S 2038 2038 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445650334 15514783744 21414 33554432000 4194304 4196468 140731966036272 139941923622032 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2043] ppid=2038 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2043/stat : 2043 (java) S 2038 2038 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445650334 15514783744 21414 33554432000 4194304 4196468 140731966036272 139941922569232 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2044] ppid=2038 vsize=15151156 memory=143 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2044/stat : 2044 (java) S 2038 2038 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445650334 15514783744 21414 33554432000 4194304 4196468 140731966036272 139941921516432 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2045] ppid=2038 vsize=15151156 memory=2 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2045/stat : 2045 (java) S 2038 2038 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445650334 15514783744 21414 33554432000 4194304 4196468 140731966036272 139941920463632 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2046] ppid=2038 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2046/stat : 2046 (java) S 2038 2038 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445650335 15514783744 21414 33554432000 4194304 4196468 140731966036272 139941438794096 139941971012226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2047] ppid=2038 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2047/stat : 2047 (java) S 2038 2038 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445650336 15514783744 21414 33554432000 4194304 4196468 140731966036272 139941437740064 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2048] ppid=2038 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2048/stat : 2048 (java) S 2038 2038 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445650336 15514783744 21414 33554432000 4194304 4196468 140731966036272 139941436687216 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2049] ppid=2038 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2049/stat : 2049 (java) S 2038 2038 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445650338 15514783744 21414 33554432000 4194304 4196468 140731966036272 139941435635536 139941971019675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2050] ppid=2038 vsize=15151156 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/2040/task/2050/stat : 2050 (java) R 2038 2038 24272 0 -1 1077944384 1023 0 0 0 23 0 0 0 20 0 15 0 445650338 15514783744 21414 33554432000 4194304 4196468 140731966036272 139941434572720 139941971011285 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2051] ppid=2038 vsize=15151156 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/2040/task/2051/stat : 2051 (java) R 2038 2038 24272 0 -1 4202560 1151 0 0 0 27 0 0 0 20 0 15 0 445650338 15514783744 21414 33554432000 4194304 4196468 140731966036272 139941433517904 139941950824665 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2052] ppid=2038 vsize=15151156 memory=0 CPUtime=0.42 cores=0,2,4,6
/proc/2040/task/2052/stat : 2052 (java) S 2038 2038 24272 0 -1 1077944384 2316 0 0 0 41 1 0 0 20 0 15 0 445650338 15514783744 21414 33554432000 4194304 4196468 140731966036272 139941432474048 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2053] ppid=2038 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2053/stat : 2053 (java) S 2038 2038 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445650338 15514783744 21414 33554432000 4194304 4196468 140731966036272 139941431425760 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2054] ppid=2038 vsize=15151156 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2054/stat : 2054 (java) S 2038 2038 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445650339 15514783744 21414 33554432000 4194304 4196468 140731966036272 139941430373040 139941971012226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 87108 KiB
[startup+1.50146 s]
/proc/loadavg: 8.60 8.47 8.37 9/237 2098
/proc/meminfo: memFree=30688648/32770624 swapFree=66997372/67108860
[pid=2038] ppid=2035 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2038/stat : 2038 (xcsp3-exec) S 2035 2038 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445650332 115843072 363 33554432000 4194304 5098028 140724818322736 140724818320840 139671489225340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22937600 140724818330490 140724818330733 140724818330733 140724818333642 0
/proc/2038/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/2040/task/2054/stat : 2054 (java) S 2038 2038 24272 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 19 0 445650339 15995064320 89173 33554432000 4194304 4196468 140731966036272 139941430373040 139941971012226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2239] ppid=2038 vsize=15620180 memory=0 CPUtime=13.35 cores=0,2,4,6
/proc/2040/task/2239/stat : 2239 (java) R 2038 2038 24272 0 -1 4202560 604 0 0 0 1335 0 0 0 20 0 19 0 445650626 15995064320 89173 33554432000 4194304 4196468 140731966036272 139941411924648 139941603769674 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2240] ppid=2038 vsize=15620180 memory=0 CPUtime=13.57 cores=0,2,4,6
/proc/2040/task/2240/stat : 2240 (java) R 2038 2038 24272 0 -1 4202560 1044 0 0 0 1357 0 0 0 20 0 19 0 445650626 15995064320 89173 33554432000 4194304 4196468 140731966036272 139941414030632 139941603773182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2241] ppid=2038 vsize=15620180 memory=1412 CPUtime=13.42 cores=0,2,4,6
/proc/2040/task/2241/stat : 2241 (java) R 2038 2038 24272 0 -1 4202560 984 0 0 0 1342 0 0 0 20 0 19 0 445650626 15995064320 89173 33554432000 4194304 4196468 140731966036272 139941417189672 139941605023364 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2242] ppid=2038 vsize=15620180 memory=2788 CPUtime=13.95 cores=0,2,4,6
/proc/2040/task/2242/stat : 2242 (java) R 2038 2038 24272 0 -1 4202560 624 0 0 0 1395 0 0 0 20 0 19 0 445650626 15995064320 89173 33554432000 4194304 4196468 140731966036272 139941419294792 139941603203376 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
Current children cumulated CPU time: 68.57 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 358144 KiB
[startup+18.4008 s]
/proc/loadavg: 8.62 8.49 8.38 9/237 2242
/proc/meminfo: memFree=30508656/32770624 swapFree=66997372/67108860
[pid=2038] ppid=2035 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2038/stat : 2038 (xcsp3-exec) S 2035 2038 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445650332 115843072 363 33554432000 4194304 5098028 140724818322736 140724818320840 139671489225340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22937600 140724818330490 140724818330733 140724818330733 140724818333642 0
/proc/2038/statm: 28282 363 304 221 0 87 0
[pid=2040] ppid=2038 vsize=15620180 memory=356692 CPUtime=71.75 cores=0,2,4,6
/proc/2040/stat : 2040 (java) S 2038 2038 24272 0 -1 1077944320 53285 0 0 0 7156 19 0 0 20 0 19 0 445650333 15995064320 89173 33554432000 4194304 4196468 140731966036272 140731966018816 139941971001079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
/proc/2040/statm: 3905045 89173 3527 1 0 3866145 0
[pid=2040/tid=2041] ppid=2038 vsize=15620180 memory=2512 CPUtime=0.84 cores=0,2,4,6
/proc/2040/task/2041/stat : 2041 (java) S 2038 2038 24272 0 -1 1077944384 9390 0 0 0 80 4 0 0 20 0 19 0 445650333 15995064320 89173 33554432000 4194304 4196468 140731966036272 139941975241856 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2042] ppid=2038 vsize=15620180 memory=1436 CPUtime=0.02 cores=0,2,4,6
/proc/2040/task/2042/stat : 2042 (java) S 2038 2038 24272 0 -1 1077944384 181 0 0 0 2 0 0 0 20 0 19 0 445650334 15995064320 89173 33554432000 4194304 4196468 140731966036272 139941923622032 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2043] ppid=2038 vsize=15620180 memory=812 CPUtime=0.01 cores=0,2,4,6
/proc/2040/task/2043/stat : 2043 (java) S 2038 2038 24272 0 -1 1077944384 132 0 0 0 1 0 0 0 20 0 19 0 445650334 15995064320 89173 33554432000 4194304 4196468 140731966036272 139941922569232 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2044] ppid=2038 vsize=15620180 memory=1764 CPUtime=0.02 cores=0,2,4,6
/proc/2040/task/2044/stat : 2044 (java) S 2038 2038 24272 0 -1 1077944384 1069 0 0 0 1 1 0 0 20 0 19 0 445650334 15995064320 89173 33554432000 4194304 4196468 140731966036272 139941921516432 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2045] ppid=2038 vsize=15620180 memory=676 CPUtime=0.03 cores=0,2,4,6
/proc/2040/task/2045/stat : 2045 (java) S 2038 2038 24272 0 -1 1077944384 462 0 0 0 2 1 0 0 20 0 19 0 445650334 15995064320 89173 33554432000 4194304 4196468 140731966036272 139941920463632 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2046] ppid=2038 vsize=15620180 memory=1060 CPUtime=0.01 cores=0,2,4,6
/proc/2040/task/2046/stat : 2046 (java) S 2038 2038 24272 0 -1 1077944384 866 0 0 0 1 0 0 0 20 0 19 0 445650335 15995064320 89173 33554432000 4194304 4196468 140731966036272 139941438794096 139941971012226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2047] ppid=2038 vsize=15620180 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2047/stat : 2047 (java) S 2038 2038 24272 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 445650336 15995064320 89173 33554432000 4194304 4196468 140731966036272 139941437740128 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2048] ppid=2038 vsize=15620180 memory=8560 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2048/stat : 2048 (java) S 2038 2038 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 445650336 15995064320 89173 33554432000 4194304 4196468 140731966036272 139941436687232 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2049] ppid=2038 vsize=15620180 memory=1668 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2049/stat : 2049 (java) S 2038 2038 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445650338 15995064320 89173 33554432000 4194304 4196468 140731966036272 139941435635536 139941971019675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2050] ppid=2038 vsize=15620180 memory=1112 CPUtime=3.79 cores=0,2,4,6
/proc/2040/task/2050/stat : 2050 (java) S 2038 2038 24272 0 -1 1077944384 12083 0 0 0 378 1 0 0 20 0 19 0 445650338 15995064320 89173 33554432000 4194304 4196468 140731966036272 139941434583920 139941971012226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2051] ppid=2038 vsize=15620180 memory=1004 CPUtime=3.91 cores=0,2,4,6
/proc/2040/task/2051/stat : 2051 (java) S 2038 2038 24272 0 -1 1077944384 15212 0 0 0 389 2 0 0 20 0 19 0 445650338 15995064320 89173 33554432000 4194304 4196468 140731966036272 139941433531120 139941971012226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2052] ppid=2038 vsize=15620180 memory=6036 CPUtime=0.89 cores=0,2,4,6
/proc/2040/task/2052/stat : 2052 (java) S 2038 2038 24272 0 -1 1077944384 5814 0 0 0 87 2 0 0 20 0 19 0 445650338 15995064320 89173 33554432000 4194304 4196468 140731966036272 139941432478320 139941971012226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2053] ppid=2038 vsize=15620180 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2053/stat : 2053 (java) S 2038 2038 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445650338 15995064320 89173 33554432000 4194304 4196468 140731966036272 139941431425760 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2054] ppid=2038 vsize=15620180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2054/stat : 2054 (java) R 2038 2038 24272 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 19 0 445650339 15995064320 89173 33554432000 4194304 4196468 140731966036272 139941430373040 139941971012226 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2239] ppid=2038 vsize=15620180 memory=0 CPUtime=14.15 cores=0,2,4,6
/proc/2040/task/2239/stat : 2239 (java) R 2038 2038 24272 0 -1 4202560 605 0 0 0 1415 0 0 0 20 0 19 0 445650626 15995064320 89173 33554432000 4194304 4196468 140731966036272 139941411924648 139941603204435 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2240] ppid=2038 vsize=15620180 memory=0 CPUtime=14.37 cores=0,2,4,6
/proc/2040/task/2240/stat : 2240 (java) R 2038 2038 24272 0 -1 4202560 1065 0 0 0 1437 0 0 0 20 0 19 0 445650626 15995064320 89173 33554432000 4194304 4196468 140731966036272 139941414030632 139941602109660 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2241] ppid=2038 vsize=15620180 memory=0 CPUtime=14.2 cores=0,2,4,6
/proc/2040/task/2241/stat : 2241 (java) R 2038 2038 24272 0 -1 4202560 1007 0 0 0 1420 0 0 0 20 0 19 0 445650626 15995064320 89173 33554432000 4194304 4196468 140731966036272 139941417189672 139941600045359 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2242] ppid=2038 vsize=15620180 memory=0 CPUtime=14.75 cores=0,2,4,6
/proc/2040/task/2242/stat : 2242 (java) R 2038 2038 24272 0 -1 4202560 636 0 0 0 1475 0 0 0 20 0 19 0 445650626 15995064320 89173 33554432000 4194304 4196468 140731966036272 139941419294792 139941603768675 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
Current children cumulated CPU time: 71.75 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 358144 KiB
[startup+18.8015 s]
/proc/loadavg: 8.62 8.49 8.38 9/237 2242
/proc/meminfo: memFree=30508656/32770624 swapFree=66997372/67108860
[pid=2038] ppid=2035 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2038/stat : 2038 (xcsp3-exec) S 2035 2038 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445650332 115843072 363 33554432000 4194304 5098028 140724818322736 140724818320840 139671489225340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22937600 140724818330490 140724818330733 140724818330733 140724818333642 0
/proc/2038/statm: 28282 363 304 221 0 87 0
[pid=2040] ppid=2038 vsize=15620180 memory=363348 CPUtime=73.34 cores=0,2,4,6
/proc/2040/stat : 2040 (java) S 2038 2038 24272 0 -1 1077944320 54345 0 0 0 7314 20 0 0 20 0 19 0 445650333 15995064320 90837 33554432000 4194304 4196468 140731966036272 140731966018816 139941971001079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
/proc/2040/statm: 3905045 90837 3527 1 0 3866145 0
[pid=2040/tid=2041] ppid=2038 vsize=15620180 memory=7446530903773433172 CPUtime=0.84 cores=0,2,4,6
/proc/2040/task/2041/stat : 2041 (java) S 2038 2038 24272 0 -1 1077944384 9390 0 0 0 80 4 0 0 20 0 19 0 445650333 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941975241856 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2042] ppid=2038 vsize=15620180 memory=6297270678698415205 CPUtime=0.03 cores=0,2,4,6
/proc/2040/task/2042/stat : 2042 (java) S 2038 2038 24272 0 -1 1077944384 538 0 0 0 2 1 0 0 20 0 19 0 445650334 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941923622032 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2043] ppid=2038 vsize=15620180 memory=6080510839131104607 CPUtime=0.01 cores=0,2,4,6
/proc/2040/task/2043/stat : 2043 (java) S 2038 2038 24272 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 19 0 445650334 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941922569232 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2044] ppid=2038 vsize=15620180 memory=55 CPUtime=0.02 cores=0,2,4,6
/proc/2040/task/2044/stat : 2044 (java) S 2038 2038 24272 0 -1 1077944384 1146 0 0 0 1 1 0 0 20 0 19 0 445650334 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941921516432 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2045] ppid=2038 vsize=15620180 memory=9353 CPUtime=0.03 cores=0,2,4,6
/proc/2040/task/2045/stat : 2045 (java) S 2038 2038 24272 0 -1 1077944384 812 0 0 0 2 1 0 0 20 0 19 0 445650334 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941920463632 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2046] ppid=2038 vsize=15620180 memory=3575287 CPUtime=0.01 cores=0,2,4,6
/proc/2040/task/2046/stat : 2046 (java) S 2038 2038 24272 0 -1 1077944384 1069 0 0 0 1 0 0 0 20 0 19 0 445650335 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941438794096 139941971012226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2047] ppid=2038 vsize=15620180 memory=3505286 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2047/stat : 2047 (java) S 2038 2038 24272 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 445650336 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941437740128 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2048] ppid=2038 vsize=15620180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2048/stat : 2048 (java) S 2038 2038 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 445650336 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941436687232 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2049] ppid=2038 vsize=15620180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2049/stat : 2049 (java) S 2038 2038 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445650338 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941435635536 139941971019675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2050] ppid=2038 vsize=15620180 memory=0 CPUtime=3.79 cores=0,2,4,6
/proc/2040/task/2050/stat : 2050 (java) S 2038 2038 24272 0 -1 1077944384 12083 0 0 0 378 1 0 0 20 0 19 0 445650338 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941434583920 139941971012226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2051] ppid=2038 vsize=15620180 memory=7594597771697979466 CPUtime=3.91 cores=0,2,4,6
/proc/2040/task/2051/stat : 2051 (java) S 2038 2038 24272 0 -1 1077944384 15212 0 0 0 389 2 0 0 20 0 19 0 445650338 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941433531120 139941971012226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2052] ppid=2038 vsize=15620180 memory=0 CPUtime=0.89 cores=0,2,4,6
/proc/2040/task/2052/stat : 2052 (java) S 2038 2038 24272 0 -1 1077944384 5814 0 0 0 87 2 0 0 20 0 19 0 445650338 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941432478320 139941971012226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2053] ppid=2038 vsize=15620180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2053/stat : 2053 (java) S 2038 2038 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445650338 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941431425760 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2054] ppid=2038 vsize=15620180 memory=7884224531532113750 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2054/stat : 2054 (java) S 2038 2038 24272 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 19 0 445650339 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941430373040 139941971012226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2239] ppid=2038 vsize=15620180 memory=6935651454800449616 CPUtime=14.54 cores=0,2,4,6
/proc/2040/task/2239/stat : 2239 (java) R 2038 2038 24272 0 -1 4202560 605 0 0 0 1454 0 0 0 20 0 19 0 445650626 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941411924808 139941602109747 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2240] ppid=2038 vsize=15620180 memory=6008736936307875947 CPUtime=14.76 cores=0,2,4,6
/proc/2040/task/2240/stat : 2240 (java) R 2038 2038 24272 0 -1 4202560 1071 0 0 0 1476 0 0 0 20 0 19 0 445650626 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941414031424 139941601986404 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2241] ppid=2038 vsize=15620180 memory=6442213872145425759 CPUtime=14.59 cores=0,2,4,6
/proc/2040/task/2241/stat : 2241 (java) R 2038 2038 24272 0 -1 4202560 1014 0 0 0 1459 0 0 0 20 0 19 0 445650626 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941417188272 139941605026788 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2242] ppid=2038 vsize=15620180 memory=140081026758271 CPUtime=15.14 cores=0,2,4,6
/proc/2040/task/2242/stat : 2242 (java) R 2038 2038 24272 0 -1 4202560 640 0 0 0 1514 0 0 0 20 0 19 0 445650626 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941419297104 139941598875037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
Current children cumulated CPU time: 73.34 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 364800 KiB
[startup+19.2015 s]
/proc/loadavg: 8.62 8.49 8.38 9/237 2242
/proc/meminfo: memFree=30502024/32770624 swapFree=66997372/67108860
[pid=2038] ppid=2035 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2038/stat : 2038 (xcsp3-exec) S 2035 2038 24272 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445650332 115843072 363 33554432000 4194304 5098028 140724818322736 140724818320840 139671489225340 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 22937600 140724818330490 140724818330733 140724818330733 140724818333642 0
/proc/2038/statm: 28282 363 304 221 0 87 0
[pid=2040] ppid=2038 vsize=15620180 memory=363348 CPUtime=74.93 cores=0,2,4,6
/proc/2040/stat : 2040 (java) S 2038 2038 24272 0 -1 1077944320 54352 0 0 0 7473 20 0 0 20 0 19 0 445650333 15995064320 90837 33554432000 4194304 4196468 140731966036272 140731966018816 139941971001079 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
/proc/2040/statm: 3905045 90837 3527 1 0 3866145 0
[pid=2040/tid=2041] ppid=2038 vsize=15620180 memory=4580 CPUtime=0.84 cores=0,2,4,6
/proc/2040/task/2041/stat : 2041 (java) S 2038 2038 24272 0 -1 1077944384 9390 0 0 0 80 4 0 0 20 0 19 0 445650333 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941975241856 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2042] ppid=2038 vsize=15620180 memory=280153200854032 CPUtime=0.03 cores=0,2,4,6
/proc/2040/task/2042/stat : 2042 (java) S 2038 2038 24272 0 -1 1077944384 538 0 0 0 2 1 0 0 20 0 19 0 445650334 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941923622032 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2043] ppid=2038 vsize=15620180 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2040/task/2043/stat : 2043 (java) S 2038 2038 24272 0 -1 1077944384 188 0 0 0 1 0 0 0 20 0 19 0 445650334 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941922569232 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2044] ppid=2038 vsize=15620180 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2040/task/2044/stat : 2044 (java) S 2038 2038 24272 0 -1 1077944384 1146 0 0 0 1 1 0 0 20 0 19 0 445650334 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941921516432 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2045] ppid=2038 vsize=15620180 memory=280153201171616 CPUtime=0.03 cores=0,2,4,6
/proc/2040/task/2045/stat : 2045 (java) S 2038 2038 24272 0 -1 1077944384 812 0 0 0 2 1 0 0 20 0 19 0 445650334 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941920463632 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2046] ppid=2038 vsize=15620180 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2040/task/2046/stat : 2046 (java) S 2038 2038 24272 0 -1 1077944384 1069 0 0 0 1 0 0 0 20 0 19 0 445650335 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941438794096 139941971012226 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2047] ppid=2038 vsize=15620180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2047/stat : 2047 (java) S 2038 2038 24272 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 445650336 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941437740128 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2048] ppid=2038 vsize=15620180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2048/stat : 2048 (java) S 2038 2038 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 445650336 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941436687232 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2049] ppid=2038 vsize=15620180 memory=280153201048576 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2049/stat : 2049 (java) S 2038 2038 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445650338 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941435635536 139941971019675 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2050] ppid=2038 vsize=15620180 memory=0 CPUtime=3.79 cores=0,2,4,6
/proc/2040/task/2050/stat : 2050 (java) S 2038 2038 24272 0 -1 1077944384 12083 0 0 0 378 1 0 0 20 0 19 0 445650338 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941434583920 139941971012226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2051] ppid=2038 vsize=15620180 memory=0 CPUtime=3.91 cores=0,2,4,6
/proc/2040/task/2051/stat : 2051 (java) S 2038 2038 24272 0 -1 1077944384 15212 0 0 0 389 2 0 0 20 0 19 0 445650338 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941433531120 139941971012226 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2052] ppid=2038 vsize=15620180 memory=0 CPUtime=0.89 cores=0,2,4,6
/proc/2040/task/2052/stat : 2052 (java) S 2038 2038 24272 0 -1 1077944384 5814 0 0 0 87 2 0 0 20 0 19 0 445650338 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941432478320 139941971012226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2053] ppid=2038 vsize=15620180 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2053/stat : 2053 (java) S 2038 2038 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445650338 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941431425760 139941971011285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2054] ppid=2038 vsize=15620180 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2040/task/2054/stat : 2054 (java) S 2038 2038 24272 0 -1 1077944384 200 0 0 0 0 0 0 0 20 0 19 0 445650339 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941430373040 139941971012226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2239] ppid=2038 vsize=15620180 memory=356688 CPUtime=14.94 cores=0,2,4,6
/proc/2040/task/2239/stat : 2239 (java) R 2038 2038 24272 0 -1 4202560 605 0 0 0 1494 0 0 0 20 0 19 0 445650626 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941411924808 139941603203890 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2240] ppid=2038 vsize=15620180 memory=643808 CPUtime=15.16 cores=0,2,4,6
/proc/2040/task/2240/stat : 2240 (java) R 2038 2038 24272 0 -1 4202560 1074 0 0 0 1516 0 0 0 20 0 19 0 445650626 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941414031424 139941602079465 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2241] ppid=2038 vsize=15620180 memory=3768 CPUtime=14.98 cores=0,2,4,6
/proc/2040/task/2241/stat : 2241 (java) R 2038 2038 24272 0 -1 4202560 1018 0 0 0 1498 0 0 0 20 0 19 0 445650626 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941417188272 139941602790171 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
[pid=2040/tid=2242] ppid=2038 vsize=15620180 memory=1412 CPUtime=15.54 cores=0,2,4,6
/proc/2040/task/2242/stat : 2242 (java) R 2038 2038 24272 0 -1 4202560 640 0 0 0 1554 0 0 0 20 0 19 0 445650626 15995064320 90837 33554432000 4194304 4196468 140731966036272 139941419297104 139941603304353 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29868032 140731966039023 140731966039194 140731966039194 140731966042063 0
Current children cumulated CPU time: 74.93 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 364800 KiB
Child status: 0
Real time (s): 19.22
CPU time (s): 74.9861
CPU user time (s): 74.77
CPU system time (s): 0.216052
CPU usage (%): 390.146
Max. virtual memory (cumulated for all children) (KiB): 15735416
Max. memory (cumulated for all children) (KiB): 364800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.77
system time used= 0.216052
maximum resident set size= 364888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55485
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4716
involuntary context switches= 2335
# summary of solver processes directly reported to runsolver:
# pid: 2038
# total CPU time (s): 74.9861
# total CPU user time (s): 74.77
# total CPU system time (s): 0.216052
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.165635 second user time and 0.23765 second system time
The end