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 (8487 MiB free)
memory of node 1: 16384 MiB (6275 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403797-1568991535/watcher-4403797-1568991535 -o /var/tmp/evaluation-result-4403797-1568991535/solver-4403797-1568991535 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1568983381-1916 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2054674555 HOME/instance-4403797-1568991535.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
solver pid=7352, runsolver pid=7349
Current StackSize limit: 8192 KiB
[startup+0.100227 s]*
/proc/loadavg: 8.68 8.47 8.20 7/232 7368
/proc/meminfo: memFree=15099496/32770624 swapFree=66952592/67108860
[pid=7352] ppid=7349 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7352/stat : 7352 (xcsp3-exec) S 7349 7352 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475409061 115843072 363 33554432000 4194304 5098028 140737321665104 140737321663208 140574321775228 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32256000 140737321669462 140737321669721 140737321669721 140737321672646 0
/proc/7352/statm: 28282 363 304 221 0 87 0
[pid=7354] ppid=7352 vsize=15144776 memory=29208 CPUtime=0.1 cores=1,3,5,7
/proc/7354/stat : 7354 (java) S 7352 7352 1883 0 -1 1077944320 5274 0 0 0 9 1 0 0 20 0 15 0 475409061 15508250624 7302 33554432000 4194304 4196468 140736481449920 140736481432464 140316542390007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
/proc/7354/statm: 3786194 7302 3093 1 0 3748377 0
[pid=7354/tid=7355] ppid=7352 vsize=15144776 memory=-2698087569006908830 CPUtime=0.07 cores=1,3,5,7
/proc/7354/task/7355/stat : 7355 (java) R 7352 7352 1883 0 -1 4202560 3327 0 0 0 7 0 0 0 20 0 15 0 475409061 15508250624 7302 33554432000 4194304 4196468 140736481449920 140316546625872 140316542411933 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7356] ppid=7352 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7356/stat : 7356 (java) S 7352 7352 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409062 15508250624 7302 33554432000 4194304 4196468 140736481449920 140316454046608 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7357] ppid=7352 vsize=15144776 memory=139818504279680 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7357/stat : 7357 (java) S 7352 7352 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409062 15508250624 7302 33554432000 4194304 4196468 140736481449920 140316452993808 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7358] ppid=7352 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7358/stat : 7358 (java) S 7352 7352 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409062 15508250624 7302 33554432000 4194304 4196468 140736481449920 140316451941520 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7359] ppid=7352 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7359/stat : 7359 (java) S 7352 7352 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475409062 15508250624 7302 33554432000 4194304 4196468 140736481449920 140316450888720 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7360] ppid=7352 vsize=15144776 memory=139818504279680 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7360/stat : 7360 (java) S 7352 7352 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475409063 15508250624 7302 33554432000 4194304 4196468 140736481449920 140316011145328 140316542401154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7361] ppid=7352 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7361/stat : 7361 (java) S 7352 7352 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475409064 15508250624 7302 33554432000 4194304 4196468 140736481449920 140316010091296 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7362] ppid=7352 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7362/stat : 7362 (java) S 7352 7352 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475409064 15508250624 7302 33554432000 4194304 4196468 140736481449920 140316009038960 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7363] ppid=7352 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7363/stat : 7363 (java) S 7352 7352 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409066 15508250624 7302 33554432000 4194304 4196468 140736481449920 140316007987280 140316542408603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7364] ppid=7352 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7364/stat : 7364 (java) S 7352 7352 1883 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 475409068 15508250624 7302 33554432000 4194304 4196468 140736481449920 140316006935152 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7365] ppid=7352 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7365/stat : 7365 (java) S 7352 7352 1883 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 475409068 15508250624 7302 33554432000 4194304 4196468 140736481449920 140316005882352 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7366] ppid=7352 vsize=15144776 memory=139818504279680 CPUtime=0.01 cores=1,3,5,7
/proc/7354/task/7366/stat : 7366 (java) S 7352 7352 1883 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 15 0 475409068 15508250624 7302 33554432000 4194304 4196468 140736481449920 140316004830064 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7367] ppid=7352 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7367/stat : 7367 (java) S 7352 7352 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409068 15508250624 7302 33554432000 4194304 4196468 140736481449920 140316003777504 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7368] ppid=7352 vsize=15144776 memory=139818504279680 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7368/stat : 7368 (java) S 7352 7352 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409068 15508250624 7302 33554432000 4194304 4196468 140736481449920 140316002724272 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30660 KiB
[startup+0.210667 s]*
/proc/loadavg: 8.68 8.47 8.20 6/232 7368
/proc/meminfo: memFree=15086752/32770624 swapFree=66952592/67108860
[pid=7352] ppid=7349 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7352/stat : 7352 (xcsp3-exec) S 7349 7352 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475409061 115843072 363 33554432000 4194304 5098028 140737321665104 140737321663208 140574321775228 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32256000 140737321669462 140737321669721 140737321669721 140737321672646 0
/proc/7352/statm: 28282 363 304 221 0 87 0
[pid=7354] ppid=7352 vsize=15144776 memory=41136 CPUtime=0.31 cores=1,3,5,7
/proc/7354/stat : 7354 (java) S 7352 7352 1883 0 -1 1077944320 8961 0 0 0 29 2 0 0 20 0 15 0 475409061 15508250624 10284 33554432000 4194304 4196468 140736481449920 140736481432464 140316542390007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
/proc/7354/statm: 3786194 10284 3290 1 0 3748377 0
[pid=7354/tid=7355] ppid=7352 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/7354/task/7355/stat : 7355 (java) R 7352 7352 1883 0 -1 4202560 6133 0 0 0 17 2 0 0 20 0 15 0 475409061 15508250624 10284 33554432000 4194304 4196468 140736481449920 140316546619280 140316542411933 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7356] ppid=7352 vsize=15144776 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7356/stat : 7356 (java) S 7352 7352 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409062 15508250624 10284 33554432000 4194304 4196468 140736481449920 140316454046608 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7357] ppid=7352 vsize=15144776 memory=3472749615492355744 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7357/stat : 7357 (java) S 7352 7352 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409062 15508250624 10284 33554432000 4194304 4196468 140736481449920 140316452993808 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7358] ppid=7352 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7358/stat : 7358 (java) S 7352 7352 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409062 15508250624 10284 33554432000 4194304 4196468 140736481449920 140316451941520 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7359] ppid=7352 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7359/stat : 7359 (java) S 7352 7352 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475409062 15508250624 10284 33554432000 4194304 4196468 140736481449920 140316450888720 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7360] ppid=7352 vsize=15144776 memory=139818504279680 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7360/stat : 7360 (java) S 7352 7352 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475409063 15508250624 10284 33554432000 4194304 4196468 140736481449920 140316011145328 140316542401154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7361] ppid=7352 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7361/stat : 7361 (java) S 7352 7352 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475409064 15508250624 10284 33554432000 4194304 4196468 140736481449920 140316010091296 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7362] ppid=7352 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7362/stat : 7362 (java) S 7352 7352 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475409064 15508250624 10284 33554432000 4194304 4196468 140736481449920 140316009038960 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7363] ppid=7352 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7363/stat : 7363 (java) S 7352 7352 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409066 15508250624 10284 33554432000 4194304 4196468 140736481449920 140316007987280 140316542408603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7364] ppid=7352 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7354/task/7364/stat : 7364 (java) S 7352 7352 1883 0 -1 1077944384 627 0 0 0 3 0 0 0 20 0 15 0 475409068 15508250624 10284 33554432000 4194304 4196468 140736481449920 140316006935152 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7365] ppid=7352 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/7354/task/7365/stat : 7365 (java) S 7352 7352 1883 0 -1 1077944384 167 0 0 0 1 0 0 0 20 0 15 0 475409068 15508250624 10284 33554432000 4194304 4196468 140736481449920 140316005882352 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7366] ppid=7352 vsize=15144776 memory=139818504279680 CPUtime=0.07 cores=1,3,5,7
/proc/7354/task/7366/stat : 7366 (java) S 7352 7352 1883 0 -1 1077944384 731 0 0 0 7 0 0 0 20 0 15 0 475409068 15508250624 10284 33554432000 4194304 4196468 140736481449920 140316004830064 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7367] ppid=7352 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7367/stat : 7367 (java) S 7352 7352 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409068 15508250624 10284 33554432000 4194304 4196468 140736481449920 140316003777504 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7368] ppid=7352 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7368/stat : 7368 (java) S 7352 7352 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409068 15508250624 10284 33554432000 4194304 4196468 140736481449920 140316002724272 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42588 KiB
[startup+0.31064 s]*
/proc/loadavg: 8.68 8.47 8.20 6/232 7368
/proc/meminfo: memFree=15082748/32770624 swapFree=66952592/67108860
[pid=7352] ppid=7349 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7352/stat : 7352 (xcsp3-exec) S 7349 7352 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475409061 115843072 363 33554432000 4194304 5098028 140737321665104 140737321663208 140574321775228 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32256000 140737321669462 140737321669721 140737321669721 140737321672646 0
/proc/7352/statm: 28282 363 304 221 0 87 0
[pid=7354] ppid=7352 vsize=15149032 memory=48964 CPUtime=0.5 cores=1,3,5,7
/proc/7354/stat : 7354 (java) S 7352 7352 1883 0 -1 1077944320 10078 0 0 0 46 4 0 0 20 0 15 0 475409061 15512608768 12241 33554432000 4194304 4196468 140736481449920 140736481432464 140316542390007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
/proc/7354/statm: 3787258 12241 3322 1 0 3748377 0
[pid=7354/tid=7355] ppid=7352 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/7354/task/7355/stat : 7355 (java) R 7352 7352 1883 0 -1 4202560 7151 0 0 0 26 3 0 0 20 0 15 0 475409061 15512608768 12241 33554432000 4194304 4196468 140736481449920 140316546625104 140316542411933 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7356] ppid=7352 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7356/stat : 7356 (java) S 7352 7352 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409062 15512608768 12241 33554432000 4194304 4196468 140736481449920 140316454046608 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7357] ppid=7352 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7357/stat : 7357 (java) S 7352 7352 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409062 15512608768 12241 33554432000 4194304 4196468 140736481449920 140316452993808 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7358] ppid=7352 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7358/stat : 7358 (java) S 7352 7352 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409062 15512608768 12241 33554432000 4194304 4196468 140736481449920 140316451941520 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7359] ppid=7352 vsize=15149032 memory=8547712850019655617 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7359/stat : 7359 (java) S 7352 7352 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475409062 15512608768 12241 33554432000 4194304 4196468 140736481449920 140316450888720 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7360] ppid=7352 vsize=15149032 memory=7089056485457618024 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7360/stat : 7360 (java) S 7352 7352 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475409063 15512608768 12241 33554432000 4194304 4196468 140736481449920 140316011145328 140316542401154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7361] ppid=7352 vsize=15149032 memory=4209357772117481859 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7361/stat : 7361 (java) S 7352 7352 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475409064 15512608768 12241 33554432000 4194304 4196468 140736481449920 140316010091296 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7362] ppid=7352 vsize=15149032 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7362/stat : 7362 (java) S 7352 7352 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475409064 15512608768 12241 33554432000 4194304 4196468 140736481449920 140316009038960 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7363] ppid=7352 vsize=15149032 memory=-8412652169205224307 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7363/stat : 7363 (java) S 7352 7352 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409066 15512608768 12241 33554432000 4194304 4196468 140736481449920 140316007987280 140316542408603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7364] ppid=7352 vsize=15149032 memory=-8412660965215072671 CPUtime=0.04 cores=1,3,5,7
/proc/7354/task/7364/stat : 7364 (java) R 7352 7352 1883 0 -1 1077944384 636 0 0 0 4 0 0 0 20 0 15 0 475409068 15512608768 12241 33554432000 4194304 4196468 140736481449920 140316006935248 140316542400213 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7365] ppid=7352 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/7354/task/7365/stat : 7365 (java) S 7352 7352 1883 0 -1 1077944384 184 0 0 0 3 0 0 0 20 0 15 0 475409068 15512608768 12241 33554432000 4194304 4196468 140736481449920 140316005882352 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7366] ppid=7352 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/7354/task/7366/stat : 7366 (java) S 7352 7352 1883 0 -1 1077944384 810 0 0 0 12 0 0 0 20 0 15 0 475409068 15512608768 12241 33554432000 4194304 4196468 140736481449920 140316004830064 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7367] ppid=7352 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7367/stat : 7367 (java) S 7352 7352 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475409068 15512608768 12241 33554432000 4194304 4196468 140736481449920 140316003777504 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7368] ppid=7352 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7368/stat : 7368 (java) S 7352 7352 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475409068 15512608768 12241 33554432000 4194304 4196468 140736481449920 140316002724272 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50416 KiB
[startup+0.709368 s]
/proc/loadavg: 8.68 8.47 8.20 9/232 7368
/proc/meminfo: memFree=15063024/32770624 swapFree=66952592/67108860
[pid=7352] ppid=7349 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7352/stat : 7352 (xcsp3-exec) S 7349 7352 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475409061 115843072 363 33554432000 4194304 5098028 140737321665104 140737321663208 140574321775228 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32256000 140737321669462 140737321669721 140737321669721 140737321672646 0
/proc/7352/statm: 28282 363 304 221 0 87 0
[pid=7354] ppid=7352 vsize=15417412 memory=91068 CPUtime=1.54 cores=1,3,5,7
/proc/7354/stat : 7354 (java) S 7352 7352 1883 0 -1 1077944320 14929 0 0 0 149 5 0 0 20 0 19 0 475409061 15787429888 22767 33554432000 4194304 4196468 140736481449920 140736481432464 140316542390007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
/proc/7354/statm: 3854353 22767 3452 1 0 3815453 0
[pid=7354/tid=7355] ppid=7352 vsize=15417412 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/7354/task/7355/stat : 7355 (java) S 7352 7352 1883 0 -1 1077944384 8848 0 0 0 59 3 0 0 20 0 19 0 475409061 15787429888 22767 33554432000 4194304 4196468 140736481449920 140316546630784 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7356] ppid=7352 vsize=15417412 memory=164 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7356/stat : 7356 (java) S 7352 7352 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475409062 15787429888 22767 33554432000 4194304 4196468 140736481449920 140316454046608 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7357] ppid=7352 vsize=15417412 memory=6154848828556269427 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7357/stat : 7357 (java) S 7352 7352 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475409062 15787429888 22767 33554432000 4194304 4196468 140736481449920 140316452993808 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7358] ppid=7352 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7358/stat : 7358 (java) S 7352 7352 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475409062 15787429888 22767 33554432000 4194304 4196468 140736481449920 140316451941520 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7359] ppid=7352 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7359/stat : 7359 (java) S 7352 7352 1883 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475409062 15787429888 22767 33554432000 4194304 4196468 140736481449920 140316450888720 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7360] ppid=7352 vsize=15417412 memory=40256 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7360/stat : 7360 (java) S 7352 7352 1883 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 475409063 15787429888 22767 33554432000 4194304 4196468 140736481449920 140316011145328 140316542401154 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7361] ppid=7352 vsize=15417412 memory=988 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7361/stat : 7361 (java) S 7352 7352 1883 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475409064 15787429888 22767 33554432000 4194304 4196468 140736481449920 140316010091296 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7362] ppid=7352 vsize=15417412 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7362/stat : 7362 (java) S 7352 7352 1883 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475409064 15787429888 22767 33554432000 4194304 4196468 140736481449920 140316009038960 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7363] ppid=7352 vsize=15417412 memory=1284 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7363/stat : 7363 (java) S 7352 7352 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409066 15787429888 22767 33554432000 4194304 4196468 140736481449920 140316007987280 140316542408603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7364] ppid=7352 vsize=15417412 memory=1044 CPUtime=0.2 cores=1,3,5,7
/proc/7354/task/7364/stat : 7364 (java) R 7352 7352 1883 0 -1 4202560 1366 0 0 0 20 0 0 0 20 0 19 0 475409068 15787429888 22767 33554432000 4194304 4196468 140736481449920 140316006928344 140316527287908 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7365] ppid=7352 vsize=15417412 memory=708 CPUtime=0.19 cores=1,3,5,7
/proc/7354/task/7365/stat : 7365 (java) R 7352 7352 1883 0 -1 4202560 792 0 0 0 19 0 0 0 20 0 19 0 475409068 15787429888 22767 33554432000 4194304 4196468 140736481449920 140316005869200 140316528454149 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7366] ppid=7352 vsize=15417412 memory=9364 CPUtime=0.38 cores=1,3,5,7
/proc/7354/task/7366/stat : 7366 (java) R 7352 7352 1883 0 -1 1077944384 1950 0 0 0 38 0 0 0 20 0 19 0 475409068 15787429888 22767 33554432000 4194304 4196468 140736481449920 140316004824448 140316542400213 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7367] ppid=7352 vsize=15417412 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7367/stat : 7367 (java) S 7352 7352 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409068 15787429888 22767 33554432000 4194304 4196468 140736481449920 140316003777504 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7368] ppid=7352 vsize=15417412 memory=776 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7368/stat : 7368 (java) S 7352 7352 1883 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475409068 15787429888 22767 33554432000 4194304 4196468 140736481449920 140316002724272 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
Current children cumulated CPU time: 1.54 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 92520 KiB
[startup+1.51037 s]
/proc/loadavg: 8.68 8.47 8.20 12/236 7397
/proc/meminfo: memFree=14962976/32770624 swapFree=66952592/67108860
[pid=7352] ppid=7349 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7352/stat : 7352 (xcsp3-exec) S 7349 7352 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475409061 115843072 363 33554432000 4194304 5098028 140737321665104 140737321663208 140574321775228 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32256000 140737321669462 140737321669721 140737321669721 140737321672646 0
/proc/7352/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/7354/task/7368/stat : 7368 (java) S 7352 7352 1883 0 -1 1077944384 579 0 0 0 0 0 0 0 20 0 19 0 475409068 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316002724272 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7434] ppid=7352 vsize=15487052 memory=1680 CPUtime=27.08 cores=1,3,5,7
/proc/7354/task/7434/stat : 7434 (java) R 7352 7352 1883 0 -1 4202560 255 0 0 0 2708 0 0 0 20 0 19 0 475410327 15858741248 57542 33554432000 4194304 4196468 140736481449920 140315992451040 140316134745324 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7435] ppid=7352 vsize=15487052 memory=1808 CPUtime=27.28 cores=1,3,5,7
/proc/7354/task/7435/stat : 7435 (java) R 7352 7352 1883 0 -1 4202560 956 0 0 0 2728 0 0 0 20 0 19 0 475410327 15858741248 57542 33554432000 4194304 4196468 140736481449920 140315990348152 140316135557308 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7436] ppid=7352 vsize=15487052 memory=924 CPUtime=27.28 cores=1,3,5,7
/proc/7354/task/7436/stat : 7436 (java) R 7352 7352 1883 0 -1 4202560 928 0 0 0 2728 0 0 0 20 0 19 0 475410327 15858741248 57542 33554432000 4194304 4196468 140736481449920 140315993505352 140316135562139 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7437] ppid=7352 vsize=15487052 memory=3848 CPUtime=27.06 cores=1,3,5,7
/proc/7354/task/7437/stat : 7437 (java) R 7352 7352 1883 0 -1 4202560 450 0 0 0 2706 0 0 0 20 0 19 0 475410327 15858741248 57542 33554432000 4194304 4196468 140736481449920 140315991403128 140316135396555 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
Current children cumulated CPU time: 157.7 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 231620 KiB
[startup+40.4014 s]
/proc/loadavg: 8.97 8.56 8.24 10/236 7440
/proc/meminfo: memFree=14915568/32770624 swapFree=66952592/67108860
[pid=7352] ppid=7349 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7352/stat : 7352 (xcsp3-exec) S 7349 7352 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475409061 115843072 363 33554432000 4194304 5098028 140737321665104 140737321663208 140574321775228 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32256000 140737321669462 140737321669721 140737321669721 140737321672646 0
/proc/7352/statm: 28282 363 304 221 0 87 0
[pid=7354] ppid=7352 vsize=15487052 memory=230168 CPUtime=159.26 cores=1,3,5,7
/proc/7354/stat : 7354 (java) S 7352 7352 1883 0 -1 1077944320 62356 0 0 0 15911 15 0 0 20 0 19 0 475409061 15858741248 57542 33554432000 4194304 4196468 140736481449920 140736481432464 140316542390007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
/proc/7354/statm: 3871763 57542 3531 1 0 3832863 0
[pid=7354/tid=7355] ppid=7352 vsize=15487052 memory=230168 CPUtime=0.62 cores=1,3,5,7
/proc/7354/task/7355/stat : 7355 (java) S 7352 7352 1883 0 -1 1077944384 9121 0 0 0 59 3 0 0 20 0 19 0 475409061 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316546630784 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7356] ppid=7352 vsize=15487052 memory=1680 CPUtime=0.01 cores=1,3,5,7
/proc/7354/task/7356/stat : 7356 (java) S 7352 7352 1883 0 -1 1077944384 1090 0 0 0 1 0 0 0 20 0 19 0 475409062 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316454046608 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7357] ppid=7352 vsize=15487052 memory=1808 CPUtime=0.01 cores=1,3,5,7
/proc/7354/task/7357/stat : 7357 (java) S 7352 7352 1883 0 -1 1077944384 1999 0 0 0 1 0 0 0 20 0 19 0 475409062 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316452993808 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7358] ppid=7352 vsize=15487052 memory=924 CPUtime=0.01 cores=1,3,5,7
/proc/7354/task/7358/stat : 7358 (java) S 7352 7352 1883 0 -1 1077944384 605 0 0 0 1 0 0 0 20 0 19 0 475409062 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316451941520 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7359] ppid=7352 vsize=15487052 memory=3848 CPUtime=0.01 cores=1,3,5,7
/proc/7354/task/7359/stat : 7359 (java) S 7352 7352 1883 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 19 0 475409062 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316450888720 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7360] ppid=7352 vsize=15487052 memory=2592 CPUtime=0.01 cores=1,3,5,7
/proc/7354/task/7360/stat : 7360 (java) S 7352 7352 1883 0 -1 1077944384 985 0 0 0 1 0 0 0 20 0 19 0 475409063 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316011145328 140316542401154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7361] ppid=7352 vsize=15487052 memory=2708 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7361/stat : 7361 (java) S 7352 7352 1883 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 475409064 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316010091360 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7362] ppid=7352 vsize=15487052 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7362/stat : 7362 (java) S 7352 7352 1883 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475409064 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316009038976 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7363] ppid=7352 vsize=15487052 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7363/stat : 7363 (java) S 7352 7352 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409066 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316007987280 140316542408603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7364] ppid=7352 vsize=15487052 memory=1760 CPUtime=3.52 cores=1,3,5,7
/proc/7354/task/7364/stat : 7364 (java) S 7352 7352 1883 0 -1 1077944384 16563 0 0 0 349 3 0 0 20 0 19 0 475409068 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316006935152 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7365] ppid=7352 vsize=15487052 memory=111632 CPUtime=3.42 cores=1,3,5,7
/proc/7354/task/7365/stat : 7365 (java) S 7352 7352 1883 0 -1 1077944384 15434 0 0 0 340 2 0 0 20 0 19 0 475409068 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316005882352 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7366] ppid=7352 vsize=15487052 memory=804 CPUtime=0.76 cores=1,3,5,7
/proc/7354/task/7366/stat : 7366 (java) S 7352 7352 1883 0 -1 1077944384 6937 0 0 0 74 2 0 0 20 0 19 0 475409068 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316004830064 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7367] ppid=7352 vsize=15487052 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7367/stat : 7367 (java) S 7352 7352 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409068 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316003777504 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7368] ppid=7352 vsize=15487052 memory=3332 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7368/stat : 7368 (java) S 7352 7352 1883 0 -1 1077944384 579 0 0 0 0 0 0 0 20 0 19 0 475409068 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316002724272 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7434] ppid=7352 vsize=15487052 memory=1452 CPUtime=27.46 cores=1,3,5,7
/proc/7354/task/7434/stat : 7434 (java) R 7352 7352 1883 0 -1 4202560 255 0 0 0 2746 0 0 0 20 0 19 0 475410327 15858741248 57542 33554432000 4194304 4196468 140736481449920 140315992451040 140316135558317 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7435] ppid=7352 vsize=15487052 memory=342568 CPUtime=27.67 cores=1,3,5,7
/proc/7354/task/7435/stat : 7435 (java) R 7352 7352 1883 0 -1 4202560 958 0 0 0 2767 0 0 0 20 0 19 0 475410327 15858741248 57542 33554432000 4194304 4196468 140736481449920 140315990348152 140316135535438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7436] ppid=7352 vsize=15487052 memory=1412 CPUtime=27.67 cores=1,3,5,7
/proc/7354/task/7436/stat : 7436 (java) R 7352 7352 1883 0 -1 4202560 928 0 0 0 2767 0 0 0 20 0 19 0 475410327 15858741248 57542 33554432000 4194304 4196468 140736481449920 140315993505352 140316136281959 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7437] ppid=7352 vsize=15487052 memory=2984 CPUtime=27.45 cores=1,3,5,7
/proc/7354/task/7437/stat : 7437 (java) R 7352 7352 1883 0 -1 4202560 450 0 0 0 2745 0 0 0 20 0 19 0 475410327 15858741248 57542 33554432000 4194304 4196468 140736481449920 140315991403128 140316134743759 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
Current children cumulated CPU time: 159.26 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 231620 KiB
[startup+40.6014 s]
/proc/loadavg: 8.97 8.56 8.24 10/236 7440
/proc/meminfo: memFree=14915568/32770624 swapFree=66952592/67108860
[pid=7352] ppid=7349 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7352/stat : 7352 (xcsp3-exec) S 7349 7352 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475409061 115843072 363 33554432000 4194304 5098028 140737321665104 140737321663208 140574321775228 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32256000 140737321669462 140737321669721 140737321669721 140737321672646 0
/proc/7352/statm: 28282 363 304 221 0 87 0
[pid=7354] ppid=7352 vsize=15487052 memory=230168 CPUtime=160.06 cores=1,3,5,7
/proc/7354/stat : 7354 (java) S 7352 7352 1883 0 -1 1077944320 62358 0 0 0 15991 15 0 0 20 0 19 0 475409061 15858741248 57542 33554432000 4194304 4196468 140736481449920 140736481432464 140316542390007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
/proc/7354/statm: 3871763 57542 3531 1 0 3832863 0
[pid=7354/tid=7355] ppid=7352 vsize=15487052 memory=111632 CPUtime=0.62 cores=1,3,5,7
/proc/7354/task/7355/stat : 7355 (java) S 7352 7352 1883 0 -1 1077944384 9121 0 0 0 59 3 0 0 20 0 19 0 475409061 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316546630784 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7356] ppid=7352 vsize=15487052 memory=804 CPUtime=0.01 cores=1,3,5,7
/proc/7354/task/7356/stat : 7356 (java) S 7352 7352 1883 0 -1 1077944384 1090 0 0 0 1 0 0 0 20 0 19 0 475409062 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316454046608 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7357] ppid=7352 vsize=15487052 memory=1408 CPUtime=0.01 cores=1,3,5,7
/proc/7354/task/7357/stat : 7357 (java) S 7352 7352 1883 0 -1 1077944384 1999 0 0 0 1 0 0 0 20 0 19 0 475409062 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316452993808 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7358] ppid=7352 vsize=15487052 memory=3332 CPUtime=0.01 cores=1,3,5,7
/proc/7354/task/7358/stat : 7358 (java) S 7352 7352 1883 0 -1 1077944384 605 0 0 0 1 0 0 0 20 0 19 0 475409062 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316451941520 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7359] ppid=7352 vsize=15487052 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/7354/task/7359/stat : 7359 (java) S 7352 7352 1883 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 19 0 475409062 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316450888720 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7360] ppid=7352 vsize=15487052 memory=342568 CPUtime=0.01 cores=1,3,5,7
/proc/7354/task/7360/stat : 7360 (java) S 7352 7352 1883 0 -1 1077944384 985 0 0 0 1 0 0 0 20 0 19 0 475409063 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316011145328 140316542401154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7361] ppid=7352 vsize=15487052 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7361/stat : 7361 (java) S 7352 7352 1883 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 475409064 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316010091360 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7362] ppid=7352 vsize=15487052 memory=2984 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7362/stat : 7362 (java) S 7352 7352 1883 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475409064 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316009038976 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7363] ppid=7352 vsize=15487052 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7363/stat : 7363 (java) S 7352 7352 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409066 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316007987280 140316542408603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7364] ppid=7352 vsize=15487052 memory=230168 CPUtime=3.52 cores=1,3,5,7
/proc/7354/task/7364/stat : 7364 (java) S 7352 7352 1883 0 -1 1077944384 16563 0 0 0 349 3 0 0 20 0 19 0 475409068 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316006935152 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7365] ppid=7352 vsize=15487052 memory=1164 CPUtime=3.42 cores=1,3,5,7
/proc/7354/task/7365/stat : 7365 (java) S 7352 7352 1883 0 -1 1077944384 15434 0 0 0 340 2 0 0 20 0 19 0 475409068 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316005882352 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7366] ppid=7352 vsize=15487052 memory=8317482817917895235 CPUtime=0.76 cores=1,3,5,7
/proc/7354/task/7366/stat : 7366 (java) S 7352 7352 1883 0 -1 1077944384 6937 0 0 0 74 2 0 0 20 0 19 0 475409068 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316004830064 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7367] ppid=7352 vsize=15487052 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7367/stat : 7367 (java) S 7352 7352 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409068 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316003777504 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7368] ppid=7352 vsize=15487052 memory=8317482817917895235 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7368/stat : 7368 (java) S 7352 7352 1883 0 -1 1077944384 579 0 0 0 0 0 0 0 20 0 19 0 475409068 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316002724272 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7434] ppid=7352 vsize=15487052 memory=4126316290023845779 CPUtime=27.66 cores=1,3,5,7
/proc/7354/task/7434/stat : 7434 (java) R 7352 7352 1883 0 -1 4202560 255 0 0 0 2766 0 0 0 20 0 19 0 475410327 15858741248 57542 33554432000 4194304 4196468 140736481449920 140315992451040 140316135220073 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7435] ppid=7352 vsize=15487052 memory=340480 CPUtime=27.87 cores=1,3,5,7
/proc/7354/task/7435/stat : 7435 (java) R 7352 7352 1883 0 -1 4202560 960 0 0 0 2787 0 0 0 20 0 19 0 475410327 15858741248 57542 33554432000 4194304 4196468 140736481449920 140315990348152 140316135558317 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7436] ppid=7352 vsize=15487052 memory=1412 CPUtime=27.87 cores=1,3,5,7
/proc/7354/task/7436/stat : 7436 (java) R 7352 7352 1883 0 -1 4202560 928 0 0 0 2787 0 0 0 20 0 19 0 475410327 15858741248 57542 33554432000 4194304 4196468 140736481449920 140315993505352 140316135885191 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7437] ppid=7352 vsize=15487052 memory=2956 CPUtime=27.65 cores=1,3,5,7
/proc/7354/task/7437/stat : 7437 (java) R 7352 7352 1883 0 -1 4202560 450 0 0 0 2765 0 0 0 20 0 19 0 475410327 15858741248 57542 33554432000 4194304 4196468 140736481449920 140315991403128 140316135558998 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
Current children cumulated CPU time: 160.06 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 231620 KiB
[startup+40.7014 s]
/proc/loadavg: 8.97 8.56 8.24 10/236 7440
/proc/meminfo: memFree=14915568/32770624 swapFree=66952592/67108860
[pid=7352] ppid=7349 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7352/stat : 7352 (xcsp3-exec) S 7349 7352 1883 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475409061 115843072 363 33554432000 4194304 5098028 140737321665104 140737321663208 140574321775228 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 32256000 140737321669462 140737321669721 140737321669721 140737321672646 0
/proc/7352/statm: 28282 363 304 221 0 87 0
[pid=7354] ppid=7352 vsize=15487052 memory=230168 CPUtime=160.46 cores=1,3,5,7
/proc/7354/stat : 7354 (java) S 7352 7352 1883 0 -1 1077944320 62358 0 0 0 16031 15 0 0 20 0 19 0 475409061 15858741248 57542 33554432000 4194304 4196468 140736481449920 140736481432464 140316542390007 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
/proc/7354/statm: 3871763 57542 3531 1 0 3832863 0
[pid=7354/tid=7355] ppid=7352 vsize=15487052 memory=230168 CPUtime=0.62 cores=1,3,5,7
/proc/7354/task/7355/stat : 7355 (java) S 7352 7352 1883 0 -1 1077944384 9121 0 0 0 59 3 0 0 20 0 19 0 475409061 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316546630784 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7356] ppid=7352 vsize=15487052 memory=230168 CPUtime=0.01 cores=1,3,5,7
/proc/7354/task/7356/stat : 7356 (java) S 7352 7352 1883 0 -1 1077944384 1090 0 0 0 1 0 0 0 20 0 19 0 475409062 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316454046608 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7357] ppid=7352 vsize=15487052 memory=230168 CPUtime=0.01 cores=1,3,5,7
/proc/7354/task/7357/stat : 7357 (java) S 7352 7352 1883 0 -1 1077944384 1999 0 0 0 1 0 0 0 20 0 19 0 475409062 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316452993808 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7358] ppid=7352 vsize=15487052 memory=230168 CPUtime=0.01 cores=1,3,5,7
/proc/7354/task/7358/stat : 7358 (java) S 7352 7352 1883 0 -1 1077944384 605 0 0 0 1 0 0 0 20 0 19 0 475409062 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316451941520 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7359] ppid=7352 vsize=15487052 memory=1452 CPUtime=0.01 cores=1,3,5,7
/proc/7354/task/7359/stat : 7359 (java) S 7352 7352 1883 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 19 0 475409062 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316450888720 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7360] ppid=7352 vsize=15487052 memory=2257 CPUtime=0.01 cores=1,3,5,7
/proc/7354/task/7360/stat : 7360 (java) S 7352 7352 1883 0 -1 1077944384 985 0 0 0 1 0 0 0 20 0 19 0 475409063 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316011145328 140316542401154 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7361] ppid=7352 vsize=15487052 memory=279636731317120 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7361/stat : 7361 (java) S 7352 7352 1883 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 475409064 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316010091360 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7362] ppid=7352 vsize=15487052 memory=230132 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7362/stat : 7362 (java) S 7352 7352 1883 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 19 0 475409064 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316009038976 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7363] ppid=7352 vsize=15487052 memory=230168 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7363/stat : 7363 (java) S 7352 7352 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409066 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316007987280 140316542408603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7364] ppid=7352 vsize=15487052 memory=14012 CPUtime=3.52 cores=1,3,5,7
/proc/7354/task/7364/stat : 7364 (java) S 7352 7352 1883 0 -1 1077944384 16563 0 0 0 349 3 0 0 20 0 19 0 475409068 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316006935152 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7365] ppid=7352 vsize=15487052 memory=3580 CPUtime=3.42 cores=1,3,5,7
/proc/7354/task/7365/stat : 7365 (java) S 7352 7352 1883 0 -1 1077944384 15434 0 0 0 340 2 0 0 20 0 19 0 475409068 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316005882352 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7366] ppid=7352 vsize=15487052 memory=1120 CPUtime=0.76 cores=1,3,5,7
/proc/7354/task/7366/stat : 7366 (java) S 7352 7352 1883 0 -1 1077944384 6937 0 0 0 74 2 0 0 20 0 19 0 475409068 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316004830064 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7367] ppid=7352 vsize=15487052 memory=776 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7367/stat : 7367 (java) S 7352 7352 1883 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475409068 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316003777504 140316542400213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7368] ppid=7352 vsize=15487052 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/7354/task/7368/stat : 7368 (java) S 7352 7352 1883 0 -1 1077944384 579 0 0 0 0 0 0 0 20 0 19 0 475409068 15858741248 57542 33554432000 4194304 4196468 140736481449920 140316002724272 140316542401154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7434] ppid=7352 vsize=15487052 memory=230168 CPUtime=27.76 cores=1,3,5,7
/proc/7354/task/7434/stat : 7434 (java) R 7352 7352 1883 0 -1 4202560 255 0 0 0 2776 0 0 0 20 0 19 0 475410327 15858741248 57542 33554432000 4194304 4196468 140736481449920 140315992451040 140316135769136 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7435] ppid=7352 vsize=15487052 memory=708 CPUtime=27.97 cores=1,3,5,7
/proc/7354/task/7435/stat : 7435 (java) R 7352 7352 1883 0 -1 4202560 960 0 0 0 2797 0 0 0 20 0 19 0 475410327 15858741248 57542 33554432000 4194304 4196468 140736481449920 140315990348152 140316135602615 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7436] ppid=7352 vsize=15487052 memory=9364 CPUtime=27.97 cores=1,3,5,7
/proc/7354/task/7436/stat : 7436 (java) R 7352 7352 1883 0 -1 4202560 928 0 0 0 2797 0 0 0 20 0 19 0 475410327 15858741248 57542 33554432000 4194304 4196468 140736481449920 140315993505352 140316135812821 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
[pid=7354/tid=7437] ppid=7352 vsize=15487052 memory=1452 CPUtime=27.75 cores=1,3,5,7
/proc/7354/task/7437/stat : 7437 (java) R 7352 7352 1883 0 -1 4202560 450 0 0 0 2775 0 0 0 20 0 19 0 475410327 15858741248 57542 33554432000 4194304 4196468 140736481449920 140315991403128 140316135885191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13959168 140736481453019 140736481453194 140736481453194 140736481456079 0
Current children cumulated CPU time: 160.46 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 231620 KiB
Child status: 0
Real time (s): 40.7665
CPU time (s): 160.706
CPU user time (s): 160.538
CPU system time (s): 0.168302
CPU usage (%): 394.211
Max. virtual memory (cumulated for all children) (KiB): 15602544
Max. memory (cumulated for all children) (KiB): 231620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 160.538
system time used= 0.168302
maximum resident set size= 230168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63650
page faults= 0
swaps= 0
block input operations= 8
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4760
involuntary context switches= 2889
# summary of solver processes directly reported to runsolver:
# pid: 7352
# total CPU time (s): 160.706
# total CPU user time (s): 160.538
# total CPU system time (s): 0.168302
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.269418 second user time and 0.473013 second system time
The end