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 (12332 MiB free)
memory of node 1: 16384 MiB (14040 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398994-1568696505/watcher-4398994-1568696505 -o /tmp/evaluation-result-4398994-1568696505/solver-4398994-1568696505 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568694401-32469 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1238141422 HOME/instance-4398994-1568696505.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5172, runsolver pid=5169
[startup+0.100058 s]*
/proc/loadavg: 8.07 8.18 7.41 7/234 5188
/proc/meminfo: memFree=26989532/32770624 swapFree=66939908/67108860
[pid=5172] ppid=5169 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5172/stat : 5172 (xcsp3-exec) S 5169 5172 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445565541 115843072 363 33554432000 4194304 5098028 140725076928256 140725076926360 140265079595644 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15794176 140725076931450 140725076931693 140725076931693 140725076934602 0
/proc/5172/statm: 28282 363 304 221 0 87 0
[pid=5174] ppid=5172 vsize=15144776 memory=29188 CPUtime=0.12 cores=1,3,5,7
/proc/5174/stat : 5174 (java) S 5172 5172 32437 0 -1 1077944320 5700 0 0 0 11 1 0 0 20 0 15 0 445565542 15508250624 7297 33554432000 4194304 4196468 140735641582064 140735641564608 140637100158711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
/proc/5174/statm: 3786194 7297 3150 1 0 3748377 0
[pid=5174/tid=5175] ppid=5172 vsize=15144776 memory=7031125463459224206 CPUtime=0.08 cores=1,3,5,7
/proc/5174/task/5175/stat : 5175 (java) R 5172 5172 32437 0 -1 4202560 3613 0 0 0 8 0 0 0 20 0 15 0 445565542 15508250624 7297 33554432000 4194304 4196468 140735641582064 140637104381408 140637092395838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5176] ppid=5172 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5176/stat : 5176 (java) S 5172 5172 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445565543 15508250624 7297 33554432000 4194304 4196468 140735641582064 140637028198800 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5177] ppid=5172 vsize=15144776 memory=140486451734144 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5177/stat : 5177 (java) S 5172 5172 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445565543 15508250624 7297 33554432000 4194304 4196468 140735641582064 140636691228944 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5178] ppid=5172 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5178/stat : 5178 (java) S 5172 5172 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445565543 15508250624 7297 33554432000 4194304 4196468 140735641582064 140636690176656 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5179] ppid=5172 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5179/stat : 5179 (java) S 5172 5172 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445565543 15508250624 7297 33554432000 4194304 4196468 140735641582064 140636689123856 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5180] ppid=5172 vsize=15144776 memory=140486451734144 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5180/stat : 5180 (java) S 5172 5172 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445565544 15508250624 7297 33554432000 4194304 4196468 140735641582064 140636636011120 140637100169858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5181] ppid=5172 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5181/stat : 5181 (java) S 5172 5172 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445565545 15508250624 7297 33554432000 4194304 4196468 140735641582064 140636634957088 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5182] ppid=5172 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5182/stat : 5182 (java) S 5172 5172 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445565545 15508250624 7297 33554432000 4194304 4196468 140735641582064 140636633904752 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5183] ppid=5172 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5183/stat : 5183 (java) S 5172 5172 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445565547 15508250624 7297 33554432000 4194304 4196468 140735641582064 140636632853072 140637100177307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5184] ppid=5172 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5184/stat : 5184 (java) R 5172 5172 32437 0 -1 4202560 454 0 0 0 0 0 0 0 20 0 15 0 445565547 15508250624 7297 33554432000 4194304 4196468 140735641582064 140636631799920 140637078049824 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5185] ppid=5172 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5185/stat : 5185 (java) R 5172 5172 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445565547 15508250624 7297 33554432000 4194304 4196468 140735641582064 140636630747120 140637100169858 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5186] ppid=5172 vsize=15144776 memory=140486451734144 CPUtime=0.02 cores=1,3,5,7
/proc/5174/task/5186/stat : 5186 (java) S 5172 5172 32437 0 -1 1077944384 368 0 0 0 2 0 0 0 20 0 15 0 445565547 15508250624 7297 33554432000 4194304 4196468 140735641582064 140636629694832 140637100169858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5187] ppid=5172 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5187/stat : 5187 (java) S 5172 5172 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445565547 15508250624 7297 33554432000 4194304 4196468 140735641582064 140636628642272 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5188] ppid=5172 vsize=15144776 memory=140486451734144 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5188/stat : 5188 (java) S 5172 5172 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445565548 15508250624 7297 33554432000 4194304 4196468 140735641582064 140636627590064 140637100169858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30640 KiB
[startup+0.210882 s]*
/proc/loadavg: 8.07 8.18 7.41 7/234 5188
/proc/meminfo: memFree=26976428/32770624 swapFree=66939908/67108860
[pid=5172] ppid=5169 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5172/stat : 5172 (xcsp3-exec) S 5169 5172 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445565541 115843072 363 33554432000 4194304 5098028 140725076928256 140725076926360 140265079595644 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15794176 140725076931450 140725076931693 140725076931693 140725076934602 0
/proc/5172/statm: 28282 363 304 221 0 87 0
[pid=5174] ppid=5172 vsize=15144776 memory=40976 CPUtime=0.34 cores=1,3,5,7
/proc/5174/stat : 5174 (java) S 5172 5172 32437 0 -1 1077944320 9466 0 0 0 31 3 0 0 20 0 15 0 445565542 15508250624 10244 33554432000 4194304 4196468 140735641582064 140735641564608 140637100158711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
/proc/5174/statm: 3786194 10244 3292 1 0 3748377 0
[pid=5174/tid=5175] ppid=5172 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/5174/task/5175/stat : 5175 (java) R 5172 5172 32437 0 -1 4202560 6623 0 0 0 18 2 0 0 20 0 15 0 445565542 15508250624 10244 33554432000 4194304 4196468 140735641582064 140637104388432 140637084239198 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5176] ppid=5172 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5176/stat : 5176 (java) S 5172 5172 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445565543 15508250624 10244 33554432000 4194304 4196468 140735641582064 140637028198800 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5177] ppid=5172 vsize=15144776 memory=3619121669392639648 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5177/stat : 5177 (java) S 5172 5172 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445565543 15508250624 10244 33554432000 4194304 4196468 140735641582064 140636691228944 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5178] ppid=5172 vsize=15144776 memory=140486451734144 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5178/stat : 5178 (java) S 5172 5172 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445565543 15508250624 10244 33554432000 4194304 4196468 140735641582064 140636690176656 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5179] ppid=5172 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5179/stat : 5179 (java) S 5172 5172 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445565543 15508250624 10244 33554432000 4194304 4196468 140735641582064 140636689123856 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5180] ppid=5172 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5180/stat : 5180 (java) S 5172 5172 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445565544 15508250624 10244 33554432000 4194304 4196468 140735641582064 140636636011120 140637100169858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5181] ppid=5172 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5181/stat : 5181 (java) S 5172 5172 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445565545 15508250624 10244 33554432000 4194304 4196468 140735641582064 140636634957088 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5182] ppid=5172 vsize=15144776 memory=140486451734144 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5182/stat : 5182 (java) S 5172 5172 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445565545 15508250624 10244 33554432000 4194304 4196468 140735641582064 140636633904752 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5183] ppid=5172 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5183/stat : 5183 (java) S 5172 5172 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445565547 15508250624 10244 33554432000 4194304 4196468 140735641582064 140636632853072 140637100177307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5184] ppid=5172 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/5174/task/5184/stat : 5184 (java) R 5172 5172 32437 0 -1 4202560 704 0 0 0 2 0 0 0 20 0 15 0 445565547 15508250624 10244 33554432000 4194304 4196468 140735641582064 140636631799920 140637100180058 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5185] ppid=5172 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5174/task/5185/stat : 5185 (java) S 5172 5172 32437 0 -1 1077944384 67 0 0 0 2 0 0 0 20 0 15 0 445565547 15508250624 10244 33554432000 4194304 4196468 140735641582064 140636630747120 140637100169858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5186] ppid=5172 vsize=15144776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/5174/task/5186/stat : 5186 (java) R 5172 5172 32437 0 -1 4202560 771 0 0 0 8 0 0 0 20 0 15 0 445565547 15508250624 10244 33554432000 4194304 4196468 140735641582064 140636629694832 140637079607895 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5187] ppid=5172 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5187/stat : 5187 (java) S 5172 5172 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445565547 15508250624 10244 33554432000 4194304 4196468 140735641582064 140636628642272 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5188] ppid=5172 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5188/stat : 5188 (java) S 5172 5172 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445565548 15508250624 10244 33554432000 4194304 4196468 140735641582064 140636627590064 140637100169858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42428 KiB
[startup+0.31217 s]*
/proc/loadavg: 8.07 8.18 7.41 8/234 5188
/proc/meminfo: memFree=26969464/32770624 swapFree=66939908/67108860
[pid=5172] ppid=5169 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5172/stat : 5172 (xcsp3-exec) S 5169 5172 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445565541 115843072 363 33554432000 4194304 5098028 140725076928256 140725076926360 140265079595644 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15794176 140725076931450 140725076931693 140725076931693 140725076934602 0
/proc/5172/statm: 28282 363 304 221 0 87 0
[pid=5174] ppid=5172 vsize=15149032 memory=50096 CPUtime=0.53 cores=1,3,5,7
/proc/5174/stat : 5174 (java) S 5172 5172 32437 0 -1 1077944320 10868 0 0 0 49 4 0 0 20 0 15 0 445565542 15512608768 12524 33554432000 4194304 4196468 140735641582064 140735641564608 140637100158711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
/proc/5174/statm: 3787258 12524 3336 1 0 3748377 0
[pid=5174/tid=5175] ppid=5172 vsize=15149032 memory=9047914855943115630 CPUtime=0.3 cores=1,3,5,7
/proc/5174/task/5175/stat : 5175 (java) R 5172 5172 32437 0 -1 4202560 7819 0 0 0 27 3 0 0 20 0 15 0 445565542 15512608768 12594 33554432000 4194304 4196468 140735641582064 140637104389824 140637100180637 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5176] ppid=5172 vsize=15149032 memory=4294967331 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5176/stat : 5176 (java) S 5172 5172 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445565543 15512608768 12594 33554432000 4194304 4196468 140735641582064 140637028198800 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5177] ppid=5172 vsize=15149032 memory=140486451785248 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5177/stat : 5177 (java) S 5172 5172 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445565543 15512608768 12594 33554432000 4194304 4196468 140735641582064 140636691228944 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5178] ppid=5172 vsize=15149032 memory=53476 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5178/stat : 5178 (java) S 5172 5172 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445565543 15512608768 12594 33554432000 4194304 4196468 140735641582064 140636690176656 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5179] ppid=5172 vsize=15149032 memory=35 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5179/stat : 5179 (java) S 5172 5172 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445565543 15512608768 12594 33554432000 4194304 4196468 140735641582064 140636689123856 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5180] ppid=5172 vsize=15149032 memory=140486451792160 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5180/stat : 5180 (java) S 5172 5172 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445565544 15512608768 12594 33554432000 4194304 4196468 140735641582064 140636636011120 140637100169858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5181] ppid=5172 vsize=15149032 memory=35 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5181/stat : 5181 (java) S 5172 5172 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445565545 15512608768 12594 33554432000 4194304 4196468 140735641582064 140636634957088 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5182] ppid=5172 vsize=15149032 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5182/stat : 5182 (java) S 5172 5172 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445565545 15512608768 12594 33554432000 4194304 4196468 140735641582064 140636633904752 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5183] ppid=5172 vsize=15149032 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5183/stat : 5183 (java) S 5172 5172 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445565547 15512608768 12594 33554432000 4194304 4196468 140735641582064 140636632853072 140637100177307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5184] ppid=5172 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5174/task/5184/stat : 5184 (java) S 5172 5172 32437 0 -1 1077944384 725 0 0 0 4 0 0 0 20 0 15 0 445565547 15512608768 12594 33554432000 4194304 4196468 140735641582064 140636631799920 140637100169858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5185] ppid=5172 vsize=15149032 memory=140486299995599 CPUtime=0.05 cores=1,3,5,7
/proc/5174/task/5185/stat : 5185 (java) R 5172 5172 32437 0 -1 4202560 199 0 0 0 5 0 0 0 20 0 15 0 445565547 15512608768 12594 33554432000 4194304 4196468 140735641582064 140636630738576 140637077419968 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5186] ppid=5172 vsize=15149032 memory=140486451739159 CPUtime=0.12 cores=1,3,5,7
/proc/5174/task/5186/stat : 5186 (java) S 5172 5172 32437 0 -1 1077944384 859 0 0 0 12 0 0 0 20 0 15 0 445565547 15512608768 12594 33554432000 4194304 4196468 140735641582064 140636629694832 140637100169858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5187] ppid=5172 vsize=15149032 memory=140486300019311 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5187/stat : 5187 (java) S 5172 5172 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445565547 15512608768 12594 33554432000 4194304 4196468 140735641582064 140636628642272 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5188] ppid=5172 vsize=15149032 memory=280972751734400 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5188/stat : 5188 (java) S 5172 5172 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445565548 15512608768 12594 33554432000 4194304 4196468 140735641582064 140636627590064 140637100169858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51548 KiB
[startup+0.700847 s]
/proc/loadavg: 8.07 8.18 7.41 8/234 5188
/proc/meminfo: memFree=26936208/32770624 swapFree=66939908/67108860
[pid=5172] ppid=5169 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5172/stat : 5172 (xcsp3-exec) S 5169 5172 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445565541 115843072 363 33554432000 4194304 5098028 140725076928256 140725076926360 140265079595644 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15794176 140725076931450 140725076931693 140725076931693 140725076934602 0
/proc/5172/statm: 28282 363 304 221 0 87 0
[pid=5174] ppid=5172 vsize=15149032 memory=170932 CPUtime=1.44 cores=1,3,5,7
/proc/5174/stat : 5174 (java) S 5172 5172 32437 0 -1 1077944320 13393 0 0 0 138 6 0 0 20 0 15 0 445565542 15512608768 42733 33554432000 4194304 4196468 140735641582064 140735641564608 140637100158711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
/proc/5174/statm: 3787258 42733 3400 1 0 3748377 0
[pid=5174/tid=5175] ppid=5172 vsize=15149032 memory=148 CPUtime=0.67 cores=1,3,5,7
/proc/5174/task/5175/stat : 5175 (java) R 5172 5172 32437 0 -1 4202560 8016 0 0 0 63 4 0 0 20 0 15 0 445565542 15512608768 42733 33554432000 4194304 4196468 140735641582064 140637104390352 140637100180637 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5176] ppid=5172 vsize=15149032 memory=8320808402719749941 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5176/stat : 5176 (java) S 5172 5172 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445565543 15512608768 42733 33554432000 4194304 4196468 140735641582064 140637028198800 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5177] ppid=5172 vsize=15149032 memory=5788645493997918055 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5177/stat : 5177 (java) S 5172 5172 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445565543 15512608768 42733 33554432000 4194304 4196468 140735641582064 140636691228944 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5178] ppid=5172 vsize=15149032 memory=4639059895069856102 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5178/stat : 5178 (java) S 5172 5172 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445565543 15512608768 42733 33554432000 4194304 4196468 140735641582064 140636690176656 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5179] ppid=5172 vsize=15149032 memory=5790591388691218528 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5179/stat : 5179 (java) S 5172 5172 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445565543 15512608768 42733 33554432000 4194304 4196468 140735641582064 140636689123856 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5180] ppid=5172 vsize=15149032 memory=1052 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5180/stat : 5180 (java) S 5172 5172 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445565544 15512608768 42733 33554432000 4194304 4196468 140735641582064 140636636011120 140637100169858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5181] ppid=5172 vsize=15149032 memory=776 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5181/stat : 5181 (java) S 5172 5172 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445565545 15512608768 42733 33554432000 4194304 4196468 140735641582064 140636634957088 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5182] ppid=5172 vsize=15149032 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5182/stat : 5182 (java) S 5172 5172 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445565545 15512608768 42733 33554432000 4194304 4196468 140735641582064 140636633904752 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5183] ppid=5172 vsize=15149032 memory=668 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5183/stat : 5183 (java) S 5172 5172 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445565547 15512608768 42733 33554432000 4194304 4196468 140735641582064 140636632853072 140637100177307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5184] ppid=5172 vsize=15149032 memory=1256 CPUtime=0.28 cores=1,3,5,7
/proc/5174/task/5184/stat : 5184 (java) S 5172 5172 32437 0 -1 1077944384 1758 0 0 0 28 0 0 0 20 0 15 0 445565547 15512608768 42733 33554432000 4194304 4196468 140735641582064 140636631799920 140637100169858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5185] ppid=5172 vsize=15149032 memory=1076 CPUtime=0.25 cores=1,3,5,7
/proc/5174/task/5185/stat : 5185 (java) S 5172 5172 32437 0 -1 1077944384 939 0 0 0 25 0 0 0 20 0 15 0 445565547 15512608768 42733 33554432000 4194304 4196468 140735641582064 140636630747120 140637100169858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5186] ppid=5172 vsize=15149032 memory=14008 CPUtime=0.2 cores=1,3,5,7
/proc/5174/task/5186/stat : 5186 (java) S 5172 5172 32437 0 -1 1077944384 1373 0 0 0 20 0 0 0 20 0 15 0 445565547 15512608768 42733 33554432000 4194304 4196468 140735641582064 140636629694832 140637100169858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5187] ppid=5172 vsize=15149032 memory=26336 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5187/stat : 5187 (java) S 5172 5172 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445565547 15512608768 42733 33554432000 4194304 4196468 140735641582064 140636628642272 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5188] ppid=5172 vsize=15149032 memory=14056 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5188/stat : 5188 (java) S 5172 5172 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445565548 15512608768 42733 33554432000 4194304 4196468 140735641582064 140636627590064 140637100169858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 172384 KiB
[startup+1.50127 s]
/proc/loadavg: 7.98 8.16 7.41 6/234 5188
/proc/meminfo: memFree=26720984/32770624 swapFree=66939908/67108860
[pid=5172] ppid=5169 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5172/stat : 5172 (xcsp3-exec) S 5169 5172 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445565541 115843072 363 33554432000 4194304 5098028 140725076928256 140725076926360 140265079595644 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15794176 140725076931450 140725076931693 140725076931693 140725076934602 0
/proc/5172/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/5174/task/5181/stat : 5181 (java) S 5172 5172 32437 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 445565545 15514783744 3203191 33554432000 4194304 4196468 140735641582064 140636634957152 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5182] ppid=5172 vsize=15151156 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5182/stat : 5182 (java) S 5172 5172 32437 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 445565545 15514783744 3203191 33554432000 4194304 4196468 140735641582064 140636633904768 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5183] ppid=5172 vsize=15151156 memory=4152 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5183/stat : 5183 (java) S 5172 5172 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445565547 15514783744 3203191 33554432000 4194304 4196468 140735641582064 140636632853072 140637100177307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5184] ppid=5172 vsize=15151156 memory=8112282956445269571 CPUtime=2.31 cores=1,3,5,7
/proc/5174/task/5184/stat : 5184 (java) S 5172 5172 32437 0 -1 1077944384 8475 0 0 0 230 1 0 0 20 0 15 0 445565547 15514783744 3203191 33554432000 4194304 4196468 140735641582064 140636631799920 140637100169858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5185] ppid=5172 vsize=15151156 memory=6935054825532540783 CPUtime=2.08 cores=1,3,5,7
/proc/5174/task/5185/stat : 5185 (java) S 5172 5172 32437 0 -1 1077944384 5482 0 0 0 208 0 0 0 20 0 15 0 445565547 15514783744 3203191 33554432000 4194304 4196468 140735641582064 140636630747120 140637100169858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5186] ppid=5172 vsize=15151156 memory=1452 CPUtime=0.63 cores=1,3,5,7
/proc/5174/task/5186/stat : 5186 (java) S 5172 5172 32437 0 -1 1077944384 7097 0 0 0 62 1 0 0 20 0 15 0 445565547 15514783744 3203191 33554432000 4194304 4196468 140735641582064 140636629694832 140637100169858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5187] ppid=5172 vsize=15151156 memory=12812764 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5187/stat : 5187 (java) S 5172 5172 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445565547 15514783744 3203191 33554432000 4194304 4196468 140735641582064 140636628642272 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5188] ppid=5172 vsize=15151156 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5174/task/5188/stat : 5188 (java) S 5172 5172 32437 0 -1 1077944384 503 0 0 0 5 7 0 0 20 0 15 0 445565548 15514783744 3203191 33554432000 4194304 4196468 140735641582064 140636627590064 140637100169858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
Current children cumulated CPU time: 559.44 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12814216 KiB
[startup+282.301 s]
/proc/loadavg: 6.69 6.45 6.82 9/230 5287
/proc/meminfo: memFree=3506680/32770624 swapFree=66939908/67108860
[pid=5172] ppid=5169 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5172/stat : 5172 (xcsp3-exec) S 5169 5172 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445565541 115843072 363 33554432000 4194304 5098028 140725076928256 140725076926360 140265079595644 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15794176 140725076931450 140725076931693 140725076931693 140725076934602 0
/proc/5172/statm: 28282 363 304 221 0 87 0
[pid=5174] ppid=5172 vsize=15151156 memory=12812820 CPUtime=787.89 cores=1,3,5,7
/proc/5174/stat : 5174 (java) S 5172 5172 32437 0 -1 1077944320 199636 0 0 0 77463 1326 0 0 20 0 15 0 445565542 15514783744 3203205 33554432000 4194304 4196468 140735641582064 140735641564608 140637100158711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
/proc/5174/statm: 3787789 3203205 3512 1 0 3748889 0
[pid=5174/tid=5175] ppid=5172 vsize=15151156 memory=12812820 CPUtime=70.5 cores=1,3,5,7
/proc/5174/task/5175/stat : 5175 (java) S 5172 5172 32437 0 -1 1077944384 24432 0 0 0 7036 14 0 0 20 0 15 0 445565542 15514783744 3203205 33554432000 4194304 4196468 140735641582064 140637104396960 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5176] ppid=5172 vsize=15151156 memory=12812800 CPUtime=167.31 cores=1,3,5,7
/proc/5174/task/5176/stat : 5176 (java) R 5172 5172 32437 0 -1 4202560 23045 0 0 0 16401 330 0 0 20 0 15 0 445565543 15514783744 3203205 33554432000 4194304 4196468 140735641582064 140637028199000 140637081768531 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5177] ppid=5172 vsize=15151156 memory=12812816 CPUtime=167.35 cores=1,3,5,7
/proc/5174/task/5177/stat : 5177 (java) R 5172 5172 32437 0 -1 4202560 23253 0 0 0 16428 307 0 0 20 0 15 0 445565543 15514783744 3203205 33554432000 4194304 4196468 140735641582064 140636691229144 140637085155220 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5178] ppid=5172 vsize=15151156 memory=12812820 CPUtime=167.03 cores=1,3,5,7
/proc/5174/task/5178/stat : 5178 (java) R 5172 5172 32437 0 -1 4202560 25431 0 0 0 16368 335 0 0 20 0 15 0 445565543 15514783744 3203205 33554432000 4194304 4196468 140735641582064 140636690176856 140637085155303 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5179] ppid=5172 vsize=15151156 memory=1452 CPUtime=167.11 cores=1,3,5,7
/proc/5174/task/5179/stat : 5179 (java) R 5172 5172 32437 0 -1 4202560 26166 0 0 0 16385 326 0 0 20 0 15 0 445565543 15514783744 3203205 33554432000 4194304 4196468 140735641582064 140636689123856 140637085155092 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5180] ppid=5172 vsize=15151156 memory=12812820 CPUtime=43.32 cores=1,3,5,7
/proc/5174/task/5180/stat : 5180 (java) S 5172 5172 32437 0 -1 1077944384 54316 0 0 0 4328 4 0 0 20 0 15 0 445565544 15514783744 3203205 33554432000 4194304 4196468 140735641582064 140636636009664 140637100168917 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5181] ppid=5172 vsize=15151156 memory=12812816 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5181/stat : 5181 (java) S 5172 5172 32437 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 445565545 15514783744 3203205 33554432000 4194304 4196468 140735641582064 140636634957152 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5182] ppid=5172 vsize=15151156 memory=12812820 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5182/stat : 5182 (java) S 5172 5172 32437 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 445565545 15514783744 3203205 33554432000 4194304 4196468 140735641582064 140636633904768 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5183] ppid=5172 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5183/stat : 5183 (java) S 5172 5172 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445565547 15514783744 3203205 33554432000 4194304 4196468 140735641582064 140636632853072 140637100177307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5184] ppid=5172 vsize=15151156 memory=1452 CPUtime=2.31 cores=1,3,5,7
/proc/5174/task/5184/stat : 5184 (java) S 5172 5172 32437 0 -1 1077944384 8480 0 0 0 230 1 0 0 20 0 15 0 445565547 15514783744 3203205 33554432000 4194304 4196468 140735641582064 140636631799920 140637100169858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5185] ppid=5172 vsize=15151156 memory=12812816 CPUtime=2.08 cores=1,3,5,7
/proc/5174/task/5185/stat : 5185 (java) S 5172 5172 32437 0 -1 1077944384 5489 0 0 0 208 0 0 0 20 0 15 0 445565547 15514783744 3203205 33554432000 4194304 4196468 140735641582064 140636630747120 140637100169858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5186] ppid=5172 vsize=15151156 memory=8112282956445269571 CPUtime=0.63 cores=1,3,5,7
/proc/5174/task/5186/stat : 5186 (java) S 5172 5172 32437 0 -1 1077944384 7112 0 0 0 62 1 0 0 20 0 15 0 445565547 15514783744 3203205 33554432000 4194304 4196468 140735641582064 140636629694832 140637100169858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5187] ppid=5172 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5187/stat : 5187 (java) S 5172 5172 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445565547 15514783744 3203205 33554432000 4194304 4196468 140735641582064 140636628642272 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5188] ppid=5172 vsize=15151156 memory=12812820 CPUtime=0.15 cores=1,3,5,7
/proc/5174/task/5188/stat : 5188 (java) S 5172 5172 32437 0 -1 1077944384 533 0 0 0 7 8 0 0 20 0 15 0 445565548 15514783744 3203205 33554432000 4194304 4196468 140735641582064 140636627590064 140637100169858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
Current children cumulated CPU time: 787.89 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12814272 KiB
[startup+342.305 s]
/proc/loadavg: 7.52 6.73 6.89 9/230 5293
/proc/meminfo: memFree=3506068/32770624 swapFree=66939908/67108860
[pid=5172] ppid=5169 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5172/stat : 5172 (xcsp3-exec) S 5169 5172 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445565541 115843072 363 33554432000 4194304 5098028 140725076928256 140725076926360 140265079595644 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15794176 140725076931450 140725076931693 140725076931693 140725076934602 0
/proc/5172/statm: 28282 363 304 221 0 87 0
[pid=5174] ppid=5172 vsize=15151156 memory=12812876 CPUtime=1015.55 cores=1,3,5,7
/proc/5174/stat : 5174 (java) S 5172 5172 32437 0 -1 1077944320 219970 0 0 0 100225 1330 0 0 20 0 15 0 445565542 15514783744 3203219 33554432000 4194304 4196468 140735641582064 140735641564608 140637100158711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
/proc/5174/statm: 3787789 3203219 3512 1 0 3748889 0
[pid=5174/tid=5175] ppid=5172 vsize=15151156 memory=12812876 CPUtime=70.5 cores=1,3,5,7
/proc/5174/task/5175/stat : 5175 (java) S 5172 5172 32437 0 -1 1077944384 24441 0 0 0 7036 14 0 0 20 0 15 0 445565542 15514783744 3203219 33554432000 4194304 4196468 140735641582064 140637104396960 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5176] ppid=5172 vsize=15151156 memory=12812876 CPUtime=223.36 cores=1,3,5,7
/proc/5174/task/5176/stat : 5176 (java) R 5172 5172 32437 0 -1 4202560 25143 0 0 0 22006 330 0 0 20 0 15 0 445565543 15514783744 3203219 33554432000 4194304 4196468 140735641582064 140637028199000 140637084856453 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5177] ppid=5172 vsize=15151156 memory=12812868 CPUtime=223.32 cores=1,3,5,7
/proc/5174/task/5177/stat : 5177 (java) R 5172 5172 32437 0 -1 4202560 25156 0 0 0 22024 308 0 0 20 0 15 0 445565543 15514783744 3203219 33554432000 4194304 4196468 140735641582064 140636691229144 140637085109316 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5178] ppid=5172 vsize=15151156 memory=280972601392208 CPUtime=223.05 cores=1,3,5,7
/proc/5174/task/5178/stat : 5178 (java) R 5172 5172 32437 0 -1 4202560 27989 0 0 0 21968 337 0 0 20 0 15 0 445565543 15514783744 3203219 33554432000 4194304 4196468 140735641582064 140636690176856 140637085144007 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5179] ppid=5172 vsize=15151156 memory=0 CPUtime=222.97 cores=1,3,5,7
/proc/5174/task/5179/stat : 5179 (java) R 5172 5172 32437 0 -1 4202560 29509 0 0 0 21971 326 0 0 20 0 15 0 445565543 15514783744 3203219 33554432000 4194304 4196468 140735641582064 140636689123744 140637080185116 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5180] ppid=5172 vsize=15151156 memory=1452 CPUtime=47.05 cores=1,3,5,7
/proc/5174/task/5180/stat : 5180 (java) S 5172 5172 32437 0 -1 1077944384 64688 0 0 0 4701 4 0 0 20 0 15 0 445565544 15514783744 3203219 33554432000 4194304 4196468 140735641582064 140636636009440 140637100168917 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5181] ppid=5172 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5181/stat : 5181 (java) S 5172 5172 32437 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 445565545 15514783744 3203219 33554432000 4194304 4196468 140735641582064 140636634957152 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5182] ppid=5172 vsize=15151156 memory=12812876 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5182/stat : 5182 (java) S 5172 5172 32437 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 445565545 15514783744 3203219 33554432000 4194304 4196468 140735641582064 140636633904768 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5183] ppid=5172 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5183/stat : 5183 (java) S 5172 5172 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445565547 15514783744 3203219 33554432000 4194304 4196468 140735641582064 140636632853072 140637100177307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5184] ppid=5172 vsize=15151156 memory=12812868 CPUtime=2.31 cores=1,3,5,7
/proc/5174/task/5184/stat : 5184 (java) S 5172 5172 32437 0 -1 1077944384 8488 0 0 0 230 1 0 0 20 0 15 0 445565547 15514783744 3203219 33554432000 4194304 4196468 140735641582064 140636631799920 140637100169858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5185] ppid=5172 vsize=15151156 memory=1452 CPUtime=2.08 cores=1,3,5,7
/proc/5174/task/5185/stat : 5185 (java) S 5172 5172 32437 0 -1 1077944384 5497 0 0 0 208 0 0 0 20 0 15 0 445565547 15514783744 3203219 33554432000 4194304 4196468 140735641582064 140636630747120 140637100169858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5186] ppid=5172 vsize=15151156 memory=1452 CPUtime=0.63 cores=1,3,5,7
/proc/5174/task/5186/stat : 5186 (java) S 5172 5172 32437 0 -1 1077944384 7116 0 0 0 62 1 0 0 20 0 15 0 445565547 15514783744 3203219 33554432000 4194304 4196468 140735641582064 140636629694832 140637100169858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5187] ppid=5172 vsize=15151156 memory=12812876 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5187/stat : 5187 (java) S 5172 5172 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445565547 15514783744 3203219 33554432000 4194304 4196468 140735641582064 140636628642272 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5188] ppid=5172 vsize=15151156 memory=12812876 CPUtime=0.18 cores=1,3,5,7
/proc/5174/task/5188/stat : 5188 (java) S 5172 5172 32437 0 -1 1077944384 564 0 0 0 8 10 0 0 20 0 15 0 445565548 15514783744 3203219 33554432000 4194304 4196468 140735641582064 140636627590064 140637100169858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
Current children cumulated CPU time: 1015.55 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12814328 KiB
[startup+402.301 s]
/proc/loadavg: 7.48 6.91 6.95 3/229 5297
/proc/meminfo: memFree=3505348/32770624 swapFree=66939908/67108860
[pid=5172] ppid=5169 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5172/stat : 5172 (xcsp3-exec) S 5169 5172 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445565541 115843072 363 33554432000 4194304 5098028 140725076928256 140725076926360 140265079595644 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15794176 140725076931450 140725076931693 140725076931693 140725076934602 0
/proc/5172/statm: 28282 363 304 221 0 87 0
[pid=5174] ppid=5172 vsize=15151156 memory=12813008 CPUtime=1234.36 cores=1,3,5,7
/proc/5174/stat : 5174 (java) S 5172 5172 32437 0 -1 1077944320 241481 0 0 0 122089 1347 0 0 20 0 15 0 445565542 15514783744 3203252 33554432000 4194304 4196468 140735641582064 140735641564608 140637100158711 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
/proc/5174/statm: 3787789 3203252 3513 1 0 3748889 0
[pid=5174/tid=5175] ppid=5172 vsize=15151156 memory=1452 CPUtime=70.5 cores=1,3,5,7
/proc/5174/task/5175/stat : 5175 (java) S 5172 5172 32437 0 -1 1077944384 24525 0 0 0 7036 14 0 0 20 0 15 0 445565542 15514783744 3203252 33554432000 4194304 4196468 140735641582064 140637104397984 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5176] ppid=5172 vsize=15151156 memory=12813004 CPUtime=276.51 cores=1,3,5,7
/proc/5174/task/5176/stat : 5176 (java) S 5172 5172 32437 0 -1 1077944384 30270 0 0 0 27316 335 0 0 20 0 15 0 445565543 15514783744 3203252 33554432000 4194304 4196468 140735641582064 140637028198800 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5177] ppid=5172 vsize=15151156 memory=12813004 CPUtime=276.49 cores=1,3,5,7
/proc/5174/task/5177/stat : 5177 (java) S 5172 5172 32437 0 -1 1077944384 26432 0 0 0 27338 311 0 0 20 0 15 0 445565543 15514783744 3203252 33554432000 4194304 4196468 140735641582064 140636691228944 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5178] ppid=5172 vsize=15151156 memory=12813004 CPUtime=276.05 cores=1,3,5,7
/proc/5174/task/5178/stat : 5178 (java) S 5172 5172 32437 0 -1 1077944384 29647 0 0 0 27262 343 0 0 20 0 15 0 445565543 15514783744 3203252 33554432000 4194304 4196468 140735641582064 140636690176656 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5179] ppid=5172 vsize=15151156 memory=1452 CPUtime=276.05 cores=1,3,5,7
/proc/5174/task/5179/stat : 5179 (java) S 5172 5172 32437 0 -1 1077944384 31683 0 0 0 27277 328 0 0 20 0 15 0 445565543 15514783744 3203252 33554432000 4194304 4196468 140735641582064 140636689123856 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5180] ppid=5172 vsize=15151156 memory=1452 CPUtime=53.43 cores=1,3,5,7
/proc/5174/task/5180/stat : 5180 (java) R 5172 5172 32437 0 -1 4202560 75825 0 0 0 5338 5 0 0 20 0 15 0 445565544 15514783744 3203252 33554432000 4194304 4196468 140735641582064 140636636009552 140637084616281 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5181] ppid=5172 vsize=15151156 memory=12812992 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5181/stat : 5181 (java) S 5172 5172 32437 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 445565545 15514783744 3203252 33554432000 4194304 4196468 140735641582064 140636634957152 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5182] ppid=5172 vsize=15151156 memory=12812996 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5182/stat : 5182 (java) S 5172 5172 32437 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 15 0 445565545 15514783744 3203252 33554432000 4194304 4196468 140735641582064 140636633904768 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5183] ppid=5172 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5183/stat : 5183 (java) S 5172 5172 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445565547 15514783744 3203252 33554432000 4194304 4196468 140735641582064 140636632853072 140637100177307 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5184] ppid=5172 vsize=15151156 memory=0 CPUtime=2.31 cores=1,3,5,7
/proc/5174/task/5184/stat : 5184 (java) S 5172 5172 32437 0 -1 1077944384 8495 0 0 0 230 1 0 0 20 0 15 0 445565547 15514783744 3203252 33554432000 4194304 4196468 140735641582064 140636631799968 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5185] ppid=5172 vsize=15151156 memory=0 CPUtime=2.08 cores=1,3,5,7
/proc/5174/task/5185/stat : 5185 (java) S 5172 5172 32437 0 -1 1077944384 5503 0 0 0 208 0 0 0 20 0 15 0 445565547 15514783744 3203252 33554432000 4194304 4196468 140735641582064 140636630746880 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5186] ppid=5172 vsize=15151156 memory=12812992 CPUtime=0.63 cores=1,3,5,7
/proc/5174/task/5186/stat : 5186 (java) S 5172 5172 32437 0 -1 1077944384 7126 0 0 0 62 1 0 0 20 0 15 0 445565547 15514783744 3203252 33554432000 4194304 4196468 140735641582064 140636629694880 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5187] ppid=5172 vsize=15151156 memory=1076 CPUtime=0 cores=1,3,5,7
/proc/5174/task/5187/stat : 5187 (java) S 5172 5172 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445565547 15514783744 3203252 33554432000 4194304 4196468 140735641582064 140636628642272 140637100168917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
[pid=5174/tid=5188] ppid=5172 vsize=15151156 memory=1452 CPUtime=0.2 cores=1,3,5,7
/proc/5174/task/5188/stat : 5188 (java) S 5172 5172 32437 0 -1 1077944384 594 0 0 0 10 10 0 0 20 0 15 0 445565548 15514783744 3203252 33554432000 4194304 4196468 140735641582064 140636627590064 140637100169858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19259392 140735641584623 140735641584794 140735641584794 140735641587663 0
Current children cumulated CPU time: 1234.36 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 12814460 KiB
[startup+402.444 s]
# the end of solver process 5172 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1220.97 s, system=13.5287 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+402.43 s]
/proc/loadavg: 7.48 6.91 6.95 3/229 5297
/proc/meminfo: memFree=3505348/32770624 swapFree=66939908/67108860
[pid=5172] ppid=5169 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/5172/stat : 5172 (xcsp3-exec) S 5169 5172 32437 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445565541 115843072 363 33554432000 4194304 5098028 140725076928256 140725076926360 140265079595644 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 15794176 140725076931450 140725076931693 140725076931693 140725076934602 0
/proc/5172/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 1
Real time (s): 402.444
CPU time (s): 1234.5
CPU user time (s): 1220.97
CPU system time (s): 13.5287
CPU usage (%): 306.751
Max. virtual memory (cumulated for all children) (KiB): 15265308
Max. memory (cumulated for all children) (KiB): 12814460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1220.97
system time used= 13.5287
maximum resident set size= 12813220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 242270
page faults= 0
swaps= 0
block input operations= 0
block output operations= 568
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15355
involuntary context switches= 21670
# summary of solver processes directly reported to runsolver:
# pid: 5172
# total CPU time (s): 1234.5
# total CPU user time (s): 1220.97
# total CPU system time (s): 13.5287
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.57672 second user time and 4.29331 second system time
The end