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 (2402 MiB free)
memory of node 1: 16384 MiB (10100 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403462-1568993560/watcher-4403462-1568993560 -o /var/tmp/evaluation-result-4403462-1568993560/solver-4403462-1568993560 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1568987938-25143 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 211888982 HOME/instance-4403462-1568993560.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=31279, runsolver pid=31276
Current StackSize limit: 8192 KiB
[startup+0.100429 s]*
/proc/loadavg: 6.51 7.04 7.21 6/233 31295
/proc/meminfo: memFree=12787380/32770624 swapFree=67002252/67108860
[pid=31279] ppid=31276 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31279/stat : 31279 (xcsp3-exec) S 31276 31279 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475604612 115843072 364 33554432000 4194304 5098028 140731872291488 140731872289592 140584936714876 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40689664 140731872297815 140731872298073 140731872298073 140731872300998 0
/proc/31279/statm: 28282 364 305 221 0 87 0
[pid=31281] ppid=31279 vsize=15144776 memory=28448 CPUtime=0.1 cores=1,3,5,7
/proc/31281/stat : 31281 (java) S 31279 31279 25111 0 -1 1077944320 5513 0 0 0 9 1 0 0 20 0 15 0 475604612 15508250624 7112 33554432000 4194304 4196468 140735373111408 140735373093952 140489384836855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
/proc/31281/statm: 3786194 7112 3136 1 0 3748377 0
[pid=31281/tid=31282] ppid=31279 vsize=15144776 memory=-6962121287837372198 CPUtime=0.08 cores=1,3,5,7
/proc/31281/task/31282/stat : 31282 (java) R 31279 31279 25111 0 -1 4202560 3521 0 0 0 7 1 0 0 20 0 15 0 475604613 15508250624 7112 33554432000 4194304 4196468 140735373111408 140489389059248 140489384858781 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31283] ppid=31279 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31283/stat : 31283 (java) S 31279 31279 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475604613 15508250624 7112 33554432000 4194304 4196468 140735373111408 140489321073680 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31284] ppid=31279 vsize=15144776 memory=140669449991808 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31284/stat : 31284 (java) S 31279 31279 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475604613 15508250624 7112 33554432000 4194304 4196468 140735373111408 140488976424080 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31285] ppid=31279 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31285/stat : 31285 (java) S 31279 31279 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475604613 15508250624 7112 33554432000 4194304 4196468 140735373111408 140488975371024 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31286] ppid=31279 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31286/stat : 31286 (java) S 31279 31279 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475604613 15508250624 7112 33554432000 4194304 4196468 140735373111408 140488974318480 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31287] ppid=31279 vsize=15144776 memory=140669449991808 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31287/stat : 31287 (java) S 31279 31279 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475604615 15508250624 7112 33554432000 4194304 4196468 140735373111408 140488920586480 140489384848002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31288] ppid=31279 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31288/stat : 31288 (java) S 31279 31279 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475604615 15508250624 7112 33554432000 4194304 4196468 140735373111408 140488919532704 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31289] ppid=31279 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31289/stat : 31289 (java) S 31279 31279 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475604616 15508250624 7112 33554432000 4194304 4196468 140735373111408 140488918479600 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31290] ppid=31279 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31290/stat : 31290 (java) S 31279 31279 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475604618 15508250624 7112 33554432000 4194304 4196468 140735373111408 140488850008016 140489384855451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31291] ppid=31279 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31291/stat : 31291 (java) S 31279 31279 25111 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 475604619 15508250624 7112 33554432000 4194304 4196468 140735373111408 140488848956144 140489384848002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31292] ppid=31279 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31292/stat : 31292 (java) S 31279 31279 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475604619 15508250624 7112 33554432000 4194304 4196468 140735373111408 140488847903600 140489384848002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31293] ppid=31279 vsize=15144776 memory=140669449991808 CPUtime=0.01 cores=1,3,5,7
/proc/31281/task/31293/stat : 31293 (java) S 31279 31279 25111 0 -1 1077944384 265 0 0 0 1 0 0 0 20 0 15 0 475604619 15508250624 7112 33554432000 4194304 4196468 140735373111408 140488846850544 140489384848002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31294] ppid=31279 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31294/stat : 31294 (java) S 31279 31279 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475604619 15508250624 7112 33554432000 4194304 4196468 140735373111408 140488845798240 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31295] ppid=31279 vsize=15144776 memory=140669449991808 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31295/stat : 31295 (java) S 31279 31279 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475604620 15508250624 7112 33554432000 4194304 4196468 140735373111408 140488844745264 140489384848002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29904 KiB
[startup+0.210937 s]*
/proc/loadavg: 6.51 7.04 7.21 7/233 31295
/proc/meminfo: memFree=12774284/32770624 swapFree=67002252/67108860
[pid=31279] ppid=31276 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31279/stat : 31279 (xcsp3-exec) S 31276 31279 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475604612 115843072 364 33554432000 4194304 5098028 140731872291488 140731872289592 140584936714876 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40689664 140731872297815 140731872298073 140731872298073 140731872300998 0
/proc/31279/statm: 28282 364 305 221 0 87 0
[pid=31281] ppid=31279 vsize=15144776 memory=40496 CPUtime=0.32 cores=1,3,5,7
/proc/31281/stat : 31281 (java) S 31279 31279 25111 0 -1 1077944320 9267 0 0 0 29 3 0 0 20 0 15 0 475604612 15508250624 10111 33554432000 4194304 4196468 140735373111408 140735373093952 140489384836855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
/proc/31281/statm: 3786194 10124 3308 1 0 3748377 0
[pid=31281/tid=31282] ppid=31279 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/31281/task/31282/stat : 31282 (java) R 31279 31279 25111 0 -1 4202560 6528 0 0 0 17 2 0 0 20 0 15 0 475604613 15508250624 10124 33554432000 4194304 4196468 140735373111408 140489389066128 140489384858781 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31283] ppid=31279 vsize=15144776 memory=13620 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31283/stat : 31283 (java) S 31279 31279 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475604613 15508250624 10124 33554432000 4194304 4196468 140735373111408 140489321073680 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31284] ppid=31279 vsize=15144776 memory=140669453519593 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31284/stat : 31284 (java) S 31279 31279 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475604613 15508250624 10124 33554432000 4194304 4196468 140735373111408 140488976424080 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31285] ppid=31279 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31285/stat : 31285 (java) S 31279 31279 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475604613 15508250624 10124 33554432000 4194304 4196468 140735373111408 140488975371024 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31286] ppid=31279 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31286/stat : 31286 (java) S 31279 31279 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475604613 15508250624 10124 33554432000 4194304 4196468 140735373111408 140488974318480 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31287] ppid=31279 vsize=15144776 memory=140669449991808 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31287/stat : 31287 (java) S 31279 31279 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475604615 15508250624 10124 33554432000 4194304 4196468 140735373111408 140488920586480 140489384848002 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31288] ppid=31279 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31288/stat : 31288 (java) S 31279 31279 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475604615 15508250624 10124 33554432000 4194304 4196468 140735373111408 140488919532704 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31289] ppid=31279 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31289/stat : 31289 (java) S 31279 31279 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475604616 15508250624 10124 33554432000 4194304 4196468 140735373111408 140488918479600 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31290] ppid=31279 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31290/stat : 31290 (java) S 31279 31279 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475604618 15508250624 10124 33554432000 4194304 4196468 140735373111408 140488850008016 140489384855451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31291] ppid=31279 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/31281/task/31291/stat : 31291 (java) S 31279 31279 25111 0 -1 1077944384 550 0 0 0 3 0 0 0 20 0 15 0 475604619 15508250624 10124 33554432000 4194304 4196468 140735373111408 140488848956144 140489384848002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31292] ppid=31279 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/31281/task/31292/stat : 31292 (java) S 31279 31279 25111 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 15 0 475604619 15508250624 10124 33554432000 4194304 4196468 140735373111408 140488847903600 140489384848002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31293] ppid=31279 vsize=15144776 memory=140669449991808 CPUtime=0.07 cores=1,3,5,7
/proc/31281/task/31293/stat : 31293 (java) S 31279 31279 25111 0 -1 1077944384 811 0 0 0 7 0 0 0 20 0 15 0 475604619 15508250624 10124 33554432000 4194304 4196468 140735373111408 140488846850544 140489384848002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31294] ppid=31279 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31294/stat : 31294 (java) S 31279 31279 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475604619 15508250624 10124 33554432000 4194304 4196468 140735373111408 140488845798240 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31295] ppid=31279 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31295/stat : 31295 (java) S 31279 31279 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475604620 15508250624 10124 33554432000 4194304 4196468 140735373111408 140488844745264 140489384848002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41952 KiB
[startup+0.311046 s]*
/proc/loadavg: 6.51 7.04 7.21 7/233 31295
/proc/meminfo: memFree=12769560/32770624 swapFree=67002252/67108860
[pid=31279] ppid=31276 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31279/stat : 31279 (xcsp3-exec) S 31276 31279 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475604612 115843072 364 33554432000 4194304 5098028 140731872291488 140731872289592 140584936714876 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40689664 140731872297815 140731872298073 140731872298073 140731872300998 0
/proc/31279/statm: 28282 364 305 221 0 87 0
[pid=31281] ppid=31279 vsize=15149032 memory=48852 CPUtime=0.51 cores=1,3,5,7
/proc/31281/stat : 31281 (java) S 31279 31279 25111 0 -1 1077944320 10540 0 0 0 47 4 0 0 20 0 15 0 475604612 15512608768 12213 33554432000 4194304 4196468 140735373111408 140735373093952 140489384836855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
/proc/31281/statm: 3787258 12213 3340 1 0 3748377 0
[pid=31281/tid=31282] ppid=31279 vsize=15149032 memory=7883960649037381690 CPUtime=0.29 cores=1,3,5,7
/proc/31281/task/31282/stat : 31282 (java) R 31279 31279 25111 0 -1 4202560 7598 0 0 0 26 3 0 0 20 0 15 0 475604613 15512608768 12213 33554432000 4194304 4196468 140735373111408 140489389073472 140489384858781 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31283] ppid=31279 vsize=15149032 memory=13961 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31283/stat : 31283 (java) S 31279 31279 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475604613 15512608768 12213 33554432000 4194304 4196468 140735373111408 140489321073680 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31284] ppid=31279 vsize=15149032 memory=3546595 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31284/stat : 31284 (java) S 31279 31279 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475604613 15512608768 12213 33554432000 4194304 4196468 140735373111408 140488976424080 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31285] ppid=31279 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31285/stat : 31285 (java) S 31279 31279 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475604613 15512608768 12213 33554432000 4194304 4196468 140735373111408 140488975371024 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31286] ppid=31279 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31286/stat : 31286 (java) S 31279 31279 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475604613 15512608768 12213 33554432000 4194304 4196468 140735373111408 140488974318480 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31287] ppid=31279 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31287/stat : 31287 (java) S 31279 31279 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475604615 15512608768 12213 33554432000 4194304 4196468 140735373111408 140488920586480 140489384848002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31288] ppid=31279 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31288/stat : 31288 (java) S 31279 31279 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475604615 15512608768 12213 33554432000 4194304 4196468 140735373111408 140488919532704 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31289] ppid=31279 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31289/stat : 31289 (java) S 31279 31279 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475604616 15512608768 12213 33554432000 4194304 4196468 140735373111408 140488918479600 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31290] ppid=31279 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31290/stat : 31290 (java) S 31279 31279 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475604618 15512608768 12213 33554432000 4194304 4196468 140735373111408 140488850008016 140489384855451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31291] ppid=31279 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/31281/task/31291/stat : 31291 (java) R 31279 31279 25111 0 -1 4202560 557 0 0 0 4 0 0 0 20 0 15 0 475604619 15512608768 12213 33554432000 4194304 4196468 140735373111408 140488848956144 140489365508096 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31292] ppid=31279 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/31281/task/31292/stat : 31292 (java) R 31279 31279 25111 0 -1 4202560 102 0 0 0 3 0 0 0 20 0 15 0 475604619 15512608768 12213 33554432000 4194304 4196468 140735373111408 140488847893984 140489377942572 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31293] ppid=31279 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/31281/task/31293/stat : 31293 (java) S 31279 31279 25111 0 -1 1077944384 976 0 0 0 12 0 0 0 20 0 15 0 475604619 15512608768 12213 33554432000 4194304 4196468 140735373111408 140488846850544 140489384848002 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31294] ppid=31279 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31294/stat : 31294 (java) S 31279 31279 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475604619 15512608768 12213 33554432000 4194304 4196468 140735373111408 140488845798240 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31295] ppid=31279 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31295/stat : 31295 (java) S 31279 31279 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475604620 15512608768 12213 33554432000 4194304 4196468 140735373111408 140488844745264 140489384848002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50308 KiB
[startup+0.700815 s]
/proc/loadavg: 6.51 7.04 7.21 9/233 31295
/proc/meminfo: memFree=12745900/32770624 swapFree=67002252/67108860
[pid=31279] ppid=31276 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31279/stat : 31279 (xcsp3-exec) S 31276 31279 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475604612 115843072 364 33554432000 4194304 5098028 140731872291488 140731872289592 140584936714876 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40689664 140731872297815 140731872298073 140731872298073 140731872300998 0
/proc/31279/statm: 28282 364 305 221 0 87 0
[pid=31281] ppid=31279 vsize=15151156 memory=111920 CPUtime=1.66 cores=1,3,5,7
/proc/31281/stat : 31281 (java) S 31279 31279 25111 0 -1 1077944320 14495 0 0 0 160 6 0 0 20 0 15 0 475604612 15514783744 27980 33554432000 4194304 4196468 140735373111408 140735373093952 140489384836855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
/proc/31281/statm: 3787789 27980 3447 1 0 3748889 0
[pid=31281/tid=31282] ppid=31279 vsize=15151156 memory=29968 CPUtime=0.67 cores=1,3,5,7
/proc/31281/task/31282/stat : 31282 (java) R 31279 31279 25111 0 -1 4202560 8371 0 0 0 63 4 0 0 20 0 15 0 475604613 15514783744 27980 33554432000 4194304 4196468 140735373111408 140489389074016 140489001149665 0 4 0 16800975 0 0 0 -1 1 0 0 1 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31283] ppid=31279 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31283/stat : 31283 (java) S 31279 31279 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475604613 15514783744 27980 33554432000 4194304 4196468 140735373111408 140489321073680 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31284] ppid=31279 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31284/stat : 31284 (java) S 31279 31279 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475604613 15514783744 27980 33554432000 4194304 4196468 140735373111408 140488976424080 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31285] ppid=31279 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31285/stat : 31285 (java) S 31279 31279 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475604613 15514783744 27980 33554432000 4194304 4196468 140735373111408 140488975371024 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31286] ppid=31279 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31286/stat : 31286 (java) S 31279 31279 25111 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475604613 15514783744 27980 33554432000 4194304 4196468 140735373111408 140488974318480 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31287] ppid=31279 vsize=15151156 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31287/stat : 31287 (java) S 31279 31279 25111 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475604615 15514783744 27980 33554432000 4194304 4196468 140735373111408 140488920586480 140489384848002 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31288] ppid=31279 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31288/stat : 31288 (java) S 31279 31279 25111 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475604615 15514783744 27980 33554432000 4194304 4196468 140735373111408 140488919532704 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31289] ppid=31279 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31289/stat : 31289 (java) S 31279 31279 25111 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475604616 15514783744 27980 33554432000 4194304 4196468 140735373111408 140488918479600 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31290] ppid=31279 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31290/stat : 31290 (java) S 31279 31279 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475604618 15514783744 27980 33554432000 4194304 4196468 140735373111408 140488850008016 140489384855451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31291] ppid=31279 vsize=15151156 memory=2676 CPUtime=0.33 cores=1,3,5,7
/proc/31281/task/31291/stat : 31291 (java) R 31279 31279 25111 0 -1 4202560 1742 0 0 0 33 0 0 0 20 0 15 0 475604619 15514783744 27980 33554432000 4194304 4196468 140735373111408 140488848945936 140489362137088 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31292] ppid=31279 vsize=15151156 memory=1764 CPUtime=0.32 cores=1,3,5,7
/proc/31281/task/31292/stat : 31292 (java) R 31279 31279 25111 0 -1 4202560 1358 0 0 0 32 0 0 0 20 0 15 0 475604619 15514783744 27980 33554432000 4194304 4196468 140735373111408 140488847892832 140489364082698 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31293] ppid=31279 vsize=15151156 memory=111632 CPUtime=0.32 cores=1,3,5,7
/proc/31281/task/31293/stat : 31293 (java) S 31279 31279 25111 0 -1 1077944384 1719 0 0 0 31 1 0 0 20 0 15 0 475604619 15514783744 27980 33554432000 4194304 4196468 140735373111408 140488846850544 140489384848002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31294] ppid=31279 vsize=15151156 memory=796 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31294/stat : 31294 (java) S 31279 31279 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475604619 15514783744 27980 33554432000 4194304 4196468 140735373111408 140488845798240 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31295] ppid=31279 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31295/stat : 31295 (java) S 31279 31279 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475604620 15514783744 27980 33554432000 4194304 4196468 140735373111408 140488844745264 140489384848002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 113376 KiB
[startup+1.50105 s]
/proc/loadavg: 6.51 7.04 7.21 6/233 31295
/proc/meminfo: memFree=12595900/32770624 swapFree=67002252/67108860
[pid=31279] ppid=31276 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31279/stat : 31279 (xcsp3-exec) S 31276 31279 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475604612 115843072 364 33554432000 4194304 5098028 140731872291488 140731872289592 140584936714876 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40689664 140731872297815 140731872298073 140731872298073 140731872300998 0
/proc/31279/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/31281/task/31291/stat : 31291 (java) R 31279 31279 25111 0 -1 4202560 2030 0 0 0 78 0 0 0 20 0 19 0 475604619 15787429888 76079 33554432000 4194304 4196468 140735373111408 140488848949336 140489366366414 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31292] ppid=31279 vsize=15417412 memory=7883944108235712103 CPUtime=0.66 cores=1,3,5,7
/proc/31281/task/31292/stat : 31292 (java) R 31279 31279 25111 0 -1 4202560 1507 0 0 0 66 0 0 0 20 0 19 0 475604619 15787429888 76079 33554432000 4194304 4196468 140735373111408 140488847894576 140489369730689 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31293] ppid=31279 vsize=15417412 memory=7300704776819335744 CPUtime=0.57 cores=1,3,5,7
/proc/31281/task/31293/stat : 31293 (java) R 31279 31279 25111 0 -1 1077944384 2238 0 0 0 56 1 0 0 20 0 19 0 475604619 15787429888 76079 33554432000 4194304 4196468 140735373111408 140488846850544 140489384848002 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31294] ppid=31279 vsize=15417412 memory=15779709848649 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31294/stat : 31294 (java) S 31279 31279 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475604619 15787429888 76079 33554432000 4194304 4196468 140735373111408 140488845798240 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31295] ppid=31279 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31295/stat : 31295 (java) S 31279 31279 25111 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475604620 15787429888 76079 33554432000 4194304 4196468 140735373111408 140488844745264 140489384848002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
Current children cumulated CPU time: 4.11 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 305772 KiB
[startup+2.95144 s]
# the end of solver process 31279 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.46431 s, system=0.304788 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.7293 s]
/proc/loadavg: 6.51 7.04 7.21 6/233 31295
/proc/meminfo: memFree=12595900/32770624 swapFree=67002252/67108860
[pid=31279] ppid=31276 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31279/stat : 31279 (xcsp3-exec) S 31276 31279 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475604612 115843072 364 33554432000 4194304 5098028 140731872291488 140731872289592 140584936714876 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40689664 140731872297815 140731872298073 140731872298073 140731872300998 0
/proc/31279/statm: 28282 364 305 221 0 87 0
[pid=31281] ppid=31279 vsize=15417412 memory=304604 CPUtime=5.01 cores=1,3,5,7
/proc/31281/stat : 31281 (java) S 31279 31279 25111 0 -1 1077944320 17105 0 0 0 474 27 0 0 20 0 19 0 475604612 15787429888 76151 33554432000 4194304 4196468 140735373111408 140735373093952 140489384836855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
/proc/31281/statm: 3854353 76151 3499 1 0 3815453 0
[pid=31281/tid=31282] ppid=31279 vsize=15417412 memory=0 CPUtime=1.11 cores=1,3,5,7
/proc/31281/task/31282/stat : 31282 (java) S 31279 31279 25111 0 -1 1077944384 9085 0 0 0 106 5 0 0 20 0 19 0 475604613 15787429888 76151 33554432000 4194304 4196468 140735373111408 140489389077632 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31283] ppid=31279 vsize=15417412 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31281/task/31283/stat : 31283 (java) S 31279 31279 25111 0 -1 1077944384 116 0 0 0 5 4 0 0 20 0 19 0 475604613 15787429888 76151 33554432000 4194304 4196468 140735373111408 140489321073680 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31284] ppid=31279 vsize=15417412 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31281/task/31284/stat : 31284 (java) S 31279 31279 25111 0 -1 1077944384 141 0 0 0 5 4 0 0 20 0 19 0 475604613 15787429888 76151 33554432000 4194304 4196468 140735373111408 140488976424080 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31285] ppid=31279 vsize=15417412 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31281/task/31285/stat : 31285 (java) S 31279 31279 25111 0 -1 1077944384 136 0 0 0 5 4 0 0 20 0 19 0 475604613 15787429888 76151 33554432000 4194304 4196468 140735373111408 140488975371024 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31286] ppid=31279 vsize=15417412 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31281/task/31286/stat : 31286 (java) S 31279 31279 25111 0 -1 1077944384 142 0 0 0 5 4 0 0 20 0 19 0 475604613 15787429888 76151 33554432000 4194304 4196468 140735373111408 140488974318480 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31287] ppid=31279 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31287/stat : 31287 (java) S 31279 31279 25111 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 475604615 15787429888 76151 33554432000 4194304 4196468 140735373111408 140488920586480 140489384848002 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31288] ppid=31279 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31288/stat : 31288 (java) S 31279 31279 25111 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475604615 15787429888 76151 33554432000 4194304 4196468 140735373111408 140488919532768 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31289] ppid=31279 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31289/stat : 31289 (java) S 31279 31279 25111 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475604616 15787429888 76151 33554432000 4194304 4196468 140735373111408 140488918479616 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31290] ppid=31279 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31290/stat : 31290 (java) S 31279 31279 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475604618 15787429888 76151 33554432000 4194304 4196468 140735373111408 140488850008016 140489384855451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31291] ppid=31279 vsize=15417412 memory=0 CPUtime=0.86 cores=1,3,5,7
/proc/31281/task/31291/stat : 31291 (java) R 31279 31279 25111 0 -1 4202560 2056 0 0 0 86 0 0 0 20 0 19 0 475604619 15787429888 76151 33554432000 4194304 4196468 140735373111408 140488848945824 140489364080541 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31292] ppid=31279 vsize=15417412 memory=281338611638448 CPUtime=0.81 cores=1,3,5,7
/proc/31281/task/31292/stat : 31292 (java) R 31279 31279 25111 0 -1 4202560 1550 0 0 0 81 0 0 0 20 0 19 0 475604619 15787429888 76151 33554432000 4194304 4196468 140735373111408 140488847896792 140489370853701 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31293] ppid=31279 vsize=15417412 memory=13841 CPUtime=0.6 cores=1,3,5,7
/proc/31281/task/31293/stat : 31293 (java) R 31279 31279 25111 0 -1 4202560 2298 0 0 0 59 1 0 0 20 0 19 0 475604619 15787429888 76151 33554432000 4194304 4196468 140735373111408 140488846850544 140489377933691 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31294] ppid=31279 vsize=15417412 memory=23625 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31294/stat : 31294 (java) S 31279 31279 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475604619 15787429888 76151 33554432000 4194304 4196468 140735373111408 140488845798240 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31295] ppid=31279 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31295/stat : 31295 (java) S 31279 31279 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475604620 15787429888 76151 33554432000 4194304 4196468 140735373111408 140488844745264 140489384848002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
Current children cumulated CPU time: 5.01 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 306060 KiB
[startup+2.50577 s]
/proc/loadavg: 6.51 7.04 7.21 8/238 31301
/proc/meminfo: memFree=12504612/32770624 swapFree=67002252/67108860
[pid=31279] ppid=31276 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31279/stat : 31279 (xcsp3-exec) S 31276 31279 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475604612 115843072 364 33554432000 4194304 5098028 140731872291488 140731872289592 140584936714876 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40689664 140731872297815 140731872298073 140731872298073 140731872300998 0
/proc/31279/statm: 28282 364 305 221 0 87 0
[pid=31281] ppid=31279 vsize=15417412 memory=315528 CPUtime=8.1 cores=1,3,5,7
/proc/31281/stat : 31281 (java) S 31279 31279 25111 0 -1 1077944320 19791 0 0 0 781 29 0 0 20 0 19 0 475604612 15787429888 78882 33554432000 4194304 4196468 140735373111408 140735373093952 140489384836855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
/proc/31281/statm: 3854353 78882 3515 1 0 3815453 0
[pid=31281/tid=31282] ppid=31279 vsize=15417412 memory=-7027408097459412384 CPUtime=1.11 cores=1,3,5,7
/proc/31281/task/31282/stat : 31282 (java) S 31279 31279 25111 0 -1 1077944384 9085 0 0 0 106 5 0 0 20 0 19 0 475604613 15787429888 78882 33554432000 4194304 4196468 140735373111408 140489389077632 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31283] ppid=31279 vsize=15417412 memory=-7457052372387209120 CPUtime=0.09 cores=1,3,5,7
/proc/31281/task/31283/stat : 31283 (java) S 31279 31279 25111 0 -1 1077944384 116 0 0 0 5 4 0 0 20 0 19 0 475604613 15787429888 78882 33554432000 4194304 4196468 140735373111408 140489321073680 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31284] ppid=31279 vsize=15417412 memory=1456 CPUtime=0.09 cores=1,3,5,7
/proc/31281/task/31284/stat : 31284 (java) S 31279 31279 25111 0 -1 1077944384 141 0 0 0 5 4 0 0 20 0 19 0 475604613 15787429888 78882 33554432000 4194304 4196468 140735373111408 140488976424080 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31285] ppid=31279 vsize=15417412 memory=302044 CPUtime=0.09 cores=1,3,5,7
/proc/31281/task/31285/stat : 31285 (java) S 31279 31279 25111 0 -1 1077944384 136 0 0 0 5 4 0 0 20 0 19 0 475604613 15787429888 78882 33554432000 4194304 4196468 140735373111408 140488975371024 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31286] ppid=31279 vsize=15417412 memory=920 CPUtime=0.09 cores=1,3,5,7
/proc/31281/task/31286/stat : 31286 (java) S 31279 31279 25111 0 -1 1077944384 142 0 0 0 5 4 0 0 20 0 19 0 475604613 15787429888 78882 33554432000 4194304 4196468 140735373111408 140488974318480 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31287] ppid=31279 vsize=15417412 memory=3820 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31287/stat : 31287 (java) S 31279 31279 25111 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 475604615 15787429888 78882 33554432000 4194304 4196468 140735373111408 140488920586480 140489384848002 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31288] ppid=31279 vsize=15417412 memory=2592 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31288/stat : 31288 (java) S 31279 31279 25111 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475604615 15787429888 78882 33554432000 4194304 4196468 140735373111408 140488919532768 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31289] ppid=31279 vsize=15417412 memory=2592 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31289/stat : 31289 (java) S 31279 31279 25111 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475604616 15787429888 78882 33554432000 4194304 4196468 140735373111408 140488918479616 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31290] ppid=31279 vsize=15417412 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31290/stat : 31290 (java) S 31279 31279 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475604618 15787429888 78882 33554432000 4194304 4196468 140735373111408 140488850008016 140489384855451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31291] ppid=31279 vsize=15417412 memory=3168 CPUtime=1.48 cores=1,3,5,7
/proc/31281/task/31291/stat : 31291 (java) R 31279 31279 25111 0 -1 4202560 3660 0 0 0 147 1 0 0 20 0 19 0 475604619 15787429888 78882 33554432000 4194304 4196468 140735373111408 140488848937552 140489368223954 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31292] ppid=31279 vsize=15417412 memory=1452 CPUtime=1.29 cores=1,3,5,7
/proc/31281/task/31292/stat : 31292 (java) R 31279 31279 25111 0 -1 4202560 2398 0 0 0 129 0 0 0 20 0 19 0 475604619 15787429888 78882 33554432000 4194304 4196468 140735373111408 140488847889568 140489366362485 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31293] ppid=31279 vsize=15417412 memory=12618612 CPUtime=0.67 cores=1,3,5,7
/proc/31281/task/31293/stat : 31293 (java) S 31279 31279 25111 0 -1 1077944384 2523 0 0 0 65 2 0 0 20 0 19 0 475604619 15787429888 78882 33554432000 4194304 4196468 140735373111408 140488846850384 140489384858045 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31294] ppid=31279 vsize=15417412 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31294/stat : 31294 (java) S 31279 31279 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475604619 15787429888 78882 33554432000 4194304 4196468 140735373111408 140488845798240 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31295] ppid=31279 vsize=15417412 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31295/stat : 31295 (java) S 31279 31279 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475604620 15787429888 78882 33554432000 4194304 4196468 140735373111408 140488844745264 140489384848002 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31296] ppid=31279 vsize=15417412 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/31281/task/31296/stat : 31296 (java) R 31279 31279 25111 0 -1 4202560 45 0 0 0 76 0 0 0 20 0 19 0 475604737 15787429888 78882 33554432000 4194304 4196468 140735373111408 140488835765848 140489007084219 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31297] ppid=31279 vsize=15417412 memory=220028 CPUtime=0.77 cores=1,3,5,7
/proc/31281/task/31297/stat : 31297 (java) R 31279 31279 25111 0 -1 4202560 69 0 0 0 77 0 0 0 20 0 19 0 475604737 15787429888 78882 33554432000 4194304 4196468 140735373111408 140488834713480 140489007082429 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31298] ppid=31279 vsize=15417412 memory=281338611851952 CPUtime=0.82 cores=1,3,5,7
/proc/31281/task/31298/stat : 31298 (java) R 31279 31279 25111 0 -1 4202560 44 0 0 0 81 1 0 0 20 0 19 0 475604737 15787429888 78882 33554432000 4194304 4196468 140735373111408 140488833659128 140489384848790 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31299] ppid=31279 vsize=15417412 memory=301793952498188577 CPUtime=0.74 cores=1,3,5,7
/proc/31281/task/31299/stat : 31299 (java) R 31279 31279 25111 0 -1 4202560 47 0 0 0 74 0 0 0 20 0 19 0 475604737 15787429888 78882 33554432000 4194304 4196468 140735373111408 140488832606760 140489007207275 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
Current children cumulated CPU time: 8.1 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 316984 KiB
[startup+2.90086 s]
/proc/loadavg: 6.51 7.04 7.21 8/238 31301
/proc/meminfo: memFree=12504612/32770624 swapFree=67002252/67108860
[pid=31279] ppid=31276 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/31279/stat : 31279 (xcsp3-exec) S 31276 31279 25111 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475604612 115843072 364 33554432000 4194304 5098028 140731872291488 140731872289592 140584936714876 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 40689664 140731872297815 140731872298073 140731872298073 140731872300998 0
/proc/31279/statm: 28282 364 305 221 0 87 0
[pid=31281] ppid=31279 vsize=15417412 memory=336344 CPUtime=9.62 cores=1,3,5,7
/proc/31281/stat : 31281 (java) S 31279 31279 25111 0 -1 1077944320 19954 0 0 0 933 29 0 0 20 0 19 0 475604612 15787429888 84086 33554432000 4194304 4196468 140735373111408 140735373093952 140489384836855 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
/proc/31281/statm: 3854353 84086 3518 1 0 3815453 0
[pid=31281/tid=31282] ppid=31279 vsize=15417412 memory=-3704326594973231466 CPUtime=1.11 cores=1,3,5,7
/proc/31281/task/31282/stat : 31282 (java) S 31279 31279 25111 0 -1 1077944384 9085 0 0 0 106 5 0 0 20 0 19 0 475604613 15787429888 84086 33554432000 4194304 4196468 140735373111408 140489389077632 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31283] ppid=31279 vsize=15417412 memory=7679373425970869011 CPUtime=0.09 cores=1,3,5,7
/proc/31281/task/31283/stat : 31283 (java) S 31279 31279 25111 0 -1 1077944384 116 0 0 0 5 4 0 0 20 0 19 0 475604613 15787429888 84086 33554432000 4194304 4196468 140735373111408 140489321073680 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31284] ppid=31279 vsize=15417412 memory=-7101718590825193272 CPUtime=0.09 cores=1,3,5,7
/proc/31281/task/31284/stat : 31284 (java) S 31279 31279 25111 0 -1 1077944384 141 0 0 0 5 4 0 0 20 0 19 0 475604613 15787429888 84086 33554432000 4194304 4196468 140735373111408 140488976424080 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31285] ppid=31279 vsize=15417412 memory=-2317720213663324238 CPUtime=0.09 cores=1,3,5,7
/proc/31281/task/31285/stat : 31285 (java) S 31279 31279 25111 0 -1 1077944384 136 0 0 0 5 4 0 0 20 0 19 0 475604613 15787429888 84086 33554432000 4194304 4196468 140735373111408 140488975371024 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31286] ppid=31279 vsize=15417412 memory=6944652177228980320 CPUtime=0.09 cores=1,3,5,7
/proc/31281/task/31286/stat : 31286 (java) S 31279 31279 25111 0 -1 1077944384 142 0 0 0 5 4 0 0 20 0 19 0 475604613 15787429888 84086 33554432000 4194304 4196468 140735373111408 140488974318480 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31287] ppid=31279 vsize=15417412 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31287/stat : 31287 (java) S 31279 31279 25111 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 475604615 15787429888 84086 33554432000 4194304 4196468 140735373111408 140488920586480 140489384848002 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31288] ppid=31279 vsize=15417412 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31288/stat : 31288 (java) S 31279 31279 25111 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 475604615 15787429888 84086 33554432000 4194304 4196468 140735373111408 140488919532768 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31289] ppid=31279 vsize=15417412 memory=56 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31289/stat : 31289 (java) S 31279 31279 25111 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475604616 15787429888 84086 33554432000 4194304 4196468 140735373111408 140488918479616 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31290] ppid=31279 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31290/stat : 31290 (java) S 31279 31279 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475604618 15787429888 84086 33554432000 4194304 4196468 140735373111408 140488850008016 140489384855451 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31291] ppid=31279 vsize=15417412 memory=0 CPUtime=1.56 cores=1,3,5,7
/proc/31281/task/31291/stat : 31291 (java) S 31279 31279 25111 0 -1 1077944384 3675 0 0 0 155 1 0 0 20 0 19 0 475604619 15787429888 84086 33554432000 4194304 4196468 140735373111408 140488848956144 140489384848002 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31292] ppid=31279 vsize=15417412 memory=8695781963634014376 CPUtime=1.47 cores=1,3,5,7
/proc/31281/task/31292/stat : 31292 (java) S 31279 31279 25111 0 -1 1077944384 2460 0 0 0 147 0 0 0 20 0 19 0 475604619 15787429888 84086 33554432000 4194304 4196468 140735373111408 140488847903600 140489384848002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31293] ppid=31279 vsize=15417412 memory=6944656592455360604 CPUtime=0.69 cores=1,3,5,7
/proc/31281/task/31293/stat : 31293 (java) S 31279 31279 25111 0 -1 1077944384 2546 0 0 0 67 2 0 0 20 0 19 0 475604619 15787429888 84086 33554432000 4194304 4196468 140735373111408 140488846850544 140489384848002 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31294] ppid=31279 vsize=15417412 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31294/stat : 31294 (java) S 31279 31279 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475604619 15787429888 84086 33554432000 4194304 4196468 140735373111408 140488845798240 140489384847061 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31295] ppid=31279 vsize=15417412 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/31281/task/31295/stat : 31295 (java) R 31279 31279 25111 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475604620 15787429888 84086 33554432000 4194304 4196468 140735373111408 140488844745264 140489384848002 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31296] ppid=31279 vsize=15417412 memory=-3833726747341067623 CPUtime=1.07 cores=1,3,5,7
/proc/31281/task/31296/stat : 31296 (java) R 31279 31279 25111 0 -1 4202560 47 0 0 0 107 0 0 0 20 0 19 0 475604737 15787429888 84086 33554432000 4194304 4196468 140735373111408 140488835764448 140489007081910 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31297] ppid=31279 vsize=15417412 memory=-7595754389018307680 CPUtime=1.07 cores=1,3,5,7
/proc/31281/task/31297/stat : 31297 (java) R 31279 31279 25111 0 -1 4202560 100 0 0 0 107 0 0 0 20 0 19 0 475604737 15787429888 84086 33554432000 4194304 4196468 140735373111408 140488834711352 140489007407781 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31298] ppid=31279 vsize=15417412 memory=7681905605394137875 CPUtime=1.18 cores=1,3,5,7
/proc/31281/task/31298/stat : 31298 (java) R 31279 31279 25111 0 -1 4202560 65 0 0 0 117 1 0 0 20 0 19 0 475604737 15787429888 84086 33554432000 4194304 4196468 140735373111408 140488833659368 140489007084219 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
[pid=31281/tid=31299] ppid=31279 vsize=15417412 memory=0 CPUtime=1.01 cores=1,3,5,7
/proc/31281/task/31299/stat : 31299 (java) R 31279 31279 25111 0 -1 4202560 56 0 0 0 101 0 0 0 20 0 19 0 475604737 15787429888 84086 33554432000 4194304 4196468 140735373111408 140488832606904 140489007406897 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24281088 140735373116379 140735373116554 140735373116554 140735373119439 0
Current children cumulated CPU time: 9.62 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 337800 KiB
Child status: 0
Real time (s): 2.95148
CPU time (s): 9.7691
CPU user time (s): 9.46431
CPU system time (s): 0.304788
CPU usage (%): 330.989
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 337800
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.46431
system time used= 0.304788
maximum resident set size= 341560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20558
page faults= 0
swaps= 0
block input operations= 8
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2187
involuntary context switches= 380
# summary of solver processes directly reported to runsolver:
# pid: 31279
# total CPU time (s): 9.7691
# total CPU user time (s): 9.46431
# total CPU system time (s): 0.304788
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042875 second user time and 0.073835 second system time
The end