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 (9894 MiB free)
memory of node 1: 16384 MiB (12135 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284343-1503213342/watcher-4284343-1503213342 -o /tmp/evaluation-result-4284343-1503213342/solver-4284343-1503213342 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node104-1503208966-3841 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1323748249 HOME/instance-4284343-1503213342.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=6593, runsolver pid=6590
Current StackSize limit: 8192 KiB
[startup+0.100294 s]*
/proc/loadavg: 1.60 1.66 1.78 3/217 6609
/proc/meminfo: memFree=22542100/32770624 swapFree=67108860/67108860
[pid=6593] ppid=6590 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6593/stat : 6593 (xcsp3-exec) S 6590 6593 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154421938 9740288 346 33554432000 4194304 5098028 140728207362320 140728207360424 140273666962044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20529152 140728207369332 140728207369536 140728207369536 140728207372267 0
/proc/6593/statm: 2378 346 289 221 0 87 0
[pid=6595] ppid=6593 vsize=13978596 memory=27608 CPUtime=0.12 cores=1,3,5,7
/proc/6595/stat : 6595 (java) S 6593 6593 3809 0 -1 1077944320 5326 0 0 0 12 0 0 0 20 0 15 0 154421938 14314082304 6902 33554432000 4194304 4196468 140733589760272 140733589742816 140064301543159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
/proc/6595/statm: 3494649 6902 2842 1 0 3482966 0
[pid=6595/tid=6596] ppid=6593 vsize=13978596 memory=7971553444401222491 CPUtime=0.09 cores=1,3,5,7
/proc/6595/task/6596/stat : 6596 (java) R 6593 6593 3809 0 -1 4202560 3327 0 0 0 9 0 0 0 20 0 15 0 154421938 14314082304 6967 33554432000 4194304 4196468 140733589760272 140064305776432 140064301555094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6597] ppid=6593 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6597/stat : 6597 (java) S 6593 6593 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154421939 14314082304 6967 33554432000 4194304 4196468 140733589760272 140064254163728 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6598] ppid=6593 vsize=13978596 memory=140189438555776 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6598/stat : 6598 (java) S 6593 6593 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154421939 14314082304 6967 33554432000 4194304 4196468 140733589760272 140063895907216 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6599] ppid=6593 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6599/stat : 6599 (java) S 6593 6593 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154421939 14314082304 6967 33554432000 4194304 4196468 140733589760272 140063894854672 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6600] ppid=6593 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6600/stat : 6600 (java) S 6593 6593 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154421939 14314082304 6967 33554432000 4194304 4196468 140733589760272 140063893802128 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6601] ppid=6593 vsize=13978596 memory=140189438555776 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6601/stat : 6601 (java) S 6593 6593 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154421941 14314082304 6967 33554432000 4194304 4196468 140733589760272 140063414917104 140064301554306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6602] ppid=6593 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6602/stat : 6602 (java) S 6593 6593 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154421941 14314082304 6967 33554432000 4194304 4196468 140733589760272 140063413863328 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6603] ppid=6593 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6603/stat : 6603 (java) S 6593 6593 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154421941 14314082304 6967 33554432000 4194304 4196468 140733589760272 140063412810736 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6604] ppid=6593 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6604/stat : 6604 (java) S 6593 6593 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154421944 14314082304 6967 33554432000 4194304 4196468 140733589760272 140063411759312 140064301561755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6605] ppid=6593 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6605/stat : 6605 (java) S 6593 6593 3809 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 154421944 14314082304 6967 33554432000 4194304 4196468 140733589760272 140063410706928 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6606] ppid=6593 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6606/stat : 6606 (java) S 6593 6593 3809 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 15 0 154421944 14314082304 6967 33554432000 4194304 4196468 140733589760272 140063409654384 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6607] ppid=6593 vsize=13978596 memory=140189438555776 CPUtime=0.01 cores=1,3,5,7
/proc/6595/task/6607/stat : 6607 (java) R 6593 6593 3809 0 -1 4202560 320 0 0 0 1 0 0 0 20 0 15 0 154421944 14314082304 6967 33554432000 4194304 4196468 140733589760272 140063408601840 140064280484742 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6608] ppid=6593 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6608/stat : 6608 (java) S 6593 6593 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154421944 14314082304 6967 33554432000 4194304 4196468 140733589760272 140063407549536 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6609] ppid=6593 vsize=13978596 memory=140189438555776 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6609/stat : 6609 (java) S 6593 6593 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154421944 14314082304 6967 33554432000 4194304 4196468 140733589760272 140063406496048 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28992 KiB
[startup+0.210707 s]*
/proc/loadavg: 1.60 1.66 1.78 3/217 6609
/proc/meminfo: memFree=22530764/32770624 swapFree=67108860/67108860
[pid=6593] ppid=6590 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6593/stat : 6593 (xcsp3-exec) S 6590 6593 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154421938 9740288 346 33554432000 4194304 5098028 140728207362320 140728207360424 140273666962044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20529152 140728207369332 140728207369536 140728207369536 140728207372267 0
/proc/6593/statm: 2378 346 289 221 0 87 0
[pid=6595] ppid=6593 vsize=13982884 memory=40400 CPUtime=0.34 cores=1,3,5,7
/proc/6595/stat : 6595 (java) S 6593 6593 3809 0 -1 1077944320 8195 0 0 0 32 2 0 0 20 0 15 0 154421938 14318473216 10100 33554432000 4194304 4196468 140733589760272 140733589742816 140064301543159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
/proc/6595/statm: 3495721 10100 3075 1 0 3482974 0
[pid=6595/tid=6596] ppid=6593 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/6595/task/6596/stat : 6596 (java) R 6593 6593 3809 0 -1 4202560 5395 0 0 0 19 1 0 0 20 0 15 0 154421938 14318440448 10100 33554432000 4194304 4196468 140733589760272 140064305754064 140064301565085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6597] ppid=6593 vsize=13982852 memory=8944 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6597/stat : 6597 (java) S 6593 6593 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154421939 14318440448 10100 33554432000 4194304 4196468 140733589760272 140064254163728 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6598] ppid=6593 vsize=13982852 memory=140189439089629 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6598/stat : 6598 (java) S 6593 6593 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154421939 14318440448 10100 33554432000 4194304 4196468 140733589760272 140063895907216 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6599] ppid=6593 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6599/stat : 6599 (java) S 6593 6593 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154421939 14318440448 10100 33554432000 4194304 4196468 140733589760272 140063894854672 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6600] ppid=6593 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6600/stat : 6600 (java) S 6593 6593 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154421939 14318440448 10100 33554432000 4194304 4196468 140733589760272 140063893802128 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6601] ppid=6593 vsize=13982852 memory=140189438555776 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6601/stat : 6601 (java) S 6593 6593 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154421941 14318440448 10100 33554432000 4194304 4196468 140733589760272 140063414917104 140064301554306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6602] ppid=6593 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6602/stat : 6602 (java) S 6593 6593 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154421941 14318440448 10100 33554432000 4194304 4196468 140733589760272 140063413863328 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6603] ppid=6593 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6603/stat : 6603 (java) S 6593 6593 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154421941 14318440448 10100 33554432000 4194304 4196468 140733589760272 140063412810736 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6604] ppid=6593 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6604/stat : 6604 (java) S 6593 6593 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154421944 14318440448 10100 33554432000 4194304 4196468 140733589760272 140063411759312 140064301561755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6605] ppid=6593 vsize=13982852 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/6595/task/6605/stat : 6605 (java) S 6593 6593 3809 0 -1 1077944384 554 0 0 0 2 0 0 0 20 0 15 0 154421944 14318440448 10100 33554432000 4194304 4196468 140733589760272 140063410706928 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6606] ppid=6593 vsize=13982852 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/6595/task/6606/stat : 6606 (java) S 6593 6593 3809 0 -1 1077944384 215 0 0 0 2 0 0 0 20 0 15 0 154421944 14318440448 10100 33554432000 4194304 4196468 140733589760272 140063409654384 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6607] ppid=6593 vsize=13982852 memory=140189438555776 CPUtime=0.08 cores=1,3,5,7
/proc/6595/task/6607/stat : 6607 (java) R 6593 6593 3809 0 -1 4202560 759 0 0 0 8 0 0 0 20 0 15 0 154421944 14318440448 10100 33554432000 4194304 4196468 140733589760272 140063408601840 140064301564506 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6608] ppid=6593 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6608/stat : 6608 (java) S 6593 6593 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154421944 14318440448 10100 33554432000 4194304 4196468 140733589760272 140063407549536 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6609] ppid=6593 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6609/stat : 6609 (java) S 6593 6593 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154421944 14318440448 10100 33554432000 4194304 4196468 140733589760272 140063406496048 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992396 KiB
Current children cumulated memory: 41784 KiB
[startup+0.311543 s]*
/proc/loadavg: 1.60 1.66 1.78 3/217 6609
/proc/meminfo: memFree=22523568/32770624 swapFree=67108860/67108860
[pid=6593] ppid=6590 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6593/stat : 6593 (xcsp3-exec) S 6590 6593 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154421938 9740288 346 33554432000 4194304 5098028 140728207362320 140728207360424 140273666962044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20529152 140728207369332 140728207369536 140728207369536 140728207372267 0
/proc/6593/statm: 2378 346 289 221 0 87 0
[pid=6595] ppid=6593 vsize=13982928 memory=47920 CPUtime=0.5 cores=1,3,5,7
/proc/6595/stat : 6595 (java) S 6593 6593 3809 0 -1 1077944320 9105 0 0 0 48 2 0 0 20 0 15 0 154421938 14318518272 11980 33554432000 4194304 4196468 140733589760272 140733589742816 140064301543159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
/proc/6595/statm: 3495732 11980 3124 1 0 3482966 0
[pid=6595/tid=6596] ppid=6593 vsize=13982928 memory=8112282956445269571 CPUtime=0.3 cores=1,3,5,7
/proc/6595/task/6596/stat : 6596 (java) R 6593 6593 3809 0 -1 4202560 6103 0 0 0 28 2 0 0 20 0 15 0 154421938 14318518272 11980 33554432000 4194304 4196468 140733589760272 140064305777728 140064285920279 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6597] ppid=6593 vsize=13982928 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6597/stat : 6597 (java) S 6593 6593 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154421939 14318518272 11980 33554432000 4194304 4196468 140733589760272 140064254163728 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6598] ppid=6593 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6598/stat : 6598 (java) S 6593 6593 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154421939 14318518272 11980 33554432000 4194304 4196468 140733589760272 140063895907216 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6599] ppid=6593 vsize=13982928 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6599/stat : 6599 (java) S 6593 6593 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154421939 14318518272 11980 33554432000 4194304 4196468 140733589760272 140063894854672 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6600] ppid=6593 vsize=13982928 memory=7307460116655545206 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6600/stat : 6600 (java) S 6593 6593 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154421939 14318518272 11980 33554432000 4194304 4196468 140733589760272 140063893802128 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6601] ppid=6593 vsize=13982928 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6601/stat : 6601 (java) S 6593 6593 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154421941 14318518272 11980 33554432000 4194304 4196468 140733589760272 140063414917104 140064301554306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6602] ppid=6593 vsize=13982928 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6602/stat : 6602 (java) S 6593 6593 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154421941 14318518272 11980 33554432000 4194304 4196468 140733589760272 140063413863328 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6603] ppid=6593 vsize=13982928 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6603/stat : 6603 (java) S 6593 6593 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154421941 14318518272 11980 33554432000 4194304 4196468 140733589760272 140063412810736 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6604] ppid=6593 vsize=13982928 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6604/stat : 6604 (java) S 6593 6593 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154421944 14318518272 11980 33554432000 4194304 4196468 140733589760272 140063411759312 140064301561755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6605] ppid=6593 vsize=13982928 memory=7100839887185294217 CPUtime=0.04 cores=1,3,5,7
/proc/6595/task/6605/stat : 6605 (java) S 6593 6593 3809 0 -1 1077944384 621 0 0 0 4 0 0 0 20 0 15 0 154421944 14318518272 11980 33554432000 4194304 4196468 140733589760272 140063410706928 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6606] ppid=6593 vsize=13982928 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/6595/task/6606/stat : 6606 (java) S 6593 6593 3809 0 -1 1077944384 221 0 0 0 3 0 0 0 20 0 15 0 154421944 14318518272 11980 33554432000 4194304 4196468 140733589760272 140063409654384 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6607] ppid=6593 vsize=13982928 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/6595/task/6607/stat : 6607 (java) S 6593 6593 3809 0 -1 1077944384 862 0 0 0 12 0 0 0 20 0 15 0 154421944 14318518272 11980 33554432000 4194304 4196468 140733589760272 140063408601840 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6608] ppid=6593 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6608/stat : 6608 (java) S 6593 6593 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154421944 14318518272 11980 33554432000 4194304 4196468 140733589760272 140063407549536 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6609] ppid=6593 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6609/stat : 6609 (java) S 6593 6593 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154421944 14318518272 11980 33554432000 4194304 4196468 140733589760272 140063406496048 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49304 KiB
[startup+0.701353 s]
/proc/loadavg: 1.60 1.66 1.78 7/217 6609
/proc/meminfo: memFree=22510232/32770624 swapFree=67108860/67108860
[pid=6593] ppid=6590 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6593/stat : 6593 (xcsp3-exec) S 6590 6593 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154421938 9740288 346 33554432000 4194304 5098028 140728207362320 140728207360424 140273666962044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20529152 140728207369332 140728207369536 140728207369536 140728207372267 0
/proc/6593/statm: 2378 346 289 221 0 87 0
[pid=6595] ppid=6593 vsize=13984976 memory=77788 CPUtime=1.67 cores=1,3,5,7
/proc/6595/stat : 6595 (java) S 6593 6593 3809 0 -1 1077944320 13170 0 0 0 163 4 0 0 20 0 15 0 154421938 14320615424 19447 33554432000 4194304 4196468 140733589760272 140733589742816 140064301543159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
/proc/6595/statm: 3496244 19447 3201 1 0 3483478 0
[pid=6595/tid=6596] ppid=6593 vsize=13984976 memory=1728 CPUtime=0.68 cores=1,3,5,7
/proc/6595/task/6596/stat : 6596 (java) R 6593 6593 3809 0 -1 4202560 6632 0 0 0 65 3 0 0 20 0 15 0 154421938 14320615424 19447 33554432000 4194304 4196468 140733589760272 140064305782208 140064301555094 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6597] ppid=6593 vsize=13984976 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6597/stat : 6597 (java) S 6593 6593 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154421939 14320615424 19447 33554432000 4194304 4196468 140733589760272 140064254163728 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6598] ppid=6593 vsize=13984976 memory=796 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6598/stat : 6598 (java) S 6593 6593 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154421939 14320615424 19447 33554432000 4194304 4196468 140733589760272 140063895907216 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6599] ppid=6593 vsize=13984976 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6599/stat : 6599 (java) S 6593 6593 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154421939 14320615424 19447 33554432000 4194304 4196468 140733589760272 140063894854672 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6600] ppid=6593 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6600/stat : 6600 (java) S 6593 6593 3809 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154421939 14320615424 19447 33554432000 4194304 4196468 140733589760272 140063893802128 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6601] ppid=6593 vsize=13984976 memory=8612 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6601/stat : 6601 (java) S 6593 6593 3809 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 154421941 14320615424 19447 33554432000 4194304 4196468 140733589760272 140063414917104 140064301554306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6602] ppid=6593 vsize=13984976 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6602/stat : 6602 (java) S 6593 6593 3809 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154421941 14320615424 19447 33554432000 4194304 4196468 140733589760272 140063413863328 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6603] ppid=6593 vsize=13984976 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6603/stat : 6603 (java) S 6593 6593 3809 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154421941 14320615424 19447 33554432000 4194304 4196468 140733589760272 140063412810736 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6604] ppid=6593 vsize=13984976 memory=1008 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6604/stat : 6604 (java) S 6593 6593 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154421944 14320615424 19447 33554432000 4194304 4196468 140733589760272 140063411759312 140064301561755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6605] ppid=6593 vsize=13984976 memory=11112 CPUtime=0.32 cores=1,3,5,7
/proc/6595/task/6605/stat : 6605 (java) R 6593 6593 3809 0 -1 4202560 1791 0 0 0 32 0 0 0 20 0 15 0 154421944 14320615424 19447 33554432000 4194304 4196468 140733589760272 140063410697648 140064286285335 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6606] ppid=6593 vsize=13984976 memory=1228 CPUtime=0.33 cores=1,3,5,7
/proc/6595/task/6606/stat : 6606 (java) R 6593 6593 3809 0 -1 4202560 1536 0 0 0 33 0 0 0 20 0 15 0 154421944 14320615424 19447 33554432000 4194304 4196468 140733589760272 140063409643056 140064285030538 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6607] ppid=6593 vsize=13984976 memory=1420 CPUtime=0.31 cores=1,3,5,7
/proc/6595/task/6607/stat : 6607 (java) R 6593 6593 3809 0 -1 4202560 1903 0 0 0 31 0 0 0 20 0 15 0 154421944 14320615424 19447 33554432000 4194304 4196468 140733589760272 140063408601840 140064301564506 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6608] ppid=6593 vsize=13984976 memory=15876 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6608/stat : 6608 (java) S 6593 6593 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154421944 14320615424 19447 33554432000 4194304 4196468 140733589760272 140063407549536 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6609] ppid=6593 vsize=13984976 memory=16448 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6609/stat : 6609 (java) S 6593 6593 3809 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154421944 14320615424 19447 33554432000 4194304 4196468 140733589760272 140063406496048 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 79172 KiB
[startup+1.5009 s]
/proc/loadavg: 1.60 1.66 1.78 5/217 6609
/proc/meminfo: memFree=22455708/32770624 swapFree=67108860/67108860
[pid=6593] ppid=6590 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6593/stat : 6593 (xcsp3-exec) S 6590 6593 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154421938 9740288 346 33554432000 4194304 5098028 140728207362320 140728207360424 140273666962044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20529152 140728207369332 140728207369536 140728207369536 140728207372267 0
/proc/6593/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/6595/task/6603/stat : 6603 (java) S 6593 6593 3809 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154421941 14320615424 67115 33554432000 4194304 4196468 140733589760272 140063412810736 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6604] ppid=6593 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6604/stat : 6604 (java) S 6593 6593 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154421944 14320615424 67115 33554432000 4194304 4196468 140733589760272 140063411759312 140064301561755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6605] ppid=6593 vsize=13984976 memory=1728 CPUtime=3.81 cores=1,3,5,7
/proc/6595/task/6605/stat : 6605 (java) S 6593 6593 3809 0 -1 1077944384 28384 0 0 0 378 3 0 0 20 0 15 0 154421944 14320615424 67115 33554432000 4194304 4196468 140733589760272 140063410706928 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6606] ppid=6593 vsize=13984976 memory=1716 CPUtime=3.68 cores=1,3,5,7
/proc/6595/task/6606/stat : 6606 (java) S 6593 6593 3809 0 -1 1077944384 28378 0 0 0 365 3 0 0 20 0 15 0 154421944 14320615424 67115 33554432000 4194304 4196468 140733589760272 140063409654384 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6607] ppid=6593 vsize=13984976 memory=796 CPUtime=0.57 cores=1,3,5,7
/proc/6595/task/6607/stat : 6607 (java) S 6593 6593 3809 0 -1 1077944384 8137 0 0 0 56 1 0 0 20 0 15 0 154421944 14320615424 67115 33554432000 4194304 4196468 140733589760272 140063408601840 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6608] ppid=6593 vsize=13984976 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6608/stat : 6608 (java) S 6593 6593 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154421944 14320615424 67115 33554432000 4194304 4196468 140733589760272 140063407549536 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6609] ppid=6593 vsize=13984976 memory=1296 CPUtime=0.04 cores=1,3,5,7
/proc/6595/task/6609/stat : 6609 (java) S 6593 6593 3809 0 -1 1077944384 877 0 0 0 1 3 0 0 20 0 15 0 154421944 14320615424 67115 33554432000 4194304 4196468 140733589760272 140063406496048 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
Current children cumulated CPU time: 112.04 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 269844 KiB
[startup+162.301 s]
/proc/loadavg: 1.45 1.64 1.76 3/217 6688
/proc/meminfo: memFree=23288296/32770624 swapFree=67108860/67108860
[pid=6593] ppid=6590 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6593/stat : 6593 (xcsp3-exec) S 6590 6593 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154421938 9740288 346 33554432000 4194304 5098028 140728207362320 140728207360424 140273666962044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20529152 140728207369332 140728207369536 140728207369536 140728207372267 0
/proc/6593/statm: 2378 346 289 221 0 87 0
[pid=6595] ppid=6593 vsize=13984976 memory=376348 CPUtime=173.57 cores=1,3,5,7
/proc/6595/stat : 6595 (java) S 6593 6593 3809 0 -1 1077944320 90873 0 0 0 17304 53 0 0 20 0 15 0 154421938 14320615424 94087 33554432000 4194304 4196468 140733589760272 140733589742816 140064301543159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
/proc/6595/statm: 3496244 94087 3261 1 0 3483478 0
[pid=6595/tid=6596] ppid=6593 vsize=13984976 memory=371536 CPUtime=161 cores=1,3,5,7
/proc/6595/task/6596/stat : 6596 (java) R 6593 6593 3809 0 -1 4202560 13161 0 0 0 16095 5 0 0 20 0 15 0 154421938 14320615424 94087 33554432000 4194304 4196468 140733589760272 140064305782976 140063940591734 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6597] ppid=6593 vsize=13984976 memory=1384 CPUtime=1.02 cores=1,3,5,7
/proc/6595/task/6597/stat : 6597 (java) S 6593 6593 3809 0 -1 1077944384 1777 0 0 0 95 7 0 0 20 0 15 0 154421939 14320615424 94087 33554432000 4194304 4196468 140733589760272 140064254163728 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6598] ppid=6593 vsize=13984976 memory=372580 CPUtime=1.03 cores=1,3,5,7
/proc/6595/task/6598/stat : 6598 (java) S 6593 6593 3809 0 -1 1077944384 1319 0 0 0 94 9 0 0 20 0 15 0 154421939 14320615424 94087 33554432000 4194304 4196468 140733589760272 140063895907216 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6599] ppid=6593 vsize=13984976 memory=376348 CPUtime=1 cores=1,3,5,7
/proc/6595/task/6599/stat : 6599 (java) S 6593 6593 3809 0 -1 1077944384 1459 0 0 0 94 6 0 0 20 0 15 0 154421939 14320615424 94087 33554432000 4194304 4196468 140733589760272 140063894854672 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6600] ppid=6593 vsize=13984976 memory=1384 CPUtime=1.01 cores=1,3,5,7
/proc/6595/task/6600/stat : 6600 (java) S 6593 6593 3809 0 -1 1077944384 1779 0 0 0 93 8 0 0 20 0 15 0 154421939 14320615424 94087 33554432000 4194304 4196468 140733589760272 140063893802128 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6601] ppid=6593 vsize=13984976 memory=3072 CPUtime=0.18 cores=1,3,5,7
/proc/6595/task/6601/stat : 6601 (java) S 6593 6593 3809 0 -1 1077944384 1701 0 0 0 15 3 0 0 20 0 15 0 154421941 14320615424 94087 33554432000 4194304 4196468 140733589760272 140063414917104 140064301554306 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6602] ppid=6593 vsize=13984976 memory=55 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6602/stat : 6602 (java) S 6593 6593 3809 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154421941 14320615424 94087 33554432000 4194304 4196468 140733589760272 140063413863328 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6603] ppid=6593 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6603/stat : 6603 (java) S 6593 6593 3809 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154421941 14320615424 94087 33554432000 4194304 4196468 140733589760272 140063412810736 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6604] ppid=6593 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6604/stat : 6604 (java) S 6593 6593 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154421944 14320615424 94087 33554432000 4194304 4196468 140733589760272 140063411759312 140064301561755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6605] ppid=6593 vsize=13984976 memory=4140 CPUtime=3.86 cores=1,3,5,7
/proc/6595/task/6605/stat : 6605 (java) S 6593 6593 3809 0 -1 1077944384 29246 0 0 0 383 3 0 0 20 0 15 0 154421944 14320615424 94087 33554432000 4194304 4196468 140733589760272 140063410706928 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6606] ppid=6593 vsize=13984976 memory=374300 CPUtime=3.71 cores=1,3,5,7
/proc/6595/task/6606/stat : 6606 (java) S 6593 6593 3809 0 -1 1077944384 29335 0 0 0 368 3 0 0 20 0 15 0 154421944 14320615424 94087 33554432000 4194304 4196468 140733589760272 140063409654384 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6607] ppid=6593 vsize=13984976 memory=1384 CPUtime=0.58 cores=1,3,5,7
/proc/6595/task/6607/stat : 6607 (java) S 6593 6593 3809 0 -1 1077944384 8848 0 0 0 57 1 0 0 20 0 15 0 154421944 14320615424 94087 33554432000 4194304 4196468 140733589760272 140063408601840 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6608] ppid=6593 vsize=13984976 memory=376348 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6608/stat : 6608 (java) S 6593 6593 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154421944 14320615424 94087 33554432000 4194304 4196468 140733589760272 140063407549536 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6609] ppid=6593 vsize=13984976 memory=1384 CPUtime=0.08 cores=1,3,5,7
/proc/6595/task/6609/stat : 6609 (java) S 6593 6593 3809 0 -1 1077944384 905 0 0 0 3 5 0 0 20 0 15 0 154421944 14320615424 94087 33554432000 4194304 4196468 140733589760272 140063406496048 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
Current children cumulated CPU time: 173.57 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 377732 KiB
[startup+222.301 s]
/proc/loadavg: 1.45 1.61 1.74 3/217 6689
/proc/meminfo: memFree=23126812/32770624 swapFree=67108860/67108860
[pid=6593] ppid=6590 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6593/stat : 6593 (xcsp3-exec) S 6590 6593 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154421938 9740288 346 33554432000 4194304 5098028 140728207362320 140728207360424 140273666962044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20529152 140728207369332 140728207369536 140728207369536 140728207372267 0
/proc/6593/statm: 2378 346 289 221 0 87 0
[pid=6595] ppid=6593 vsize=13984976 memory=474952 CPUtime=234.98 cores=1,3,5,7
/proc/6595/stat : 6595 (java) S 6593 6593 3809 0 -1 1077944320 94281 0 0 0 23431 67 0 0 20 0 15 0 154421938 14320615424 118738 33554432000 4194304 4196468 140733589760272 140733589742816 140064301543159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
/proc/6595/statm: 3496244 118738 3261 1 0 3483478 0
[pid=6595/tid=6596] ppid=6593 vsize=13984976 memory=474460 CPUtime=220.44 cores=1,3,5,7
/proc/6595/task/6596/stat : 6596 (java) R 6593 6593 3809 0 -1 4202560 15028 0 0 0 22038 6 0 0 20 0 15 0 154421938 14320615424 118738 33554432000 4194304 4196468 140733589760272 140064305782720 140063938644183 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6597] ppid=6593 vsize=13984976 memory=472912 CPUtime=1.49 cores=1,3,5,7
/proc/6595/task/6597/stat : 6597 (java) S 6593 6593 3809 0 -1 1077944384 2088 0 0 0 139 10 0 0 20 0 15 0 154421939 14320615424 118738 33554432000 4194304 4196468 140733589760272 140064254163728 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6598] ppid=6593 vsize=13984976 memory=1384 CPUtime=1.49 cores=1,3,5,7
/proc/6595/task/6598/stat : 6598 (java) S 6593 6593 3809 0 -1 1077944384 1710 0 0 0 138 11 0 0 20 0 15 0 154421939 14320615424 118738 33554432000 4194304 4196468 140733589760272 140063895907216 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6599] ppid=6593 vsize=13984976 memory=473932 CPUtime=1.47 cores=1,3,5,7
/proc/6595/task/6599/stat : 6599 (java) S 6593 6593 3809 0 -1 1077944384 1617 0 0 0 137 10 0 0 20 0 15 0 154421939 14320615424 118738 33554432000 4194304 4196468 140733589760272 140063894854672 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6600] ppid=6593 vsize=13984976 memory=474952 CPUtime=1.49 cores=1,3,5,7
/proc/6595/task/6600/stat : 6600 (java) S 6593 6593 3809 0 -1 1077944384 2253 0 0 0 137 12 0 0 20 0 15 0 154421939 14320615424 118738 33554432000 4194304 4196468 140733589760272 140063893802128 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6601] ppid=6593 vsize=13984976 memory=1384 CPUtime=0.24 cores=1,3,5,7
/proc/6595/task/6601/stat : 6601 (java) S 6593 6593 3809 0 -1 1077944384 1895 0 0 0 21 3 0 0 20 0 15 0 154421941 14320615424 118738 33554432000 4194304 4196468 140733589760272 140063414917104 140064301554306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6602] ppid=6593 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6602/stat : 6602 (java) S 6593 6593 3809 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154421941 14320615424 118738 33554432000 4194304 4196468 140733589760272 140063413863328 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6603] ppid=6593 vsize=13984976 memory=4140 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6603/stat : 6603 (java) S 6593 6593 3809 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154421941 14320615424 118738 33554432000 4194304 4196468 140733589760272 140063412810736 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6604] ppid=6593 vsize=13984976 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6604/stat : 6604 (java) S 6593 6593 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154421944 14320615424 118738 33554432000 4194304 4196468 140733589760272 140063411759312 140064301561755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6605] ppid=6593 vsize=13984976 memory=475464 CPUtime=3.86 cores=1,3,5,7
/proc/6595/task/6605/stat : 6605 (java) S 6593 6593 3809 0 -1 1077944384 29248 0 0 0 383 3 0 0 20 0 15 0 154421944 14320615424 118738 33554432000 4194304 4196468 140733589760272 140063410706928 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6606] ppid=6593 vsize=13984976 memory=4140 CPUtime=3.71 cores=1,3,5,7
/proc/6595/task/6606/stat : 6606 (java) S 6593 6593 3809 0 -1 1077944384 29337 0 0 0 368 3 0 0 20 0 15 0 154421944 14320615424 118738 33554432000 4194304 4196468 140733589760272 140063409654384 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6607] ppid=6593 vsize=13984976 memory=42896 CPUtime=0.58 cores=1,3,5,7
/proc/6595/task/6607/stat : 6607 (java) S 6593 6593 3809 0 -1 1077944384 8850 0 0 0 57 1 0 0 20 0 15 0 154421944 14320615424 118738 33554432000 4194304 4196468 140733589760272 140063408601840 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6608] ppid=6593 vsize=13984976 memory=42896 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6608/stat : 6608 (java) S 6593 6593 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154421944 14320615424 118738 33554432000 4194304 4196468 140733589760272 140063407549536 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6609] ppid=6593 vsize=13984976 memory=1296 CPUtime=0.1 cores=1,3,5,7
/proc/6595/task/6609/stat : 6609 (java) S 6593 6593 3809 0 -1 1077944384 912 0 0 0 4 6 0 0 20 0 15 0 154421944 14320615424 118738 33554432000 4194304 4196468 140733589760272 140063406496048 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
Current children cumulated CPU time: 234.98 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 476336 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 1.40 1.59 1.73 3/217 6690
/proc/meminfo: memFree=23065320/32770624 swapFree=67108860/67108860
[pid=6593] ppid=6590 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/6593/stat : 6593 (xcsp3-exec) S 6590 6593 3809 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 154421938 9740288 346 33554432000 4194304 5098028 140728207362320 140728207360424 140273666962044 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20529152 140728207369332 140728207369536 140728207369536 140728207372267 0
/proc/6593/statm: 2378 346 289 221 0 87 0
[pid=6595] ppid=6593 vsize=13984976 memory=514192 CPUtime=253.1 cores=1,3,5,7
/proc/6595/stat : 6595 (java) S 6593 6593 3809 0 -1 1077944320 97568 0 0 0 25236 74 0 0 20 0 15 0 154421938 14320615424 128548 33554432000 4194304 4196468 140733589760272 140733589742816 140064301543159 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
/proc/6595/statm: 3496244 128548 3261 1 0 3483478 0
[pid=6595/tid=6596] ppid=6593 vsize=13984976 memory=1692 CPUtime=237.99 cores=1,3,5,7
/proc/6595/task/6596/stat : 6596 (java) R 6593 6593 3809 0 -1 4202560 16709 0 0 0 23793 6 0 0 20 0 15 0 154421938 14320615424 128548 33554432000 4194304 4196468 140733589760272 140064305782976 140063938755176 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6597] ppid=6593 vsize=13984976 memory=916 CPUtime=1.63 cores=1,3,5,7
/proc/6595/task/6597/stat : 6597 (java) S 6593 6593 3809 0 -1 1077944384 2413 0 0 0 152 11 0 0 20 0 15 0 154421939 14320615424 128548 33554432000 4194304 4196468 140733589760272 140064254163728 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6598] ppid=6593 vsize=13984976 memory=4126316290023845779 CPUtime=1.62 cores=1,3,5,7
/proc/6595/task/6598/stat : 6598 (java) S 6593 6593 3809 0 -1 1077944384 1817 0 0 0 150 12 0 0 20 0 15 0 154421939 14320615424 128548 33554432000 4194304 4196468 140733589760272 140063895907216 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6599] ppid=6593 vsize=13984976 memory=478620 CPUtime=1.6 cores=1,3,5,7
/proc/6595/task/6599/stat : 6599 (java) S 6593 6593 3809 0 -1 1077944384 1804 0 0 0 149 11 0 0 20 0 15 0 154421939 14320615424 128548 33554432000 4194304 4196468 140733589760272 140063894854672 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6600] ppid=6593 vsize=13984976 memory=514204 CPUtime=1.61 cores=1,3,5,7
/proc/6595/task/6600/stat : 6600 (java) S 6593 6593 3809 0 -1 1077944384 2391 0 0 0 148 13 0 0 20 0 15 0 154421939 14320615424 128548 33554432000 4194304 4196468 140733589760272 140063893802128 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6601] ppid=6593 vsize=13984976 memory=515572 CPUtime=0.27 cores=1,3,5,7
/proc/6595/task/6601/stat : 6601 (java) S 6593 6593 3809 0 -1 1077944384 2010 0 0 0 23 4 0 0 20 0 15 0 154421941 14320615424 128548 33554432000 4194304 4196468 140733589760272 140063414917104 140064301554306 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6602] ppid=6593 vsize=13984976 memory=1200 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6602/stat : 6602 (java) S 6593 6593 3809 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 154421941 14320615424 128548 33554432000 4194304 4196468 140733589760272 140063413863328 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6603] ppid=6593 vsize=13984976 memory=8612 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6603/stat : 6603 (java) S 6593 6593 3809 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 154421941 14320615424 128548 33554432000 4194304 4196468 140733589760272 140063412810736 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6604] ppid=6593 vsize=13984976 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6604/stat : 6604 (java) S 6593 6593 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154421944 14320615424 128548 33554432000 4194304 4196468 140733589760272 140063411759312 140064301561755 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6605] ppid=6593 vsize=13984976 memory=952 CPUtime=3.86 cores=1,3,5,7
/proc/6595/task/6605/stat : 6605 (java) S 6593 6593 3809 0 -1 1077944384 29248 0 0 0 383 3 0 0 20 0 15 0 154421944 14320615424 128548 33554432000 4194304 4196468 140733589760272 140063410706928 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6606] ppid=6593 vsize=13984976 memory=2424 CPUtime=3.72 cores=1,3,5,7
/proc/6595/task/6606/stat : 6606 (java) S 6593 6593 3809 0 -1 1077944384 29338 0 0 0 369 3 0 0 20 0 15 0 154421944 14320615424 128548 33554432000 4194304 4196468 140733589760272 140063409654384 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6607] ppid=6593 vsize=13984976 memory=1384 CPUtime=0.58 cores=1,3,5,7
/proc/6595/task/6607/stat : 6607 (java) S 6593 6593 3809 0 -1 1077944384 9567 0 0 0 57 1 0 0 20 0 15 0 154421944 14320615424 128548 33554432000 4194304 4196468 140733589760272 140063408601840 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6608] ppid=6593 vsize=13984976 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/6595/task/6608/stat : 6608 (java) S 6593 6593 3809 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154421944 14320615424 128548 33554432000 4194304 4196468 140733589760272 140063407549536 140064301553365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
[pid=6595/tid=6609] ppid=6593 vsize=13984976 memory=1228 CPUtime=0.11 cores=1,3,5,7
/proc/6595/task/6609/stat : 6609 (java) S 6593 6593 3809 0 -1 1077944384 928 0 0 0 4 7 0 0 20 0 15 0 154421944 14320615424 128548 33554432000 4194304 4196468 140733589760272 140063406496048 140064301554306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37949440 140733589763229 140733589763404 140733589763404 140733589766095 0
Current children cumulated CPU time: 253.1 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 515576 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.021 s]
# the end of solver process 6593 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0 s, system=0.001941 s
[startup+240.031 s]
# the end of solver process 6595 was just reported to runsolver
# cumulated CPU time of all completed processes: user=252.394 s, system=0.752195 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.031
CPU time (s): 253.146
CPU user time (s): 252.394
CPU system time (s): 0.752195
CPU usage (%): 105.464
Max. virtual memory (cumulated for all children) (KiB): 13996444
Max. memory (cumulated for all children) (KiB): 518276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.394
system time used= 0.752195
maximum resident set size= 517088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98577
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14161
involuntary context switches= 423
# summary of solver processes directly reported to runsolver:
# pid: 6593,6595
# total CPU time (s): 253.146
# total CPU user time (s): 252.394
# total CPU system time (s): 0.752195
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.56453 second user time and 2.37819 second system time
The end