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 (12346 MiB free)
memory of node 1: 16384 MiB (11978 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406051-1569398105/watcher-4406051-1569398105 -o /var/tmp/evaluation-result-4406051-1569398105/solver-4406051-1569398105 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node126-1569396632-21641 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1860271512 HOME/instance-4406051-1569398105.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=22278, runsolver pid=22275
[startup+0.101157 s]*
/proc/loadavg: 1.57 1.44 1.20 6/230 22294
/proc/meminfo: memFree=24893000/32770624 swapFree=66997240/67108860
[pid=22278] ppid=22275 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22278/stat : 22278 (xcsp3-exec) S 22275 22278 21609 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516078256 115843072 364 33554432000 4194304 5098028 140736502843904 140736502842008 140648334537340 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26591232 140736502846294 140736502846553 140736502846553 140736502849478 0
/proc/22278/statm: 28282 364 305 221 0 87 0
[pid=22280] ppid=22278 vsize=15144776 memory=29380 CPUtime=0.13 cores=1,3,5,7
/proc/22280/stat : 22280 (java) S 22278 22278 21609 0 -1 1077944320 5802 0 0 0 12 1 0 0 20 0 15 0 516078256 15508250624 7345 33554432000 4194304 4196468 140720446129664 140720446112208 140020513885943 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
/proc/22280/statm: 3786194 7345 3150 1 0 3748377 0
[pid=22280/tid=22281] ppid=22278 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/22280/task/22281/stat : 22281 (java) R 22278 22278 21609 0 -1 4202560 3715 0 0 0 9 0 0 0 20 0 15 0 516078256 15508250624 7345 33554432000 4194304 4196468 140720446129664 140020518118384 140020513897878 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22282] ppid=22278 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22282/stat : 22282 (java) S 22278 22278 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516078257 15508250624 7345 33554432000 4194304 4196468 140720446129664 140020441926800 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22283] ppid=22278 vsize=15144776 memory=4120992034721101472 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22283/stat : 22283 (java) S 22278 22278 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516078257 15508250624 7345 33554432000 4194304 4196468 140720446129664 140020440874000 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22284] ppid=22278 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22284/stat : 22284 (java) S 22278 22278 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516078257 15508250624 7345 33554432000 4194304 4196468 140720446129664 140020439821200 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22285] ppid=22278 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22285/stat : 22285 (java) S 22278 22278 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516078257 15508250624 7345 33554432000 4194304 4196468 140720446129664 140020438768400 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22286] ppid=22278 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22286/stat : 22286 (java) S 22278 22278 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516078258 15508250624 7345 33554432000 4194304 4196468 140720446129664 140019981887856 140020513897090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22287] ppid=22278 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22287/stat : 22287 (java) S 22278 22278 21609 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516078259 15508250624 7345 33554432000 4194304 4196468 140720446129664 140019980833824 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22288] ppid=22278 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22288/stat : 22288 (java) S 22278 22278 21609 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516078259 15508250624 7345 33554432000 4194304 4196468 140720446129664 140019979780976 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22289] ppid=22278 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22289/stat : 22289 (java) S 22278 22278 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516078262 15508250624 7345 33554432000 4194304 4196468 140720446129664 140019978729296 140020513904539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22290] ppid=22278 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22290/stat : 22290 (java) R 22278 22278 21609 0 -1 1077944384 461 0 0 0 0 0 0 0 20 0 15 0 516078262 15508250624 7345 33554432000 4194304 4196468 140720446129664 140019977677776 140020513896149 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22291] ppid=22278 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22291/stat : 22291 (java) R 22278 22278 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516078262 15508250624 7345 33554432000 4194304 4196468 140720446129664 140019976624880 140020513897090 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22292] ppid=22278 vsize=15144776 memory=139890268305024 CPUtime=0.02 cores=1,3,5,7
/proc/22280/task/22292/stat : 22292 (java) R 22278 22278 21609 0 -1 4202560 319 0 0 0 2 0 0 0 20 0 15 0 516078262 15508250624 7345 33554432000 4194304 4196468 140720446129664 140019975572080 140020513897878 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22293] ppid=22278 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22293/stat : 22293 (java) S 22278 22278 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516078262 15508250624 7345 33554432000 4194304 4196468 140720446129664 140019974519520 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22294] ppid=22278 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22294/stat : 22294 (java) S 22278 22278 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516078262 15508250624 7345 33554432000 4194304 4196468 140720446129664 140019973466800 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30836 KiB
[startup+0.210871 s]*
/proc/loadavg: 1.57 1.44 1.20 4/230 22294
/proc/meminfo: memFree=24879856/32770624 swapFree=66997240/67108860
[pid=22278] ppid=22275 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22278/stat : 22278 (xcsp3-exec) S 22275 22278 21609 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516078256 115843072 364 33554432000 4194304 5098028 140736502843904 140736502842008 140648334537340 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26591232 140736502846294 140736502846553 140736502846553 140736502849478 0
/proc/22278/statm: 28282 364 305 221 0 87 0
[pid=22280] ppid=22278 vsize=15144776 memory=41052 CPUtime=0.35 cores=1,3,5,7
/proc/22280/stat : 22280 (java) S 22278 22278 21609 0 -1 1077944320 9456 0 0 0 32 3 0 0 20 0 15 0 516078256 15508250624 10263 33554432000 4194304 4196468 140720446129664 140720446112208 140020513885943 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
/proc/22280/statm: 3786194 10263 3317 1 0 3748377 0
[pid=22280/tid=22281] ppid=22278 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/22280/task/22281/stat : 22281 (java) R 22278 22278 21609 0 -1 4202560 6613 0 0 0 18 2 0 0 20 0 15 0 516078256 15508250624 10263 33554432000 4194304 4196468 140720446129664 140020518122704 140020499065617 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22282] ppid=22278 vsize=15144776 memory=8998 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22282/stat : 22282 (java) S 22278 22278 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516078257 15508250624 10263 33554432000 4194304 4196468 140720446129664 140020441926800 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22283] ppid=22278 vsize=15144776 memory=139890272184604 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22283/stat : 22283 (java) S 22278 22278 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516078257 15508250624 10263 33554432000 4194304 4196468 140720446129664 140020440874000 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22284] ppid=22278 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22284/stat : 22284 (java) S 22278 22278 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516078257 15508250624 10263 33554432000 4194304 4196468 140720446129664 140020439821200 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22285] ppid=22278 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22285/stat : 22285 (java) S 22278 22278 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516078257 15508250624 10263 33554432000 4194304 4196468 140720446129664 140020438768400 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22286] ppid=22278 vsize=15144776 memory=139890268305024 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22286/stat : 22286 (java) S 22278 22278 21609 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516078258 15508250624 10263 33554432000 4194304 4196468 140720446129664 140019981887856 140020513897090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22287] ppid=22278 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22287/stat : 22287 (java) S 22278 22278 21609 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516078259 15508250624 10263 33554432000 4194304 4196468 140720446129664 140019980833824 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22288] ppid=22278 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22288/stat : 22288 (java) S 22278 22278 21609 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516078259 15508250624 10263 33554432000 4194304 4196468 140720446129664 140019979780976 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22289] ppid=22278 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22289/stat : 22289 (java) S 22278 22278 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516078262 15508250624 10263 33554432000 4194304 4196468 140720446129664 140019978729296 140020513904539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22290] ppid=22278 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22280/task/22290/stat : 22290 (java) S 22278 22278 21609 0 -1 1077944384 546 0 0 0 2 0 0 0 20 0 15 0 516078262 15508250624 10263 33554432000 4194304 4196468 140720446129664 140019977677680 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22291] ppid=22278 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22280/task/22291/stat : 22291 (java) S 22278 22278 21609 0 -1 1077944384 246 0 0 0 2 0 0 0 20 0 15 0 516078262 15508250624 10263 33554432000 4194304 4196468 140720446129664 140019976624880 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22292] ppid=22278 vsize=15144776 memory=139890268305024 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22292/stat : 22292 (java) S 22278 22278 21609 0 -1 1077944384 744 0 0 0 8 0 0 0 20 0 15 0 516078262 15508250624 10263 33554432000 4194304 4196468 140720446129664 140019975572080 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22293] ppid=22278 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22293/stat : 22293 (java) S 22278 22278 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516078262 15508250624 10263 33554432000 4194304 4196468 140720446129664 140019974519520 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22294] ppid=22278 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22294/stat : 22294 (java) S 22278 22278 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516078262 15508250624 10263 33554432000 4194304 4196468 140720446129664 140019973466800 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42508 KiB
[startup+0.319979 s]*
/proc/loadavg: 1.57 1.44 1.20 4/230 22294
/proc/meminfo: memFree=24858928/32770624 swapFree=66997240/67108860
[pid=22278] ppid=22275 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22278/stat : 22278 (xcsp3-exec) S 22275 22278 21609 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516078256 115843072 364 33554432000 4194304 5098028 140736502843904 140736502842008 140648334537340 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26591232 140736502846294 140736502846553 140736502846553 140736502849478 0
/proc/22278/statm: 28282 364 305 221 0 87 0
[pid=22280] ppid=22278 vsize=15149032 memory=49956 CPUtime=0.54 cores=1,3,5,7
/proc/22280/stat : 22280 (java) S 22278 22278 21609 0 -1 1077944320 10900 0 0 0 50 4 0 0 20 0 15 0 516078256 15512608768 12489 33554432000 4194304 4196468 140720446129664 140720446112208 140020513885943 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
/proc/22280/statm: 3787258 12489 3363 1 0 3748377 0
[pid=22280/tid=22281] ppid=22278 vsize=15149032 memory=1398722017469774279 CPUtime=0.31 cores=1,3,5,7
/proc/22280/task/22281/stat : 22281 (java) D 22278 22278 21609 0 -1 4202560 7860 0 0 0 28 3 0 0 20 0 15 0 516078256 15512608768 12489 33554432000 4194304 4196468 140720446129664 140020518125696 140020513907869 0 4 0 16800975 18446744072100592773 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22282] ppid=22278 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22282/stat : 22282 (java) S 22278 22278 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516078257 15512608768 12489 33554432000 4194304 4196468 140720446129664 140020441926800 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22283] ppid=22278 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22283/stat : 22283 (java) S 22278 22278 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516078257 15512608768 12489 33554432000 4194304 4196468 140720446129664 140020440874000 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22284] ppid=22278 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22284/stat : 22284 (java) S 22278 22278 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516078257 15512608768 12489 33554432000 4194304 4196468 140720446129664 140020439821200 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22285] ppid=22278 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22285/stat : 22285 (java) S 22278 22278 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516078257 15512608768 12489 33554432000 4194304 4196468 140720446129664 140020438768400 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22286] ppid=22278 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22286/stat : 22286 (java) S 22278 22278 21609 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516078258 15512608768 12489 33554432000 4194304 4196468 140720446129664 140019981887856 140020513897090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22287] ppid=22278 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22287/stat : 22287 (java) S 22278 22278 21609 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516078259 15512608768 12489 33554432000 4194304 4196468 140720446129664 140019980833824 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22288] ppid=22278 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22288/stat : 22288 (java) S 22278 22278 21609 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516078259 15512608768 12489 33554432000 4194304 4196468 140720446129664 140019979780976 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22289] ppid=22278 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22289/stat : 22289 (java) S 22278 22278 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516078262 15512608768 12489 33554432000 4194304 4196468 140720446129664 140019978729296 140020513904539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22290] ppid=22278 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/22280/task/22290/stat : 22290 (java) S 22278 22278 21609 0 -1 1077944384 655 0 0 0 5 0 0 0 20 0 15 0 516078262 15512608768 12489 33554432000 4194304 4196468 140720446129664 140019977677680 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22291] ppid=22278 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/22280/task/22291/stat : 22291 (java) S 22278 22278 21609 0 -1 1077944384 254 0 0 0 4 0 0 0 20 0 15 0 516078262 15512608768 12489 33554432000 4194304 4196468 140720446129664 140019976624880 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22292] ppid=22278 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/22280/task/22292/stat : 22292 (java) S 22278 22278 21609 0 -1 1077944384 821 0 0 0 12 0 0 0 20 0 15 0 516078262 15512608768 12489 33554432000 4194304 4196468 140720446129664 140019975572080 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22293] ppid=22278 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22293/stat : 22293 (java) S 22278 22278 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516078262 15512608768 12489 33554432000 4194304 4196468 140720446129664 140019974519520 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22294] ppid=22278 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22294/stat : 22294 (java) S 22278 22278 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516078262 15512608768 12489 33554432000 4194304 4196468 140720446129664 140019973466800 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51412 KiB
[startup+0.723356 s]*
/proc/loadavg: 1.57 1.44 1.20 5/230 22294
/proc/meminfo: memFree=24867812/32770624 swapFree=66997240/67108860
[pid=22278] ppid=22275 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22278/stat : 22278 (xcsp3-exec) S 22275 22278 21609 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516078256 115843072 364 33554432000 4194304 5098028 140736502843904 140736502842008 140648334537340 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26591232 140736502846294 140736502846553 140736502846553 140736502849478 0
/proc/22278/statm: 28282 364 305 221 0 87 0
[pid=22280] ppid=22278 vsize=15149108 memory=55040 CPUtime=0.73 cores=1,3,5,7
/proc/22280/stat : 22280 (java) S 22278 22278 21609 0 -1 1077944320 11547 0 0 0 69 4 0 0 20 0 15 0 516078256 15512686592 13760 33554432000 4194304 4196468 140720446129664 140720446112208 140020513885943 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
/proc/22280/statm: 3787277 13760 3410 1 0 3748377 0
[pid=22280/tid=22281] ppid=22278 vsize=15149108 memory=7883960649037381690 CPUtime=0.4 cores=1,3,5,7
/proc/22280/task/22281/stat : 22281 (java) R 22278 22278 21609 0 -1 4202560 8211 0 0 0 37 3 0 0 20 0 15 0 516078256 15512686592 13760 33554432000 4194304 4196468 140720446129664 140020518123168 140020113869344 0 4 0 16800975 0 0 0 -1 1 0 0 31 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22282] ppid=22278 vsize=15149108 memory=9549 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22282/stat : 22282 (java) S 22278 22278 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516078257 15512686592 13760 33554432000 4194304 4196468 140720446129664 140020441926800 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22283] ppid=22278 vsize=15149108 memory=3901354 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22283/stat : 22283 (java) S 22278 22278 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516078257 15512686592 13760 33554432000 4194304 4196468 140720446129664 140020440874000 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22284] ppid=22278 vsize=15149108 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22284/stat : 22284 (java) S 22278 22278 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516078257 15512686592 13760 33554432000 4194304 4196468 140720446129664 140020439821200 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22285] ppid=22278 vsize=15149108 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22285/stat : 22285 (java) S 22278 22278 21609 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516078257 15512686592 13760 33554432000 4194304 4196468 140720446129664 140020438768400 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22286] ppid=22278 vsize=15149108 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22286/stat : 22286 (java) S 22278 22278 21609 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516078258 15512686592 13760 33554432000 4194304 4196468 140720446129664 140019981887856 140020513897090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22287] ppid=22278 vsize=15149108 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22287/stat : 22287 (java) S 22278 22278 21609 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516078259 15512686592 13760 33554432000 4194304 4196468 140720446129664 140019980833824 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22288] ppid=22278 vsize=15149108 memory=139890268305024 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22288/stat : 22288 (java) S 22278 22278 21609 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516078259 15512686592 13760 33554432000 4194304 4196468 140720446129664 140019979780976 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22289] ppid=22278 vsize=15149108 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22289/stat : 22289 (java) S 22278 22278 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516078262 15512686592 13760 33554432000 4194304 4196468 140720446129664 140019978729296 140020513904539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22290] ppid=22278 vsize=15149108 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/22280/task/22290/stat : 22290 (java) S 22278 22278 21609 0 -1 1077944384 680 0 0 0 7 0 0 0 20 0 15 0 516078262 15512686592 13760 33554432000 4194304 4196468 140720446129664 140019977677680 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22291] ppid=22278 vsize=15149108 memory=-1 CPUtime=0.05 cores=1,3,5,7
/proc/22280/task/22291/stat : 22291 (java) S 22278 22278 21609 0 -1 1077944384 299 0 0 0 5 0 0 0 20 0 15 0 516078262 15512686592 13760 33554432000 4194304 4196468 140720446129664 140019976624880 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22292] ppid=22278 vsize=15149108 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/22280/task/22292/stat : 22292 (java) R 22278 22278 21609 0 -1 4202560 1048 0 0 0 19 0 0 0 20 0 15 0 516078262 15512686592 13760 33554432000 4194304 4196468 140720446129664 140019975572080 140020497966430 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22293] ppid=22278 vsize=15149108 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22293/stat : 22293 (java) S 22278 22278 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516078262 15512686592 13760 33554432000 4194304 4196468 140720446129664 140019974519520 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22294] ppid=22278 vsize=15149108 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22294/stat : 22294 (java) S 22278 22278 21609 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516078262 15512686592 13760 33554432000 4194304 4196468 140720446129664 140019973466800 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
Current children cumulated CPU time: 0.73 s
Current children cumulated vsize: 15262236 KiB
Current children cumulated memory: 56496 KiB
[startup+1.5008 s]
/proc/loadavg: 1.57 1.44 1.20 5/230 22294
/proc/meminfo: memFree=24832496/32770624 swapFree=66997240/67108860
[pid=22278] ppid=22275 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22278/stat : 22278 (xcsp3-exec) S 22275 22278 21609 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516078256 115843072 364 33554432000 4194304 5098028 140736502843904 140736502842008 140648334537340 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26591232 140736502846294 140736502846553 140736502846553 140736502849478 0
/proc/22278/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/22278/stat : 22278 (xcsp3-exec) S 22275 22278 21609 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516078256 115843072 364 33554432000 4194304 5098028 140736502843904 140736502842008 140648334537340 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26591232 140736502846294 140736502846553 140736502846553 140736502849478 0
/proc/22278/statm: 28282 364 305 221 0 87 0
[pid=22280] ppid=22278 vsize=15151156 memory=188604 CPUtime=284.55 cores=1,3,5,7
/proc/22280/stat : 22280 (java) S 22278 22278 21609 0 -1 1077944320 54268 0 0 0 28432 23 0 0 20 0 15 0 516078256 15514783744 47151 33554432000 4194304 4196468 140720446129664 140720446112208 140020513885943 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
/proc/22280/statm: 3787789 47151 3500 1 0 3748889 0
[pid=22280/tid=22281] ppid=22278 vsize=15151156 memory=6791534058613427641 CPUtime=280 cores=1,3,5,7
/proc/22280/task/22281/stat : 22281 (java) R 22278 22278 21609 0 -1 4202560 13867 0 0 0 27994 6 0 0 20 0 15 0 516078256 15514783744 47151 33554432000 4194304 4196468 140720446129664 140020518125440 140020117032612 0 4 0 16800975 0 0 0 -1 5 0 0 31 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22282] ppid=22278 vsize=15151156 memory=188604 CPUtime=0.27 cores=1,3,5,7
/proc/22280/task/22282/stat : 22282 (java) S 22278 22278 21609 0 -1 1077944384 2445 0 0 0 25 2 0 0 20 0 15 0 516078257 15514783744 47151 33554432000 4194304 4196468 140720446129664 140020441926800 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22283] ppid=22278 vsize=15151156 memory=984 CPUtime=0.28 cores=1,3,5,7
/proc/22280/task/22283/stat : 22283 (java) S 22278 22278 21609 0 -1 1077944384 1785 0 0 0 26 2 0 0 20 0 15 0 516078257 15514783744 47151 33554432000 4194304 4196468 140720446129664 140020440874000 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22284] ppid=22278 vsize=15151156 memory=2004 CPUtime=0.28 cores=1,3,5,7
/proc/22280/task/22284/stat : 22284 (java) S 22278 22278 21609 0 -1 1077944384 751 0 0 0 26 2 0 0 20 0 15 0 516078257 15514783744 47151 33554432000 4194304 4196468 140720446129664 140020439821200 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22285] ppid=22278 vsize=15151156 memory=1432 CPUtime=0.28 cores=1,3,5,7
/proc/22280/task/22285/stat : 22285 (java) S 22278 22278 21609 0 -1 1077944384 671 0 0 0 26 2 0 0 20 0 15 0 516078257 15514783744 47151 33554432000 4194304 4196468 140720446129664 140020438768400 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22286] ppid=22278 vsize=15151156 memory=1060 CPUtime=0.31 cores=1,3,5,7
/proc/22280/task/22286/stat : 22286 (java) S 22278 22278 21609 0 -1 1077944384 2209 0 0 0 29 2 0 0 20 0 15 0 516078258 15514783744 47151 33554432000 4194304 4196468 140720446129664 140019981887856 140020513897090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22287] ppid=22278 vsize=15151156 memory=740 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22287/stat : 22287 (java) S 22278 22278 21609 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 516078259 15514783744 47151 33554432000 4194304 4196468 140720446129664 140019980833888 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22288] ppid=22278 vsize=15151156 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22288/stat : 22288 (java) S 22278 22278 21609 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 516078259 15514783744 47151 33554432000 4194304 4196468 140720446129664 140019979780992 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22289] ppid=22278 vsize=15151156 memory=9564 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22289/stat : 22289 (java) S 22278 22278 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516078262 15514783744 47151 33554432000 4194304 4196468 140720446129664 140019978729296 140020513904539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22290] ppid=22278 vsize=15151156 memory=4076 CPUtime=1.19 cores=1,3,5,7
/proc/22280/task/22290/stat : 22290 (java) S 22278 22278 21609 0 -1 1077944384 11044 0 0 0 118 1 0 0 20 0 15 0 516078262 15514783744 47151 33554432000 4194304 4196468 140720446129664 140019977677680 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22291] ppid=22278 vsize=15151156 memory=2836 CPUtime=1.24 cores=1,3,5,7
/proc/22280/task/22291/stat : 22291 (java) S 22278 22278 21609 0 -1 1077944384 12272 0 0 0 123 1 0 0 20 0 15 0 516078262 15514783744 47151 33554432000 4194304 4196468 140720446129664 140019976624880 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22292] ppid=22278 vsize=15151156 memory=1540 CPUtime=0.54 cores=1,3,5,7
/proc/22280/task/22292/stat : 22292 (java) S 22278 22278 21609 0 -1 1077944384 6762 0 0 0 53 1 0 0 20 0 15 0 516078262 15514783744 47151 33554432000 4194304 4196468 140720446129664 140019975572080 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22293] ppid=22278 vsize=15151156 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22293/stat : 22293 (java) S 22278 22278 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516078262 15514783744 47151 33554432000 4194304 4196468 140720446129664 140019974519520 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22294] ppid=22278 vsize=15151156 memory=6140 CPUtime=0.07 cores=1,3,5,7
/proc/22280/task/22294/stat : 22294 (java) S 22278 22278 21609 0 -1 1077944384 1058 0 0 0 3 4 0 0 20 0 15 0 516078262 15514783744 47151 33554432000 4194304 4196468 140720446129664 140019973466800 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
Current children cumulated CPU time: 284.55 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 190060 KiB
[startup+281.901 s]
/proc/loadavg: 1.58 1.49 1.28 3/230 22318
/proc/meminfo: memFree=24668712/32770624 swapFree=66997244/67108860
[pid=22278] ppid=22275 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22278/stat : 22278 (xcsp3-exec) S 22275 22278 21609 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516078256 115843072 364 33554432000 4194304 5098028 140736502843904 140736502842008 140648334537340 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26591232 140736502846294 140736502846553 140736502846553 140736502849478 0
/proc/22278/statm: 28282 364 305 221 0 87 0
[pid=22280] ppid=22278 vsize=15151156 memory=188604 CPUtime=285.35 cores=1,3,5,7
/proc/22280/stat : 22280 (java) S 22278 22278 21609 0 -1 1077944320 54268 0 0 0 28512 23 0 0 20 0 15 0 516078256 15514783744 47151 33554432000 4194304 4196468 140720446129664 140720446112208 140020513885943 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
/proc/22280/statm: 3787789 47151 3500 1 0 3748889 0
[pid=22280/tid=22281] ppid=22278 vsize=15151156 memory=1456 CPUtime=280.8 cores=1,3,5,7
/proc/22280/task/22281/stat : 22281 (java) R 22278 22278 21609 0 -1 4202560 13867 0 0 0 28074 6 0 0 20 0 15 0 516078256 15514783744 47151 33554432000 4194304 4196468 140720446129664 140020518125328 140020116349127 0 4 0 16800975 0 0 0 -1 5 0 0 31 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22282] ppid=22278 vsize=15151156 memory=188236 CPUtime=0.27 cores=1,3,5,7
/proc/22280/task/22282/stat : 22282 (java) S 22278 22278 21609 0 -1 1077944384 2445 0 0 0 25 2 0 0 20 0 15 0 516078257 15514783744 47151 33554432000 4194304 4196468 140720446129664 140020441926800 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22283] ppid=22278 vsize=15151156 memory=3620 CPUtime=0.28 cores=1,3,5,7
/proc/22280/task/22283/stat : 22283 (java) S 22278 22278 21609 0 -1 1077944384 1785 0 0 0 26 2 0 0 20 0 15 0 516078257 15514783744 47151 33554432000 4194304 4196468 140720446129664 140020440874000 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22284] ppid=22278 vsize=15151156 memory=58004 CPUtime=0.28 cores=1,3,5,7
/proc/22280/task/22284/stat : 22284 (java) S 22278 22278 21609 0 -1 1077944384 751 0 0 0 26 2 0 0 20 0 15 0 516078257 15514783744 47151 33554432000 4194304 4196468 140720446129664 140020439821200 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22285] ppid=22278 vsize=15151156 memory=984 CPUtime=0.28 cores=1,3,5,7
/proc/22280/task/22285/stat : 22285 (java) S 22278 22278 21609 0 -1 1077944384 671 0 0 0 26 2 0 0 20 0 15 0 516078257 15514783744 47151 33554432000 4194304 4196468 140720446129664 140020438768400 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22286] ppid=22278 vsize=15151156 memory=2004 CPUtime=0.31 cores=1,3,5,7
/proc/22280/task/22286/stat : 22286 (java) S 22278 22278 21609 0 -1 1077944384 2209 0 0 0 29 2 0 0 20 0 15 0 516078258 15514783744 47151 33554432000 4194304 4196468 140720446129664 140019981887856 140020513897090 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22287] ppid=22278 vsize=15151156 memory=1432 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22287/stat : 22287 (java) S 22278 22278 21609 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 516078259 15514783744 47151 33554432000 4194304 4196468 140720446129664 140019980833888 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22288] ppid=22278 vsize=15151156 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22288/stat : 22288 (java) S 22278 22278 21609 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 516078259 15514783744 47151 33554432000 4194304 4196468 140720446129664 140019979780992 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22289] ppid=22278 vsize=15151156 memory=56 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22289/stat : 22289 (java) S 22278 22278 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516078262 15514783744 47151 33554432000 4194304 4196468 140720446129664 140019978729296 140020513904539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22290] ppid=22278 vsize=15151156 memory=6877961337776518561 CPUtime=1.19 cores=1,3,5,7
/proc/22280/task/22290/stat : 22290 (java) S 22278 22278 21609 0 -1 1077944384 11044 0 0 0 118 1 0 0 20 0 15 0 516078262 15514783744 47151 33554432000 4194304 4196468 140720446129664 140019977677680 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22291] ppid=22278 vsize=15151156 memory=9204 CPUtime=1.24 cores=1,3,5,7
/proc/22280/task/22291/stat : 22291 (java) S 22278 22278 21609 0 -1 1077944384 12272 0 0 0 123 1 0 0 20 0 15 0 516078262 15514783744 47151 33554432000 4194304 4196468 140720446129664 140019976624880 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22292] ppid=22278 vsize=15151156 memory=6791534058613427641 CPUtime=0.54 cores=1,3,5,7
/proc/22280/task/22292/stat : 22292 (java) S 22278 22278 21609 0 -1 1077944384 6762 0 0 0 53 1 0 0 20 0 15 0 516078262 15514783744 47151 33554432000 4194304 4196468 140720446129664 140019975572080 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22293] ppid=22278 vsize=15151156 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22293/stat : 22293 (java) S 22278 22278 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516078262 15514783744 47151 33554432000 4194304 4196468 140720446129664 140019974519520 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22294] ppid=22278 vsize=15151156 memory=1456 CPUtime=0.07 cores=1,3,5,7
/proc/22280/task/22294/stat : 22294 (java) S 22278 22278 21609 0 -1 1077944384 1058 0 0 0 3 4 0 0 20 0 15 0 516078262 15514783744 47151 33554432000 4194304 4196468 140720446129664 140019973466800 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
Current children cumulated CPU time: 285.35 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 190060 KiB
[startup+282.101 s]
/proc/loadavg: 1.58 1.49 1.28 3/230 22318
/proc/meminfo: memFree=24668712/32770624 swapFree=66997244/67108860
[pid=22278] ppid=22275 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22278/stat : 22278 (xcsp3-exec) S 22275 22278 21609 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516078256 115843072 364 33554432000 4194304 5098028 140736502843904 140736502842008 140648334537340 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26591232 140736502846294 140736502846553 140736502846553 140736502849478 0
/proc/22278/statm: 28282 364 305 221 0 87 0
[pid=22280] ppid=22278 vsize=15151156 memory=190652 CPUtime=285.56 cores=1,3,5,7
/proc/22280/stat : 22280 (java) S 22278 22278 21609 0 -1 1077944320 54296 0 0 0 28532 24 0 0 20 0 15 0 516078256 15514783744 47663 33554432000 4194304 4196468 140720446129664 140720446112208 140020513885943 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
/proc/22280/statm: 3787789 47663 3500 1 0 3748889 0
[pid=22280/tid=22281] ppid=22278 vsize=15151156 memory=4076 CPUtime=280.99 cores=1,3,5,7
/proc/22280/task/22281/stat : 22281 (java) S 22278 22278 21609 0 -1 1077944384 13885 0 0 0 28093 6 0 0 20 0 15 0 516078256 15514783744 47663 33554432000 4194304 4196468 140720446129664 140020518125552 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 31 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22282] ppid=22278 vsize=15151156 memory=2836 CPUtime=0.28 cores=1,3,5,7
/proc/22280/task/22282/stat : 22282 (java) R 22278 22278 21609 0 -1 1077944384 2445 0 0 0 26 2 0 0 20 0 15 0 516078257 15514783744 47663 33554432000 4194304 4196468 140720446129664 140020441926800 140020513896149 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22283] ppid=22278 vsize=15151156 memory=1540 CPUtime=0.28 cores=1,3,5,7
/proc/22280/task/22283/stat : 22283 (java) R 22278 22278 21609 0 -1 4202560 1789 0 0 0 26 2 0 0 20 0 15 0 516078257 15514783744 47663 33554432000 4194304 4196468 140720446129664 140020440874000 140020493080356 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22284] ppid=22278 vsize=15151156 memory=3620 CPUtime=0.28 cores=1,3,5,7
/proc/22280/task/22284/stat : 22284 (java) R 22278 22278 21609 0 -1 4202560 751 0 0 0 26 2 0 0 20 0 15 0 516078257 15514783744 47663 33554432000 4194304 4196468 140720446129664 140020439821200 140020513897878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22285] ppid=22278 vsize=15151156 memory=58004 CPUtime=0.28 cores=1,3,5,7
/proc/22280/task/22285/stat : 22285 (java) R 22278 22278 21609 0 -1 4202560 673 0 0 0 26 2 0 0 20 0 15 0 516078257 15514783744 47663 33554432000 4194304 4196468 140720446129664 140020438768400 140020493080973 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22286] ppid=22278 vsize=15151156 memory=1456 CPUtime=0.32 cores=1,3,5,7
/proc/22280/task/22286/stat : 22286 (java) S 22278 22278 21609 0 -1 1077944384 2214 0 0 0 30 2 0 0 20 0 15 0 516078258 15514783744 47663 33554432000 4194304 4196468 140720446129664 140019981886368 140020513896149 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22287] ppid=22278 vsize=15151156 memory=188604 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22287/stat : 22287 (java) S 22278 22278 21609 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 516078259 15514783744 47663 33554432000 4194304 4196468 140720446129664 140019980833888 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22288] ppid=22278 vsize=15151156 memory=6140 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22288/stat : 22288 (java) S 22278 22278 21609 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 516078259 15514783744 47663 33554432000 4194304 4196468 140720446129664 140019979780992 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22289] ppid=22278 vsize=15151156 memory=772 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22289/stat : 22289 (java) S 22278 22278 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516078262 15514783744 47663 33554432000 4194304 4196468 140720446129664 140019978729296 140020513904539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22290] ppid=22278 vsize=15151156 memory=952 CPUtime=1.19 cores=1,3,5,7
/proc/22280/task/22290/stat : 22290 (java) S 22278 22278 21609 0 -1 1077944384 11044 0 0 0 118 1 0 0 20 0 15 0 516078262 15514783744 47663 33554432000 4194304 4196468 140720446129664 140019977677680 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22291] ppid=22278 vsize=15151156 memory=14008 CPUtime=1.24 cores=1,3,5,7
/proc/22280/task/22291/stat : 22291 (java) S 22278 22278 21609 0 -1 1077944384 12272 0 0 0 123 1 0 0 20 0 15 0 516078262 15514783744 47663 33554432000 4194304 4196468 140720446129664 140019976624880 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22292] ppid=22278 vsize=15151156 memory=30200 CPUtime=0.54 cores=1,3,5,7
/proc/22280/task/22292/stat : 22292 (java) S 22278 22278 21609 0 -1 1077944384 6762 0 0 0 53 1 0 0 20 0 15 0 516078262 15514783744 47663 33554432000 4194304 4196468 140720446129664 140019975572080 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22293] ppid=22278 vsize=15151156 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22293/stat : 22293 (java) S 22278 22278 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516078262 15514783744 47663 33554432000 4194304 4196468 140720446129664 140019974519520 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22294] ppid=22278 vsize=15151156 memory=12028 CPUtime=0.07 cores=1,3,5,7
/proc/22280/task/22294/stat : 22294 (java) S 22278 22278 21609 0 -1 1077944384 1058 0 0 0 3 4 0 0 20 0 15 0 516078262 15514783744 47663 33554432000 4194304 4196468 140720446129664 140019973466800 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
Current children cumulated CPU time: 285.56 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 192108 KiB
[startup+282.201 s]
/proc/loadavg: 1.58 1.49 1.28 3/230 22318
/proc/meminfo: memFree=24668712/32770624 swapFree=66997244/67108860
[pid=22278] ppid=22275 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22278/stat : 22278 (xcsp3-exec) S 22275 22278 21609 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516078256 115843072 364 33554432000 4194304 5098028 140736502843904 140736502842008 140648334537340 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 26591232 140736502846294 140736502846553 140736502846553 140736502849478 0
/proc/22278/statm: 28282 364 305 221 0 87 0
[pid=22280] ppid=22278 vsize=15151156 memory=190652 CPUtime=285.66 cores=1,3,5,7
/proc/22280/stat : 22280 (java) S 22278 22278 21609 0 -1 1077944320 54299 0 0 0 28542 24 0 0 20 0 15 0 516078256 15514783744 47663 33554432000 4194304 4196468 140720446129664 140720446112208 140020513885943 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
/proc/22280/statm: 3787789 47663 3500 1 0 3748889 0
[pid=22280/tid=22281] ppid=22278 vsize=15151156 memory=1456 CPUtime=281.09 cores=1,3,5,7
/proc/22280/task/22281/stat : 22281 (java) R 22278 22278 21609 0 -1 4202560 13887 0 0 0 28103 6 0 0 20 0 15 0 516078256 15514783744 47663 33554432000 4194304 4196468 140720446129664 140020518125440 140020116463513 0 4 0 16800975 0 0 0 -1 7 0 0 31 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22282] ppid=22278 vsize=15151156 memory=496 CPUtime=0.28 cores=1,3,5,7
/proc/22280/task/22282/stat : 22282 (java) S 22278 22278 21609 0 -1 1077944384 2445 0 0 0 26 2 0 0 20 0 15 0 516078257 15514783744 47663 33554432000 4194304 4196468 140720446129664 140020441926800 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22283] ppid=22278 vsize=15151156 memory=188604 CPUtime=0.28 cores=1,3,5,7
/proc/22280/task/22283/stat : 22283 (java) S 22278 22278 21609 0 -1 1077944384 1789 0 0 0 26 2 0 0 20 0 15 0 516078257 15514783744 47663 33554432000 4194304 4196468 140720446129664 140020440874000 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22284] ppid=22278 vsize=15151156 memory=1456 CPUtime=0.28 cores=1,3,5,7
/proc/22280/task/22284/stat : 22284 (java) S 22278 22278 21609 0 -1 1077944384 751 0 0 0 26 2 0 0 20 0 15 0 516078257 15514783744 47663 33554432000 4194304 4196468 140720446129664 140020439821200 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22285] ppid=22278 vsize=15151156 memory=1456 CPUtime=0.28 cores=1,3,5,7
/proc/22280/task/22285/stat : 22285 (java) S 22278 22278 21609 0 -1 1077944384 673 0 0 0 26 2 0 0 20 0 15 0 516078257 15514783744 47663 33554432000 4194304 4196468 140720446129664 140020438768400 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22286] ppid=22278 vsize=15151156 memory=6791534058613427641 CPUtime=0.32 cores=1,3,5,7
/proc/22280/task/22286/stat : 22286 (java) S 22278 22278 21609 0 -1 1077944384 2214 0 0 0 30 2 0 0 20 0 15 0 516078258 15514783744 47663 33554432000 4194304 4196468 140720446129664 140019981887856 140020513897090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22287] ppid=22278 vsize=15151156 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22287/stat : 22287 (java) S 22278 22278 21609 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 516078259 15514783744 47663 33554432000 4194304 4196468 140720446129664 140019980833888 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22288] ppid=22278 vsize=15151156 memory=188604 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22288/stat : 22288 (java) S 22278 22278 21609 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 516078259 15514783744 47663 33554432000 4194304 4196468 140720446129664 140019979780992 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22289] ppid=22278 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22289/stat : 22289 (java) S 22278 22278 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516078262 15514783744 47663 33554432000 4194304 4196468 140720446129664 140019978729296 140020513904539 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22290] ppid=22278 vsize=15151156 memory=188604 CPUtime=1.19 cores=1,3,5,7
/proc/22280/task/22290/stat : 22290 (java) S 22278 22278 21609 0 -1 1077944384 11044 0 0 0 118 1 0 0 20 0 15 0 516078262 15514783744 47663 33554432000 4194304 4196468 140720446129664 140019977677680 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22291] ppid=22278 vsize=15151156 memory=1456 CPUtime=1.24 cores=1,3,5,7
/proc/22280/task/22291/stat : 22291 (java) S 22278 22278 21609 0 -1 1077944384 12272 0 0 0 123 1 0 0 20 0 15 0 516078262 15514783744 47663 33554432000 4194304 4196468 140720446129664 140019976624880 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22292] ppid=22278 vsize=15151156 memory=1456 CPUtime=0.54 cores=1,3,5,7
/proc/22280/task/22292/stat : 22292 (java) S 22278 22278 21609 0 -1 1077944384 6762 0 0 0 53 1 0 0 20 0 15 0 516078262 15514783744 47663 33554432000 4194304 4196468 140720446129664 140019975572080 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22293] ppid=22278 vsize=15151156 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22280/task/22293/stat : 22293 (java) S 22278 22278 21609 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516078262 15514783744 47663 33554432000 4194304 4196468 140720446129664 140019974519520 140020513896149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
[pid=22280/tid=22294] ppid=22278 vsize=15151156 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/22280/task/22294/stat : 22294 (java) S 22278 22278 21609 0 -1 1077944384 1058 0 0 0 3 4 0 0 20 0 15 0 516078262 15514783744 47663 33554432000 4194304 4196468 140720446129664 140019973466800 140020513897090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22380544 140720446137307 140720446137482 140720446137482 140720446140367 0
Current children cumulated CPU time: 285.66 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 192108 KiB
Child status: 0
Real time (s): 282.222
CPU time (s): 285.693
CPU user time (s): 285.444
CPU system time (s): 0.249149
CPU usage (%): 101.23
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 208504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 285.444
system time used= 0.249149
maximum resident set size= 207048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55622
page faults= 0
swaps= 0
block input operations= 0
block output operations= 704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16741
involuntary context switches= 463
# summary of solver processes directly reported to runsolver:
# pid: 22278
# total CPU time (s): 285.693
# total CPU user time (s): 285.444
# total CPU system time (s): 0.249149
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.68936 second user time and 2.67653 second system time
The end