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 (9708 MiB free)
memory of node 1: 16384 MiB (12245 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283059-1503210790/watcher-4283059-1503210790 -o /tmp/evaluation-result-4283059-1503210790/solver-4283059-1503210790 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node150-1503208459-5117 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1117001645 HOME/instance-4283059-1503210790.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=6562, runsolver pid=6559
Current StackSize limit: 8192 KiB
[startup+0.102197 s]*
/proc/loadavg: 2.02 1.94 1.61 5/217 6578
/proc/meminfo: memFree=22463228/32770624 swapFree=67108860/67108860
[pid=6562] ppid=6559 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6562/stat : 6562 (xcsp3-exec) S 6559 6562 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154159927 9740288 346 33554432000 4194304 5098028 140729745563344 140729745561448 139684964848252 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32329728 140729745568884 140729745569088 140729745569088 140729745571819 0
/proc/6562/statm: 2378 346 289 221 0 87 0
[pid=6564] ppid=6562 vsize=13978596 memory=28364 CPUtime=0.12 cores=1,3,5,7
/proc/6564/stat : 6564 (java) S 6562 6562 5085 0 -1 1077944320 5458 0 0 0 11 1 0 0 20 0 15 0 154159927 14314082304 7091 33554432000 4194304 4196468 140734126937024 140734126919568 139978946494199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
/proc/6564/statm: 3494649 7091 2863 1 0 3482966 0
[pid=6564/tid=6565] ppid=6562 vsize=13978596 memory=7757350987124413275 CPUtime=0.09 cores=1,3,5,7
/proc/6564/task/6565/stat : 6565 (java) R 6562 6562 5085 0 -1 4202560 3463 0 0 0 8 1 0 0 20 0 15 0 154159927 14314082304 7157 33554432000 4194304 4196468 140734126937024 139978950725504 139978946506134 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6566] ppid=6562 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6566/stat : 6566 (java) S 6562 6562 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154159928 14314082304 7157 33554432000 4194304 4196468 140734126937024 139978899114640 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6567] ppid=6562 vsize=13978596 memory=139721640740480 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6567/stat : 6567 (java) S 6562 6562 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154159928 14314082304 7157 33554432000 4194304 4196468 140734126937024 139978898061840 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6568] ppid=6562 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6568/stat : 6568 (java) S 6562 6562 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154159928 14314082304 7157 33554432000 4194304 4196468 140734126937024 139978897009040 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6569] ppid=6562 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6569/stat : 6569 (java) S 6562 6562 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154159928 14314082304 7157 33554432000 4194304 4196468 140734126937024 139978895956240 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6570] ppid=6562 vsize=13978596 memory=139721640740480 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6570/stat : 6570 (java) S 6562 6562 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154159929 14314082304 7157 33554432000 4194304 4196468 140734126937024 139977858485104 139978946505346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6571] ppid=6562 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6571/stat : 6571 (java) S 6562 6562 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154159930 14314082304 7157 33554432000 4194304 4196468 140734126937024 139977857431072 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6572] ppid=6562 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6572/stat : 6572 (java) S 6562 6562 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154159930 14314082304 7157 33554432000 4194304 4196468 140734126937024 139977856378224 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6573] ppid=6562 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6573/stat : 6573 (java) S 6562 6562 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154159932 14314082304 7157 33554432000 4194304 4196468 140734126937024 139977855326544 139978946512795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6574] ppid=6562 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6574/stat : 6574 (java) S 6562 6562 5085 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 154159932 14314082304 7157 33554432000 4194304 4196468 140734126937024 139977854273904 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6575] ppid=6562 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6575/stat : 6575 (java) S 6562 6562 5085 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 154159932 14314082304 7157 33554432000 4194304 4196468 140734126937024 139977853221104 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6576] ppid=6562 vsize=13978596 memory=139721640740480 CPUtime=0.01 cores=1,3,5,7
/proc/6564/task/6576/stat : 6576 (java) R 6562 6562 5085 0 -1 4202560 341 0 0 0 1 0 0 0 20 0 15 0 154159932 14314082304 7157 33554432000 4194304 4196468 140734126937024 139977852168304 139978938731326 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6577] ppid=6562 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6577/stat : 6577 (java) S 6562 6562 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154159933 14314082304 7157 33554432000 4194304 4196468 140734126937024 139977851115744 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6578] ppid=6562 vsize=13978596 memory=139721640740480 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6578/stat : 6578 (java) S 6562 6562 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154159933 14314082304 7157 33554432000 4194304 4196468 140734126937024 139977850064048 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29748 KiB
[startup+0.210682 s]*
/proc/loadavg: 2.02 1.94 1.61 3/217 6578
/proc/meminfo: memFree=22451568/32770624 swapFree=67108860/67108860
[pid=6562] ppid=6559 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6562/stat : 6562 (xcsp3-exec) S 6559 6562 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154159927 9740288 346 33554432000 4194304 5098028 140729745563344 140729745561448 139684964848252 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32329728 140729745568884 140729745569088 140729745569088 140729745571819 0
/proc/6562/statm: 2378 346 289 221 0 87 0
[pid=6564] ppid=6562 vsize=13982884 memory=40440 CPUtime=0.34 cores=1,3,5,7
/proc/6564/stat : 6564 (java) S 6562 6562 5085 0 -1 1077944320 8166 0 0 0 31 3 0 0 20 0 15 0 154159927 14318473216 10110 33554432000 4194304 4196468 140734126937024 140734126919568 139978946494199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
/proc/6564/statm: 3495713 10110 3052 1 0 3482966 0
[pid=6564/tid=6565] ppid=6562 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/6564/task/6565/stat : 6565 (java) D 6562 6562 5085 0 -1 1077944384 5330 0 0 0 18 2 0 0 20 0 15 0 154159927 14318440448 10110 33554432000 4194304 4196468 140734126937024 139978950704992 139978939173421 0 4 0 16800975 18446744072101654052 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6566] ppid=6562 vsize=13982852 memory=9010 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6566/stat : 6566 (java) S 6562 6562 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154159928 14318440448 10110 33554432000 4194304 4196468 140734126937024 139978899114640 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6567] ppid=6562 vsize=13982852 memory=139721640850389 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6567/stat : 6567 (java) S 6562 6562 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154159928 14318440448 10110 33554432000 4194304 4196468 140734126937024 139978898061840 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6568] ppid=6562 vsize=13982884 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6568/stat : 6568 (java) S 6562 6562 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154159928 14318473216 10110 33554432000 4194304 4196468 140734126937024 139978897009040 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6569] ppid=6562 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6569/stat : 6569 (java) S 6562 6562 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154159928 14318473216 10110 33554432000 4194304 4196468 140734126937024 139978895956240 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6570] ppid=6562 vsize=13982852 memory=139721640740480 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6570/stat : 6570 (java) S 6562 6562 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154159929 14318440448 10110 33554432000 4194304 4196468 140734126937024 139977858485104 139978946505346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6571] ppid=6562 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6571/stat : 6571 (java) S 6562 6562 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154159930 14318440448 10110 33554432000 4194304 4196468 140734126937024 139977857431072 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6572] ppid=6562 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6572/stat : 6572 (java) S 6562 6562 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154159930 14318440448 10110 33554432000 4194304 4196468 140734126937024 139977856378224 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6573] ppid=6562 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6573/stat : 6573 (java) S 6562 6562 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154159932 14318440448 10110 33554432000 4194304 4196468 140734126937024 139977855326544 139978946512795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6574] ppid=6562 vsize=13982852 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/6564/task/6574/stat : 6574 (java) S 6562 6562 5085 0 -1 1077944384 490 0 0 0 1 0 0 0 20 0 15 0 154159932 14318440448 10110 33554432000 4194304 4196468 140734126937024 139977854273904 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6575] ppid=6562 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6564/task/6575/stat : 6575 (java) S 6562 6562 5085 0 -1 1077944384 328 0 0 0 2 0 0 0 20 0 15 0 154159932 14318440448 10110 33554432000 4194304 4196468 140734126937024 139977853221104 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6576] ppid=6562 vsize=13982884 memory=139721640740480 CPUtime=0.08 cores=1,3,5,7
/proc/6564/task/6576/stat : 6576 (java) S 6562 6562 5085 0 -1 1077944384 748 0 0 0 8 0 0 0 20 0 15 0 154159932 14318473216 10110 33554432000 4194304 4196468 140734126937024 139977852168304 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6577] ppid=6562 vsize=13982884 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6577/stat : 6577 (java) S 6562 6562 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154159933 14318473216 10110 33554432000 4194304 4196468 140734126937024 139977851115744 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6578] ppid=6562 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6578/stat : 6578 (java) S 6562 6562 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154159933 14318440448 10110 33554432000 4194304 4196468 140734126937024 139977850064048 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992396 KiB
Current children cumulated memory: 41824 KiB
[startup+0.310474 s]*
/proc/loadavg: 2.02 1.94 1.61 5/217 6578
/proc/meminfo: memFree=22445240/32770624 swapFree=67108860/67108860
[pid=6562] ppid=6559 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6562/stat : 6562 (xcsp3-exec) S 6559 6562 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154159927 9740288 346 33554432000 4194304 5098028 140729745563344 140729745561448 139684964848252 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32329728 140729745568884 140729745569088 140729745569088 140729745571819 0
/proc/6562/statm: 2378 346 289 221 0 87 0
[pid=6564] ppid=6562 vsize=13982852 memory=47320 CPUtime=0.5 cores=1,3,5,7
/proc/6564/stat : 6564 (java) S 6562 6562 5085 0 -1 1077944320 9002 0 0 0 47 3 0 0 20 0 15 0 154159927 14318440448 11830 33554432000 4194304 4196468 140734126937024 140734126919568 139978946494199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
/proc/6564/statm: 3495713 11830 3099 1 0 3482966 0
[pid=6564/tid=6565] ppid=6562 vsize=13982852 memory=8112282956445269571 CPUtime=0.29 cores=1,3,5,7
/proc/6564/task/6565/stat : 6565 (java) R 6562 6562 5085 0 -1 4202560 5953 0 0 0 27 2 0 0 20 0 15 0 154159927 14318440448 11830 33554432000 4194304 4196468 140734126937024 139978950720080 139978924490384 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6566] ppid=6562 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6566/stat : 6566 (java) S 6562 6562 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154159928 14318440448 11830 33554432000 4194304 4196468 140734126937024 139978899114640 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6567] ppid=6562 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6567/stat : 6567 (java) S 6562 6562 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154159928 14318440448 11830 33554432000 4194304 4196468 140734126937024 139978898061840 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6568] ppid=6562 vsize=13982852 memory=-2026666227646604569 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6568/stat : 6568 (java) S 6562 6562 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154159928 14318440448 11830 33554432000 4194304 4196468 140734126937024 139978897009040 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6569] ppid=6562 vsize=13982852 memory=6945503147187019673 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6569/stat : 6569 (java) S 6562 6562 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154159928 14318440448 11830 33554432000 4194304 4196468 140734126937024 139978895956240 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6570] ppid=6562 vsize=13982852 memory=6944657691966988345 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6570/stat : 6570 (java) S 6562 6562 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154159929 14318440448 11830 33554432000 4194304 4196468 140734126937024 139977858485104 139978946505346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6571] ppid=6562 vsize=13982852 memory=4196912344889787449 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6571/stat : 6571 (java) S 6562 6562 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154159930 14318440448 11830 33554432000 4194304 4196468 140734126937024 139977857431072 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6572] ppid=6562 vsize=13982852 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6572/stat : 6572 (java) S 6562 6562 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154159930 14318440448 11830 33554432000 4194304 4196468 140734126937024 139977856378224 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6573] ppid=6562 vsize=13982852 memory=-6444775992005010620 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6573/stat : 6573 (java) S 6562 6562 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154159932 14318440448 11830 33554432000 4194304 4196468 140734126937024 139977855326544 139978946512795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6574] ppid=6562 vsize=13982852 memory=7100839887185294217 CPUtime=0.03 cores=1,3,5,7
/proc/6564/task/6574/stat : 6574 (java) R 6562 6562 5085 0 -1 4202560 518 0 0 0 3 0 0 0 20 0 15 0 154159932 14318440448 11830 33554432000 4194304 4196468 140734126937024 139977854273904 139978929776128 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6575] ppid=6562 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6564/task/6575/stat : 6575 (java) R 6562 6562 5085 0 -1 1077944384 352 0 0 0 3 0 0 0 20 0 15 0 154159932 14318440448 11830 33554432000 4194304 4196468 140734126937024 139977853221104 139978946505346 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6576] ppid=6562 vsize=13982852 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/6564/task/6576/stat : 6576 (java) R 6562 6562 5085 0 -1 4202560 886 0 0 0 13 0 0 0 20 0 15 0 154159932 14318440448 11830 33554432000 4194304 4196468 140734126937024 139977852164256 139978946515546 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6577] ppid=6562 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6577/stat : 6577 (java) S 6562 6562 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154159933 14318440448 11830 33554432000 4194304 4196468 140734126937024 139977851115744 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6578] ppid=6562 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6578/stat : 6578 (java) S 6562 6562 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154159933 14318440448 11830 33554432000 4194304 4196468 140734126937024 139977850064048 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48704 KiB
[startup+0.701227 s]
/proc/loadavg: 2.02 1.94 1.61 5/217 6578
/proc/meminfo: memFree=22434184/32770624 swapFree=67108860/67108860
[pid=6562] ppid=6559 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6562/stat : 6562 (xcsp3-exec) S 6559 6562 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154159927 9740288 346 33554432000 4194304 5098028 140729745563344 140729745561448 139684964848252 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32329728 140729745568884 140729745569088 140729745569088 140729745571819 0
/proc/6562/statm: 2378 346 289 221 0 87 0
[pid=6564] ppid=6562 vsize=13984976 memory=71360 CPUtime=1.58 cores=1,3,5,7
/proc/6564/stat : 6564 (java) S 6562 6562 5085 0 -1 1077944320 12487 0 0 0 152 6 0 0 20 0 15 0 154159927 14320615424 17840 33554432000 4194304 4196468 140734126937024 140734126919568 139978946494199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
/proc/6564/statm: 3496244 17840 3208 1 0 3483478 0
[pid=6564/tid=6565] ppid=6562 vsize=13984976 memory=33 CPUtime=0.66 cores=1,3,5,7
/proc/6564/task/6565/stat : 6565 (java) R 6562 6562 5085 0 -1 4202560 6671 0 0 0 63 3 0 0 20 0 15 0 154159927 14320615424 17840 33554432000 4194304 4196468 140734126937024 139978950730672 139978575336332 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6566] ppid=6562 vsize=13984976 memory=-7082918048272507482 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6566/stat : 6566 (java) S 6562 6562 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154159928 14320615424 17840 33554432000 4194304 4196468 140734126937024 139978899114640 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6567] ppid=6562 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6567/stat : 6567 (java) S 6562 6562 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154159928 14320615424 17840 33554432000 4194304 4196468 140734126937024 139978898061840 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6568] ppid=6562 vsize=13984976 memory=42996 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6568/stat : 6568 (java) S 6562 6562 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154159928 14320615424 17840 33554432000 4194304 4196468 140734126937024 139978897009040 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6569] ppid=6562 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6569/stat : 6569 (java) S 6562 6562 5085 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154159928 14320615424 17840 33554432000 4194304 4196468 140734126937024 139978895956240 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6570] ppid=6562 vsize=13984976 memory=2396 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6570/stat : 6570 (java) S 6562 6562 5085 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154159929 14320615424 17840 33554432000 4194304 4196468 140734126937024 139977858485104 139978946505346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6571] ppid=6562 vsize=13984976 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6571/stat : 6571 (java) S 6562 6562 5085 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154159930 14320615424 17840 33554432000 4194304 4196468 140734126937024 139977857431072 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6572] ppid=6562 vsize=13984976 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6572/stat : 6572 (java) S 6562 6562 5085 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154159930 14320615424 17840 33554432000 4194304 4196468 140734126937024 139977856378224 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6573] ppid=6562 vsize=13984976 memory=11112 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6573/stat : 6573 (java) S 6562 6562 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154159932 14320615424 17840 33554432000 4194304 4196468 140734126937024 139977855326544 139978946512795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6574] ppid=6562 vsize=13984976 memory=5776 CPUtime=0.26 cores=1,3,5,7
/proc/6564/task/6574/stat : 6574 (java) R 6562 6562 5085 0 -1 4202560 1602 0 0 0 26 0 0 0 20 0 15 0 154159932 14320615424 17840 33554432000 4194304 4196468 140734126937024 139977854260720 139978927674310 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6575] ppid=6562 vsize=13984976 memory=4616 CPUtime=0.24 cores=1,3,5,7
/proc/6564/task/6575/stat : 6575 (java) R 6562 6562 5085 0 -1 4202560 983 0 0 0 24 0 0 0 20 0 15 0 154159932 14320615424 17840 33554432000 4194304 4196468 140734126937024 139977853212752 139978924089361 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6576] ppid=6562 vsize=13984976 memory=792 CPUtime=0.37 cores=1,3,5,7
/proc/6564/task/6576/stat : 6576 (java) R 6562 6562 5085 0 -1 4202560 1925 0 0 0 37 0 0 0 20 0 15 0 154159932 14320615424 17840 33554432000 4194304 4196468 140734126937024 139977852168304 139978925154893 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6577] ppid=6562 vsize=13984976 memory=1424 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6577/stat : 6577 (java) S 6562 6562 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154159933 14320615424 17840 33554432000 4194304 4196468 140734126937024 139977851115744 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6578] ppid=6562 vsize=13984976 memory=1936 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6578/stat : 6578 (java) S 6562 6562 5085 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154159933 14320615424 17840 33554432000 4194304 4196468 140734126937024 139977850064048 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 72744 KiB
[startup+1.50085 s]
/proc/loadavg: 2.02 1.94 1.61 5/217 6578
/proc/meminfo: memFree=22408820/32770624 swapFree=67108860/67108860
[pid=6562] ppid=6559 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6562/stat : 6562 (xcsp3-exec) S 6559 6562 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154159927 9740288 346 33554432000 4194304 5098028 140729745563344 140729745561448 139684964848252 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32329728 140729745568884 140729745569088 140729745569088 140729745571819 0
/proc/6562/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/6564/task/6572/stat : 6572 (java) S 6562 6562 5085 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154159930 14320615424 41996 33554432000 4194304 4196468 140734126937024 139977856378224 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6573] ppid=6562 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6573/stat : 6573 (java) S 6562 6562 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154159932 14320615424 41996 33554432000 4194304 4196468 140734126937024 139977855326544 139978946512795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6574] ppid=6562 vsize=13984976 memory=170004 CPUtime=1.52 cores=1,3,5,7
/proc/6564/task/6574/stat : 6574 (java) S 6562 6562 5085 0 -1 1077944384 12133 0 0 0 150 2 0 0 20 0 15 0 154159932 14320615424 41996 33554432000 4194304 4196468 140734126937024 139977854273904 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6575] ppid=6562 vsize=13984976 memory=170004 CPUtime=1.45 cores=1,3,5,7
/proc/6564/task/6575/stat : 6575 (java) S 6562 6562 5085 0 -1 1077944384 11032 0 0 0 144 1 0 0 20 0 15 0 154159932 14320615424 41996 33554432000 4194304 4196468 140734126937024 139977853221104 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6576] ppid=6562 vsize=13984976 memory=43000 CPUtime=0.51 cores=1,3,5,7
/proc/6564/task/6576/stat : 6576 (java) S 6562 6562 5085 0 -1 1077944384 6527 0 0 0 50 1 0 0 20 0 15 0 154159932 14320615424 41996 33554432000 4194304 4196468 140734126937024 139977852168304 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6577] ppid=6562 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6577/stat : 6577 (java) S 6562 6562 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154159933 14320615424 41996 33554432000 4194304 4196468 140734126937024 139977851115744 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6578] ppid=6562 vsize=13984976 memory=2396 CPUtime=0.01 cores=1,3,5,7
/proc/6564/task/6578/stat : 6578 (java) S 6562 6562 5085 0 -1 1077944384 787 0 0 0 0 1 0 0 20 0 15 0 154159933 14320615424 41996 33554432000 4194304 4196468 140734126937024 139977850064048 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
Current children cumulated CPU time: 105.93 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 169368 KiB
[startup+162.301 s]
/proc/loadavg: 1.88 1.94 1.66 3/218 6588
/proc/meminfo: memFree=22344556/32770624 swapFree=67108860/67108860
[pid=6562] ppid=6559 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6562/stat : 6562 (xcsp3-exec) S 6559 6562 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154159927 9740288 346 33554432000 4194304 5098028 140729745563344 140729745561448 139684964848252 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32329728 140729745568884 140729745569088 140729745569088 140729745571819 0
/proc/6562/statm: 2378 346 289 221 0 87 0
[pid=6564] ppid=6562 vsize=13984976 memory=168392 CPUtime=166.07 cores=1,3,5,7
/proc/6564/stat : 6564 (java) S 6562 6562 5085 0 -1 1077944320 52440 0 0 0 16588 19 0 0 20 0 15 0 154159927 14320615424 42098 33554432000 4194304 4196468 140734126937024 140734126919568 139978946494199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
/proc/6564/statm: 3496244 42098 3258 1 0 3483478 0
[pid=6564/tid=6565] ppid=6562 vsize=13984976 memory=1384 CPUtime=162.08 cores=1,3,5,7
/proc/6564/task/6565/stat : 6565 (java) R 6562 6562 5085 0 -1 4202560 12079 0 0 0 16203 5 0 0 20 0 15 0 154159927 14320615424 42098 33554432000 4194304 4196468 140734126937024 139978950733840 139978574019751 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6566] ppid=6562 vsize=13984976 memory=168392 CPUtime=0.06 cores=1,3,5,7
/proc/6564/task/6566/stat : 6566 (java) S 6562 6562 5085 0 -1 1077944384 842 0 0 0 5 1 0 0 20 0 15 0 154159928 14320615424 42098 33554432000 4194304 4196468 140734126937024 139978899114640 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6567] ppid=6562 vsize=13984976 memory=1384 CPUtime=0.07 cores=1,3,5,7
/proc/6564/task/6567/stat : 6567 (java) S 6562 6562 5085 0 -1 1077944384 883 0 0 0 6 1 0 0 20 0 15 0 154159928 14320615424 42098 33554432000 4194304 4196468 140734126937024 139978898061840 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6568] ppid=6562 vsize=13984976 memory=168200 CPUtime=0.07 cores=1,3,5,7
/proc/6564/task/6568/stat : 6568 (java) S 6562 6562 5085 0 -1 1077944384 1123 0 0 0 6 1 0 0 20 0 15 0 154159928 14320615424 42098 33554432000 4194304 4196468 140734126937024 139978897009040 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6569] ppid=6562 vsize=13984976 memory=1384 CPUtime=0.06 cores=1,3,5,7
/proc/6564/task/6569/stat : 6569 (java) S 6562 6562 5085 0 -1 1077944384 2042 0 0 0 5 1 0 0 20 0 15 0 154159928 14320615424 42098 33554432000 4194304 4196468 140734126937024 139978895956240 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6570] ppid=6562 vsize=13984976 memory=1384 CPUtime=0.07 cores=1,3,5,7
/proc/6564/task/6570/stat : 6570 (java) S 6562 6562 5085 0 -1 1077944384 1915 0 0 0 6 1 0 0 20 0 15 0 154159929 14320615424 42098 33554432000 4194304 4196468 140734126937024 139977858485104 139978946505346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6571] ppid=6562 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6571/stat : 6571 (java) S 6562 6562 5085 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 154159930 14320615424 42098 33554432000 4194304 4196468 140734126937024 139977857431072 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6572] ppid=6562 vsize=13984976 memory=168200 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6572/stat : 6572 (java) S 6562 6562 5085 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154159930 14320615424 42098 33554432000 4194304 4196468 140734126937024 139977856378224 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6573] ppid=6562 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6573/stat : 6573 (java) S 6562 6562 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154159932 14320615424 42098 33554432000 4194304 4196468 140734126937024 139977855326544 139978946512795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6574] ppid=6562 vsize=13984976 memory=1384 CPUtime=1.56 cores=1,3,5,7
/proc/6564/task/6574/stat : 6574 (java) S 6562 6562 5085 0 -1 1077944384 13517 0 0 0 154 2 0 0 20 0 15 0 154159932 14320615424 42098 33554432000 4194304 4196468 140734126937024 139977854273904 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6575] ppid=6562 vsize=13984976 memory=4140 CPUtime=1.46 cores=1,3,5,7
/proc/6564/task/6575/stat : 6575 (java) S 6562 6562 5085 0 -1 1077944384 11334 0 0 0 145 1 0 0 20 0 15 0 154159932 14320615424 42098 33554432000 4194304 4196468 140734126937024 139977853221104 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6576] ppid=6562 vsize=13984976 memory=43000 CPUtime=0.51 cores=1,3,5,7
/proc/6564/task/6576/stat : 6576 (java) S 6562 6562 5085 0 -1 1077944384 6533 0 0 0 50 1 0 0 20 0 15 0 154159932 14320615424 42098 33554432000 4194304 4196468 140734126937024 139977852168304 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6577] ppid=6562 vsize=13984976 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6577/stat : 6577 (java) S 6562 6562 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154159933 14320615424 42098 33554432000 4194304 4196468 140734126937024 139977851115744 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6578] ppid=6562 vsize=13984976 memory=8112282956445269571 CPUtime=0.03 cores=1,3,5,7
/proc/6564/task/6578/stat : 6578 (java) S 6562 6562 5085 0 -1 1077944384 810 0 0 0 1 2 0 0 20 0 15 0 154159933 14320615424 42098 33554432000 4194304 4196468 140734126937024 139977850064048 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
Current children cumulated CPU time: 166.07 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 169776 KiB
[startup+222.301 s]
/proc/loadavg: 1.51 1.83 1.64 3/218 6589
/proc/meminfo: memFree=22325380/32770624 swapFree=67108860/67108860
[pid=6562] ppid=6559 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6562/stat : 6562 (xcsp3-exec) S 6559 6562 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154159927 9740288 346 33554432000 4194304 5098028 140729745563344 140729745561448 139684964848252 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32329728 140729745568884 140729745569088 140729745569088 140729745571819 0
/proc/6562/statm: 2378 346 289 221 0 87 0
[pid=6564] ppid=6562 vsize=13984976 memory=176872 CPUtime=226.39 cores=1,3,5,7
/proc/6564/stat : 6564 (java) S 6562 6562 5085 0 -1 1077944320 55407 0 0 0 22617 22 0 0 20 0 15 0 154159927 14320615424 44218 33554432000 4194304 4196468 140734126937024 140734126919568 139978946494199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
/proc/6564/statm: 3496244 44218 3258 1 0 3483478 0
[pid=6564/tid=6565] ppid=6562 vsize=13984976 memory=176872 CPUtime=221.83 cores=1,3,5,7
/proc/6564/task/6565/stat : 6565 (java) R 6562 6562 5085 0 -1 4202560 12422 0 0 0 22178 5 0 0 20 0 15 0 154159927 14320615424 44218 33554432000 4194304 4196468 140734126937024 139978950733744 139978574018811 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6566] ppid=6562 vsize=13984976 memory=176872 CPUtime=0.16 cores=1,3,5,7
/proc/6564/task/6566/stat : 6566 (java) S 6562 6562 5085 0 -1 1077944384 888 0 0 0 14 2 0 0 20 0 15 0 154159928 14320615424 44218 33554432000 4194304 4196468 140734126937024 139978899114640 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6567] ppid=6562 vsize=13984976 memory=174824 CPUtime=0.16 cores=1,3,5,7
/proc/6564/task/6567/stat : 6567 (java) S 6562 6562 5085 0 -1 1077944384 940 0 0 0 15 1 0 0 20 0 15 0 154159928 14320615424 44218 33554432000 4194304 4196468 140734126937024 139978898061840 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6568] ppid=6562 vsize=13984976 memory=176872 CPUtime=0.16 cores=1,3,5,7
/proc/6564/task/6568/stat : 6568 (java) S 6562 6562 5085 0 -1 1077944384 1164 0 0 0 15 1 0 0 20 0 15 0 154159928 14320615424 44218 33554432000 4194304 4196468 140734126937024 139978897009040 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6569] ppid=6562 vsize=13984976 memory=1384 CPUtime=0.17 cores=1,3,5,7
/proc/6564/task/6569/stat : 6569 (java) S 6562 6562 5085 0 -1 1077944384 2101 0 0 0 14 3 0 0 20 0 15 0 154159928 14320615424 44218 33554432000 4194304 4196468 140734126937024 139978895956240 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6570] ppid=6562 vsize=13984976 memory=176872 CPUtime=0.16 cores=1,3,5,7
/proc/6564/task/6570/stat : 6570 (java) S 6562 6562 5085 0 -1 1077944384 1937 0 0 0 15 1 0 0 20 0 15 0 154159929 14320615424 44218 33554432000 4194304 4196468 140734126937024 139977858485104 139978946505346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6571] ppid=6562 vsize=13984976 memory=176872 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6571/stat : 6571 (java) S 6562 6562 5085 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 154159930 14320615424 44218 33554432000 4194304 4196468 140734126937024 139977857431072 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6572] ppid=6562 vsize=13984976 memory=176872 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6572/stat : 6572 (java) S 6562 6562 5085 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154159930 14320615424 44218 33554432000 4194304 4196468 140734126937024 139977856378224 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6573] ppid=6562 vsize=13984976 memory=176872 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6573/stat : 6573 (java) S 6562 6562 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154159932 14320615424 44218 33554432000 4194304 4196468 140734126937024 139977855326544 139978946512795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6574] ppid=6562 vsize=13984976 memory=4124 CPUtime=1.58 cores=1,3,5,7
/proc/6564/task/6574/stat : 6574 (java) S 6562 6562 5085 0 -1 1077944384 14857 0 0 0 156 2 0 0 20 0 15 0 154159932 14320615424 44218 33554432000 4194304 4196468 140734126937024 139977854273904 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6575] ppid=6562 vsize=13984976 memory=2196 CPUtime=1.48 cores=1,3,5,7
/proc/6564/task/6575/stat : 6575 (java) S 6562 6562 5085 0 -1 1077944384 12249 0 0 0 147 1 0 0 20 0 15 0 154159932 14320615424 44218 33554432000 4194304 4196468 140734126937024 139977853221104 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6576] ppid=6562 vsize=13984976 memory=1384 CPUtime=0.51 cores=1,3,5,7
/proc/6564/task/6576/stat : 6576 (java) S 6562 6562 5085 0 -1 1077944384 6671 0 0 0 50 1 0 0 20 0 15 0 154159932 14320615424 44218 33554432000 4194304 4196468 140734126937024 139977852168304 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6577] ppid=6562 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6577/stat : 6577 (java) S 6562 6562 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154159933 14320615424 44218 33554432000 4194304 4196468 140734126937024 139977851115744 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6578] ppid=6562 vsize=13984976 memory=1384 CPUtime=0.05 cores=1,3,5,7
/proc/6564/task/6578/stat : 6578 (java) S 6562 6562 5085 0 -1 1077944384 816 0 0 0 2 3 0 0 20 0 15 0 154159933 14320615424 44218 33554432000 4194304 4196468 140734126937024 139977850064048 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
Current children cumulated CPU time: 226.39 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 178256 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.22 1.74 1.62 3/218 6670
/proc/meminfo: memFree=22298820/32770624 swapFree=67108860/67108860
[pid=6562] ppid=6559 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6562/stat : 6562 (xcsp3-exec) S 6559 6562 5085 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154159927 9740288 346 33554432000 4194304 5098028 140729745563344 140729745561448 139684964848252 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 32329728 140729745568884 140729745569088 140729745569088 140729745571819 0
/proc/6562/statm: 2378 346 289 221 0 87 0
[pid=6564] ppid=6562 vsize=13984976 memory=179068 CPUtime=244.15 cores=1,3,5,7
/proc/6564/stat : 6564 (java) S 6562 6562 5085 0 -1 1077944320 55495 0 0 0 24392 23 0 0 20 0 15 0 154159927 14320615424 44767 33554432000 4194304 4196468 140734126937024 140734126919568 139978946494199 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
/proc/6564/statm: 3496244 44767 3258 1 0 3483478 0
[pid=6564/tid=6565] ppid=6562 vsize=13984976 memory=1200 CPUtime=239.48 cores=1,3,5,7
/proc/6564/task/6565/stat : 6565 (java) R 6562 6562 5085 0 -1 4202560 12466 0 0 0 23943 5 0 0 20 0 15 0 154159927 14320615424 44767 33554432000 4194304 4196468 140734126937024 139978950733840 139978575655232 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6566] ppid=6562 vsize=13984976 memory=4126316290023845779 CPUtime=0.19 cores=1,3,5,7
/proc/6564/task/6566/stat : 6566 (java) S 6562 6562 5085 0 -1 1077944384 895 0 0 0 17 2 0 0 20 0 15 0 154159928 14320615424 44767 33554432000 4194304 4196468 140734126937024 139978899114640 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6567] ppid=6562 vsize=13984976 memory=636 CPUtime=0.19 cores=1,3,5,7
/proc/6564/task/6567/stat : 6567 (java) S 6562 6562 5085 0 -1 1077944384 952 0 0 0 17 2 0 0 20 0 15 0 154159928 14320615424 44767 33554432000 4194304 4196468 140734126937024 139978898061840 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6568] ppid=6562 vsize=13984976 memory=960 CPUtime=0.19 cores=1,3,5,7
/proc/6564/task/6568/stat : 6568 (java) S 6562 6562 5085 0 -1 1077944384 1174 0 0 0 17 2 0 0 20 0 15 0 154159928 14320615424 44767 33554432000 4194304 4196468 140734126937024 139978897009040 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6569] ppid=6562 vsize=13984976 memory=1232 CPUtime=0.19 cores=1,3,5,7
/proc/6564/task/6569/stat : 6569 (java) S 6562 6562 5085 0 -1 1077944384 2115 0 0 0 16 3 0 0 20 0 15 0 154159928 14320615424 44767 33554432000 4194304 4196468 140734126937024 139978895956240 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6570] ppid=6562 vsize=13984976 memory=2464 CPUtime=0.19 cores=1,3,5,7
/proc/6564/task/6570/stat : 6570 (java) S 6562 6562 5085 0 -1 1077944384 1938 0 0 0 17 2 0 0 20 0 15 0 154159929 14320615424 44767 33554432000 4194304 4196468 140734126937024 139977858485104 139978946505346 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6571] ppid=6562 vsize=13984976 memory=1580 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6571/stat : 6571 (java) S 6562 6562 5085 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 154159930 14320615424 44767 33554432000 4194304 4196468 140734126937024 139977857431072 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6572] ppid=6562 vsize=13984976 memory=928 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6572/stat : 6572 (java) S 6562 6562 5085 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 154159930 14320615424 44767 33554432000 4194304 4196468 140734126937024 139977856378224 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6573] ppid=6562 vsize=13984976 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6573/stat : 6573 (java) S 6562 6562 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154159932 14320615424 44767 33554432000 4194304 4196468 140734126937024 139977855326544 139978946512795 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6574] ppid=6562 vsize=13984976 memory=8112282956445269571 CPUtime=1.58 cores=1,3,5,7
/proc/6564/task/6574/stat : 6574 (java) S 6562 6562 5085 0 -1 1077944384 14857 0 0 0 156 2 0 0 20 0 15 0 154159932 14320615424 44767 33554432000 4194304 4196468 140734126937024 139977854273904 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6575] ppid=6562 vsize=13984976 memory=4126316290023845779 CPUtime=1.48 cores=1,3,5,7
/proc/6564/task/6575/stat : 6575 (java) S 6562 6562 5085 0 -1 1077944384 12249 0 0 0 147 1 0 0 20 0 15 0 154159932 14320615424 44767 33554432000 4194304 4196468 140734126937024 139977853221104 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6576] ppid=6562 vsize=13984976 memory=16444 CPUtime=0.51 cores=1,3,5,7
/proc/6564/task/6576/stat : 6576 (java) S 6562 6562 5085 0 -1 1077944384 6671 0 0 0 50 1 0 0 20 0 15 0 154159932 14320615424 44767 33554432000 4194304 4196468 140734126937024 139977852168304 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6577] ppid=6562 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/6564/task/6577/stat : 6577 (java) S 6562 6562 5085 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154159933 14320615424 44767 33554432000 4194304 4196468 140734126937024 139977851115744 139978946504405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
[pid=6564/tid=6578] ppid=6562 vsize=13984976 memory=3100 CPUtime=0.06 cores=1,3,5,7
/proc/6564/task/6578/stat : 6578 (java) S 6562 6562 5085 0 -1 1077944384 816 0 0 0 2 4 0 0 20 0 15 0 154159933 14320615424 44767 33554432000 4194304 4196468 140734126937024 139977850064048 139978946505346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37609472 140734126941341 140734126941516 140734126941516 140734126944207 0
Current children cumulated CPU time: 244.15 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 180452 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.019 s]
# the end of solver process 6562 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001907 s
[startup+240.021 s]
# the end of solver process 6564 was just reported to runsolver
# cumulated CPU time of all completed processes: user=243.938 s, system=0.245192 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.021
CPU time (s): 244.183
CPU user time (s): 243.938
CPU system time (s): 0.245192
CPU usage (%): 101.734
Max. virtual memory (cumulated for all children) (KiB): 13996304
Max. memory (cumulated for all children) (KiB): 201908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.938
system time used= 0.245192
maximum resident set size= 202580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 56394
page faults= 0
swaps= 0
block input operations= 0
block output operations= 376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12538
involuntary context switches= 453
# summary of solver processes directly reported to runsolver:
# pid: 6562,6564
# total CPU time (s): 244.183
# total CPU user time (s): 243.938
# total CPU system time (s): 0.245192
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.66404 second user time and 2.01019 second system time
The end