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 (13266 MiB free)
memory of node 1: 16384 MiB (12002 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405756-1569408183/watcher-4405756-1569408183 -o /var/tmp/evaluation-result-4405756-1569408183/solver-4405756-1569408183 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1569392969-18884 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 884761324 HOME/instance-4405756-1569408183.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22768, runsolver pid=22765
[startup+0.101422 s]*
/proc/loadavg: 2.22 1.91 1.90 4/229 22784
/proc/meminfo: memFree=25858224/32770624 swapFree=66956956/67108860
[pid=22768] ppid=22765 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22768/stat : 22768 (xcsp3-exec) S 22765 22768 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517076083 115843072 363 33554432000 4194304 5098028 140728161972912 140728161971016 140163788784252 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30867456 140728161977175 140728161977433 140728161977433 140728161980358 0
/proc/22768/statm: 28282 363 304 221 0 87 0
[pid=22770] ppid=22768 vsize=15144776 memory=30032 CPUtime=0.14 cores=1,3,5,7
/proc/22770/stat : 22770 (java) S 22768 22768 18852 0 -1 1077944320 5879 0 0 0 12 2 0 0 20 0 15 0 517076083 15508250624 7508 33554432000 4194304 4196468 140720822439952 140720822422496 140185078103799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
/proc/22770/statm: 3786194 7508 3201 1 0 3748377 0
[pid=22770/tid=22771] ppid=22768 vsize=15144776 memory=-2698085374278620574 CPUtime=0.09 cores=1,3,5,7
/proc/22770/task/22771/stat : 22771 (java) R 22768 22768 18852 0 -1 4202560 3746 0 0 0 8 1 0 0 20 0 15 0 517076084 15508250624 7508 33554432000 4194304 4196468 140720822439952 140185082333440 140185078115734 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22772] ppid=22768 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22772/stat : 22772 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076084 15508250624 7508 33554432000 4194304 4196468 140720822439952 140185049947024 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22773] ppid=22768 vsize=15144776 memory=139814143350400 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22773/stat : 22773 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076084 15508250624 7508 33554432000 4194304 4196468 140720822439952 140184669227792 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22774] ppid=22768 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22774/stat : 22774 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076084 15508250624 7508 33554432000 4194304 4196468 140720822439952 140184668175504 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22775] ppid=22768 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22775/stat : 22775 (java) S 22768 22768 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517076084 15508250624 7508 33554432000 4194304 4196468 140720822439952 140184667122704 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22776] ppid=22768 vsize=15144776 memory=139814143350400 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22776/stat : 22776 (java) S 22768 22768 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517076086 15508250624 7508 33554432000 4194304 4196468 140720822439952 140184043616368 140185078114946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22777] ppid=22768 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22777/stat : 22777 (java) S 22768 22768 18852 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 517076086 15508250624 7508 33554432000 4194304 4196468 140720822439952 140183949861664 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22778] ppid=22768 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22778/stat : 22778 (java) S 22768 22768 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517076086 15508250624 7508 33554432000 4194304 4196468 140720822439952 140183948809328 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22779] ppid=22768 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22779/stat : 22779 (java) S 22768 22768 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076089 15508250624 7508 33554432000 4194304 4196468 140720822439952 140183947757648 140185078122395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22780] ppid=22768 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22780/stat : 22780 (java) S 22768 22768 18852 0 -1 1077944384 488 0 0 0 0 0 0 0 20 0 15 0 517076089 15508250624 7508 33554432000 4194304 4196468 140720822439952 140183946705520 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22781] ppid=22768 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22781/stat : 22781 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076089 15508250624 7508 33554432000 4194304 4196468 140720822439952 140183945652720 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22782] ppid=22768 vsize=15144776 memory=139814143350400 CPUtime=0.02 cores=1,3,5,7
/proc/22770/task/22782/stat : 22782 (java) R 22768 22768 18852 0 -1 4202560 364 0 0 0 2 0 0 0 20 0 15 0 517076089 15508250624 7508 33554432000 4194304 4196468 140720822439952 140183944595472 140185057064757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22783] ppid=22768 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22783/stat : 22783 (java) S 22768 22768 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076089 15508250624 7508 33554432000 4194304 4196468 140720822439952 140183943547872 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22784] ppid=22768 vsize=15144776 memory=139814143350400 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22784/stat : 22784 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076089 15508250624 7508 33554432000 4194304 4196468 140720822439952 140183942494640 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31484 KiB
[startup+0.210786 s]*
/proc/loadavg: 2.22 1.91 1.90 4/229 22784
/proc/meminfo: memFree=25846488/32770624 swapFree=66956956/67108860
[pid=22768] ppid=22765 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22768/stat : 22768 (xcsp3-exec) S 22765 22768 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517076083 115843072 363 33554432000 4194304 5098028 140728161972912 140728161971016 140163788784252 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30867456 140728161977175 140728161977433 140728161977433 140728161980358 0
/proc/22768/statm: 28282 363 304 221 0 87 0
[pid=22770] ppid=22768 vsize=15144776 memory=41008 CPUtime=0.34 cores=1,3,5,7
/proc/22770/stat : 22770 (java) S 22768 22768 18852 0 -1 1077944320 9494 0 0 0 31 3 0 0 20 0 15 0 517076083 15508250624 10252 33554432000 4194304 4196468 140720822439952 140720822422496 140185078103799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
/proc/22770/statm: 3786194 10252 3282 1 0 3748377 0
[pid=22770/tid=22771] ppid=22768 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/22770/task/22771/stat : 22771 (java) R 22768 22768 18852 0 -1 4202560 6629 0 0 0 18 2 0 0 20 0 15 0 517076084 15508250624 10252 33554432000 4194304 4196468 140720822439952 140185082333024 140185078115734 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22772] ppid=22768 vsize=15144776 memory=1899191 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22772/stat : 22772 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076084 15508250624 10252 33554432000 4194304 4196468 140720822439952 140185049947024 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22773] ppid=22768 vsize=15144776 memory=288370190295062144 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22773/stat : 22773 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076084 15508250624 10252 33554432000 4194304 4196468 140720822439952 140184669227792 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22774] ppid=22768 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22774/stat : 22774 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076084 15508250624 10252 33554432000 4194304 4196468 140720822439952 140184668175504 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22775] ppid=22768 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22775/stat : 22775 (java) S 22768 22768 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517076084 15508250624 10252 33554432000 4194304 4196468 140720822439952 140184667122704 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22776] ppid=22768 vsize=15144776 memory=139814143350400 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22776/stat : 22776 (java) S 22768 22768 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517076086 15508250624 10252 33554432000 4194304 4196468 140720822439952 140184043616368 140185078114946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22777] ppid=22768 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22777/stat : 22777 (java) S 22768 22768 18852 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 517076086 15508250624 10252 33554432000 4194304 4196468 140720822439952 140183949861664 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22778] ppid=22768 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22778/stat : 22778 (java) S 22768 22768 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517076086 15508250624 10252 33554432000 4194304 4196468 140720822439952 140183948809328 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22779] ppid=22768 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22779/stat : 22779 (java) S 22768 22768 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076089 15508250624 10252 33554432000 4194304 4196468 140720822439952 140183947757648 140185078122395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22780] ppid=22768 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22770/task/22780/stat : 22780 (java) S 22768 22768 18852 0 -1 1077944384 515 0 0 0 1 0 0 0 20 0 15 0 517076089 15508250624 10252 33554432000 4194304 4196468 140720822439952 140183946705520 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22781] ppid=22768 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/22770/task/22781/stat : 22781 (java) S 22768 22768 18852 0 -1 1077944384 156 0 0 0 3 0 0 0 20 0 15 0 517076089 15508250624 10252 33554432000 4194304 4196468 140720822439952 140183945652720 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22782] ppid=22768 vsize=15144776 memory=139814143350400 CPUtime=0.07 cores=1,3,5,7
/proc/22770/task/22782/stat : 22782 (java) R 22768 22768 18852 0 -1 4202560 908 0 0 0 7 0 0 0 20 0 15 0 517076089 15508250624 10252 33554432000 4194304 4196468 140720822439952 140183944600432 140185057239459 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22783] ppid=22768 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22783/stat : 22783 (java) S 22768 22768 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076089 15508250624 10252 33554432000 4194304 4196468 140720822439952 140183943547872 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22784] ppid=22768 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22784/stat : 22784 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076089 15508250624 10252 33554432000 4194304 4196468 140720822439952 140183942494640 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42460 KiB
[startup+0.311053 s]*
/proc/loadavg: 2.22 1.91 1.90 5/229 22784
/proc/meminfo: memFree=25837704/32770624 swapFree=66956956/67108860
[pid=22768] ppid=22765 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22768/stat : 22768 (xcsp3-exec) S 22765 22768 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517076083 115843072 363 33554432000 4194304 5098028 140728161972912 140728161971016 140163788784252 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30867456 140728161977175 140728161977433 140728161977433 140728161980358 0
/proc/22768/statm: 28282 363 304 221 0 87 0
[pid=22770] ppid=22768 vsize=15149032 memory=50736 CPUtime=0.54 cores=1,3,5,7
/proc/22770/stat : 22770 (java) S 22768 22768 18852 0 -1 1077944320 10994 0 0 0 50 4 0 0 20 0 15 0 517076083 15512608768 12684 33554432000 4194304 4196468 140720822439952 140720822422496 140185078103799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
/proc/22770/statm: 3787258 12684 3371 1 0 3748377 0
[pid=22770/tid=22771] ppid=22768 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/22770/task/22771/stat : 22771 (java) R 22768 22768 18852 0 -1 4202560 7771 0 0 0 27 3 0 0 20 0 15 0 517076084 15512608768 12684 33554432000 4194304 4196468 140720822439952 140185082334912 140185078125725 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22772] ppid=22768 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22772/stat : 22772 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076084 15512608768 12684 33554432000 4194304 4196468 140720822439952 140185049947024 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22773] ppid=22768 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22773/stat : 22773 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076084 15512608768 12684 33554432000 4194304 4196468 140720822439952 140184669227792 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22774] ppid=22768 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22774/stat : 22774 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076084 15512608768 12684 33554432000 4194304 4196468 140720822439952 140184668175504 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22775] ppid=22768 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22775/stat : 22775 (java) S 22768 22768 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517076084 15512608768 12684 33554432000 4194304 4196468 140720822439952 140184667122704 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22776] ppid=22768 vsize=15149032 memory=-7449686455322460319 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22776/stat : 22776 (java) S 22768 22768 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517076086 15512608768 12684 33554432000 4194304 4196468 140720822439952 140184043616368 140185078114946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22777] ppid=22768 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22777/stat : 22777 (java) S 22768 22768 18852 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 517076086 15512608768 12684 33554432000 4194304 4196468 140720822439952 140183949861664 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22778] ppid=22768 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22778/stat : 22778 (java) S 22768 22768 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517076086 15512608768 12684 33554432000 4194304 4196468 140720822439952 140183948809328 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22779] ppid=22768 vsize=15149032 memory=8514701219781834910 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22779/stat : 22779 (java) S 22768 22768 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076089 15512608768 12684 33554432000 4194304 4196468 140720822439952 140183947757648 140185078122395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22780] ppid=22768 vsize=15149032 memory=6576575808607071397 CPUtime=0.03 cores=1,3,5,7
/proc/22770/task/22780/stat : 22780 (java) R 22768 22768 18852 0 -1 1077944384 555 0 0 0 3 0 0 0 20 0 15 0 517076089 15512608768 12684 33554432000 4194304 4196468 140720822439952 140183946705520 140185078114946 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22781] ppid=22768 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/22770/task/22781/stat : 22781 (java) R 22768 22768 18852 0 -1 4202560 244 0 0 0 5 0 0 0 20 0 15 0 517076089 15512608768 12684 33554432000 4194304 4196468 140720822439952 140183945633736 140185063213612 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22782] ppid=22768 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/22770/task/22782/stat : 22782 (java) S 22768 22768 18852 0 -1 1077944384 1141 0 0 0 12 0 0 0 20 0 15 0 517076089 15512608768 12684 33554432000 4194304 4196468 140720822439952 140183944600432 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22783] ppid=22768 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22783/stat : 22783 (java) S 22768 22768 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076089 15512608768 12684 33554432000 4194304 4196468 140720822439952 140183943547872 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22784] ppid=22768 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22784/stat : 22784 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076089 15512608768 12684 33554432000 4194304 4196468 140720822439952 140183942494640 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52188 KiB
[startup+0.700794 s]
/proc/loadavg: 2.22 1.91 1.90 5/229 22784
/proc/meminfo: memFree=25820076/32770624 swapFree=66956956/67108860
[pid=22768] ppid=22765 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22768/stat : 22768 (xcsp3-exec) S 22765 22768 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517076083 115843072 363 33554432000 4194304 5098028 140728161972912 140728161971016 140163788784252 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30867456 140728161977175 140728161977433 140728161977433 140728161980358 0
/proc/22768/statm: 28282 363 304 221 0 87 0
[pid=22770] ppid=22768 vsize=15151156 memory=95416 CPUtime=1.55 cores=1,3,5,7
/proc/22770/stat : 22770 (java) S 22768 22768 18852 0 -1 1077944320 14406 0 0 0 150 5 0 0 20 0 15 0 517076083 15514783744 23854 33554432000 4194304 4196468 140720822439952 140720822422496 140185078103799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
/proc/22770/statm: 3787789 23854 3445 1 0 3748889 0
[pid=22770/tid=22771] ppid=22768 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/22770/task/22771/stat : 22771 (java) R 22768 22768 18852 0 -1 4202560 9186 0 0 0 64 4 0 0 20 0 15 0 517076084 15514783744 23854 33554432000 4194304 4196468 140720822439952 140185082334528 140184718257930 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22772] ppid=22768 vsize=15151156 memory=55364 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22772/stat : 22772 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076084 15514783744 23854 33554432000 4194304 4196468 140720822439952 140185049947024 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22773] ppid=22768 vsize=15151156 memory=984 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22773/stat : 22773 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076084 15514783744 23854 33554432000 4194304 4196468 140720822439952 140184669227792 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22774] ppid=22768 vsize=15151156 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22774/stat : 22774 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076084 15514783744 23854 33554432000 4194304 4196468 140720822439952 140184668175504 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22775] ppid=22768 vsize=15151156 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22775/stat : 22775 (java) S 22768 22768 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517076084 15514783744 23854 33554432000 4194304 4196468 140720822439952 140184667122704 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22776] ppid=22768 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22776/stat : 22776 (java) S 22768 22768 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517076086 15514783744 23854 33554432000 4194304 4196468 140720822439952 140184043616368 140185078114946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22777] ppid=22768 vsize=15151156 memory=7552 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22777/stat : 22777 (java) S 22768 22768 18852 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 517076086 15514783744 23854 33554432000 4194304 4196468 140720822439952 140183949861664 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22778] ppid=22768 vsize=15151156 memory=3608 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22778/stat : 22778 (java) S 22768 22768 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517076086 15514783744 23854 33554432000 4194304 4196468 140720822439952 140183948809328 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22779] ppid=22768 vsize=15151156 memory=616 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22779/stat : 22779 (java) S 22768 22768 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076089 15514783744 23854 33554432000 4194304 4196468 140720822439952 140183947757648 140185078122395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22780] ppid=22768 vsize=15151156 memory=2832 CPUtime=0.24 cores=1,3,5,7
/proc/22770/task/22780/stat : 22780 (java) R 22768 22768 18852 0 -1 4202560 1377 0 0 0 24 0 0 0 20 0 15 0 517076089 15514783744 23854 33554432000 4194304 4196468 140720822439952 140183946705520 140185059282681 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22781] ppid=22768 vsize=15151156 memory=1620 CPUtime=0.27 cores=1,3,5,7
/proc/22770/task/22781/stat : 22781 (java) S 22768 22768 18852 0 -1 1077944384 644 0 0 0 27 0 0 0 20 0 15 0 517076089 15514783744 23854 33554432000 4194304 4196468 140720822439952 140183945652720 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22782] ppid=22768 vsize=15151156 memory=1136 CPUtime=0.33 cores=1,3,5,7
/proc/22770/task/22782/stat : 22782 (java) S 22768 22768 18852 0 -1 1077944384 1911 0 0 0 33 0 0 0 20 0 15 0 517076089 15514783744 23854 33554432000 4194304 4196468 140720822439952 140183944600432 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22783] ppid=22768 vsize=15151156 memory=1072 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22783/stat : 22783 (java) S 22768 22768 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076089 15514783744 23854 33554432000 4194304 4196468 140720822439952 140183943547872 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22784] ppid=22768 vsize=15151156 memory=6196 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22784/stat : 22784 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076089 15514783744 23854 33554432000 4194304 4196468 140720822439952 140183942494640 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 96868 KiB
[startup+1.50082 s]
/proc/loadavg: 2.22 1.91 1.90 5/229 22784
/proc/meminfo: memFree=25791468/32770624 swapFree=66956956/67108860
[pid=22768] ppid=22765 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22768/stat : 22768 (xcsp3-exec) S 22765 22768 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517076083 115843072 363 33554432000 4194304 5098028 140728161972912 140728161971016 140163788784252 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30867456 140728161977175 140728161977433 140728161977433 140728161980358 0
/proc/22768/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/22768/stat : 22768 (xcsp3-exec) S 22765 22768 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517076083 115843072 363 33554432000 4194304 5098028 140728161972912 140728161971016 140163788784252 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30867456 140728161977175 140728161977433 140728161977433 140728161980358 0
/proc/22768/statm: 28282 363 304 221 0 87 0
[pid=22770] ppid=22768 vsize=15151156 memory=159280 CPUtime=21.14 cores=1,3,5,7
/proc/22770/stat : 22770 (java) S 22768 22768 18852 0 -1 1077944320 31800 0 0 0 2105 9 0 0 20 0 15 0 517076083 15514783744 39820 33554432000 4194304 4196468 140720822439952 140720822422496 140185078103799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
/proc/22770/statm: 3787789 39820 3480 1 0 3748889 0
[pid=22770/tid=22771] ppid=22768 vsize=15151156 memory=6791534058613427641 CPUtime=18.38 cores=1,3,5,7
/proc/22770/task/22771/stat : 22771 (java) R 22768 22768 18852 0 -1 4202560 11686 0 0 0 1832 6 0 0 20 0 15 0 517076084 15514783744 39820 33554432000 4194304 4196468 140720822439952 140185082340464 140184718770915 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22772] ppid=22768 vsize=15151156 memory=157228 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22772/stat : 22772 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076084 15514783744 39820 33554432000 4194304 4196468 140720822439952 140185049947024 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22773] ppid=22768 vsize=15151156 memory=516 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22773/stat : 22773 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076084 15514783744 39820 33554432000 4194304 4196468 140720822439952 140184669227792 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22774] ppid=22768 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22774/stat : 22774 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076084 15514783744 39820 33554432000 4194304 4196468 140720822439952 140184668175504 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22775] ppid=22768 vsize=15151156 memory=928 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22775/stat : 22775 (java) S 22768 22768 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517076084 15514783744 39820 33554432000 4194304 4196468 140720822439952 140184667122704 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22776] ppid=22768 vsize=15151156 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22776/stat : 22776 (java) S 22768 22768 18852 0 -1 1077944384 359 0 0 0 0 0 0 0 20 0 15 0 517076086 15514783744 39820 33554432000 4194304 4196468 140720822439952 140184043616368 140185078114946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22777] ppid=22768 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22777/stat : 22777 (java) S 22768 22768 18852 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 517076086 15514783744 39820 33554432000 4194304 4196468 140720822439952 140183949861664 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22778] ppid=22768 vsize=15151156 memory=7552 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22778/stat : 22778 (java) S 22768 22768 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517076086 15514783744 39820 33554432000 4194304 4196468 140720822439952 140183948809328 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22779] ppid=22768 vsize=15151156 memory=3608 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22779/stat : 22779 (java) S 22768 22768 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076089 15514783744 39820 33554432000 4194304 4196468 140720822439952 140183947757648 140185078122395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22780] ppid=22768 vsize=15151156 memory=616 CPUtime=1.01 cores=1,3,5,7
/proc/22770/task/22780/stat : 22780 (java) S 22768 22768 18852 0 -1 1077944384 6674 0 0 0 100 1 0 0 20 0 15 0 517076089 15514783744 39820 33554432000 4194304 4196468 140720822439952 140183946705520 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22781] ppid=22768 vsize=15151156 memory=2832 CPUtime=1.26 cores=1,3,5,7
/proc/22770/task/22781/stat : 22781 (java) S 22768 22768 18852 0 -1 1077944384 7843 0 0 0 125 1 0 0 20 0 15 0 517076089 15514783744 39820 33554432000 4194304 4196468 140720822439952 140183945652720 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22782] ppid=22768 vsize=15151156 memory=1620 CPUtime=0.47 cores=1,3,5,7
/proc/22770/task/22782/stat : 22782 (java) S 22768 22768 18852 0 -1 1077944384 3636 0 0 0 46 1 0 0 20 0 15 0 517076089 15514783744 39820 33554432000 4194304 4196468 140720822439952 140183944600432 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22783] ppid=22768 vsize=15151156 memory=1136 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22783/stat : 22783 (java) S 22768 22768 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076089 15514783744 39820 33554432000 4194304 4196468 140720822439952 140183943547872 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22784] ppid=22768 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22784/stat : 22784 (java) S 22768 22768 18852 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 15 0 517076089 15514783744 39820 33554432000 4194304 4196468 140720822439952 140183942494640 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
Current children cumulated CPU time: 21.14 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 160732 KiB
[startup+19.2008 s]
/proc/loadavg: 2.50 2.00 1.93 3/229 22942
/proc/meminfo: memFree=25543648/32770624 swapFree=66956956/67108860
[pid=22768] ppid=22765 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22768/stat : 22768 (xcsp3-exec) S 22765 22768 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517076083 115843072 363 33554432000 4194304 5098028 140728161972912 140728161971016 140163788784252 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30867456 140728161977175 140728161977433 140728161977433 140728161980358 0
/proc/22768/statm: 28282 363 304 221 0 87 0
[pid=22770] ppid=22768 vsize=15151156 memory=159280 CPUtime=21.94 cores=1,3,5,7
/proc/22770/stat : 22770 (java) S 22768 22768 18852 0 -1 1077944320 31903 0 0 0 2185 9 0 0 20 0 15 0 517076083 15514783744 39820 33554432000 4194304 4196468 140720822439952 140720822422496 140185078103799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
/proc/22770/statm: 3787789 39820 3480 1 0 3748889 0
[pid=22770/tid=22771] ppid=22768 vsize=15151156 memory=0 CPUtime=19.18 cores=1,3,5,7
/proc/22770/task/22771/stat : 22771 (java) R 22768 22768 18852 0 -1 4202560 11687 0 0 0 1912 6 0 0 20 0 15 0 517076084 15514783744 39820 33554432000 4194304 4196468 140720822439952 140185082340464 140184718770915 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22772] ppid=22768 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22772/stat : 22772 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076084 15514783744 39820 33554432000 4194304 4196468 140720822439952 140185049947024 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22773] ppid=22768 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22773/stat : 22773 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076084 15514783744 39820 33554432000 4194304 4196468 140720822439952 140184669227792 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22774] ppid=22768 vsize=15151156 memory=122892 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22774/stat : 22774 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076084 15514783744 39820 33554432000 4194304 4196468 140720822439952 140184668175504 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22775] ppid=22768 vsize=15151156 memory=-7965959130280075168 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22775/stat : 22775 (java) S 22768 22768 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517076084 15514783744 39820 33554432000 4194304 4196468 140720822439952 140184667122704 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22776] ppid=22768 vsize=15151156 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22776/stat : 22776 (java) S 22768 22768 18852 0 -1 1077944384 359 0 0 0 0 0 0 0 20 0 15 0 517076086 15514783744 39820 33554432000 4194304 4196468 140720822439952 140184043616368 140185078114946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22777] ppid=22768 vsize=15151156 memory=-7236585799559313528 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22777/stat : 22777 (java) S 22768 22768 18852 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 517076086 15514783744 39820 33554432000 4194304 4196468 140720822439952 140183949861664 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22778] ppid=22768 vsize=15151156 memory=-7236585799559247992 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22778/stat : 22778 (java) S 22768 22768 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517076086 15514783744 39820 33554432000 4194304 4196468 140720822439952 140183948809328 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22779] ppid=22768 vsize=15151156 memory=-7236585799559247992 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22779/stat : 22779 (java) S 22768 22768 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076089 15514783744 39820 33554432000 4194304 4196468 140720822439952 140183947757648 140185078122395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22780] ppid=22768 vsize=15151156 memory=6791534058613427641 CPUtime=1.01 cores=1,3,5,7
/proc/22770/task/22780/stat : 22780 (java) S 22768 22768 18852 0 -1 1077944384 6674 0 0 0 100 1 0 0 20 0 15 0 517076089 15514783744 39820 33554432000 4194304 4196468 140720822439952 140183946705520 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22781] ppid=22768 vsize=15151156 memory=0 CPUtime=1.26 cores=1,3,5,7
/proc/22770/task/22781/stat : 22781 (java) S 22768 22768 18852 0 -1 1077944384 7945 0 0 0 125 1 0 0 20 0 15 0 517076089 15514783744 39820 33554432000 4194304 4196468 140720822439952 140183945652720 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22782] ppid=22768 vsize=15151156 memory=99 CPUtime=0.47 cores=1,3,5,7
/proc/22770/task/22782/stat : 22782 (java) S 22768 22768 18852 0 -1 1077944384 3636 0 0 0 46 1 0 0 20 0 15 0 517076089 15514783744 39820 33554432000 4194304 4196468 140720822439952 140183944600432 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22783] ppid=22768 vsize=15151156 memory=122 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22783/stat : 22783 (java) S 22768 22768 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076089 15514783744 39820 33554432000 4194304 4196468 140720822439952 140183943547872 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22784] ppid=22768 vsize=15151156 memory=47 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22784/stat : 22784 (java) S 22768 22768 18852 0 -1 1077944384 320 0 0 0 0 0 0 0 20 0 15 0 517076089 15514783744 39820 33554432000 4194304 4196468 140720822439952 140183942494640 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
Current children cumulated CPU time: 21.94 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 160732 KiB
[startup+19.6007 s]
/proc/loadavg: 2.50 2.00 1.93 3/229 22942
/proc/meminfo: memFree=25543648/32770624 swapFree=66956956/67108860
[pid=22768] ppid=22765 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22768/stat : 22768 (xcsp3-exec) S 22765 22768 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517076083 115843072 363 33554432000 4194304 5098028 140728161972912 140728161971016 140163788784252 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30867456 140728161977175 140728161977433 140728161977433 140728161980358 0
/proc/22768/statm: 28282 363 304 221 0 87 0
[pid=22770] ppid=22768 vsize=15151156 memory=161328 CPUtime=22.34 cores=1,3,5,7
/proc/22770/stat : 22770 (java) S 22768 22768 18852 0 -1 1077944320 32168 0 0 0 2225 9 0 0 20 0 15 0 517076083 15514783744 40332 33554432000 4194304 4196468 140720822439952 140720822422496 140185078103799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
/proc/22770/statm: 3787789 40332 3480 1 0 3748889 0
[pid=22770/tid=22771] ppid=22768 vsize=15151156 memory=3608 CPUtime=19.58 cores=1,3,5,7
/proc/22770/task/22771/stat : 22771 (java) R 22768 22768 18852 0 -1 4202560 11926 0 0 0 1952 6 0 0 20 0 15 0 517076084 15514783744 40332 33554432000 4194304 4196468 140720822439952 140185082340352 140184718770757 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22772] ppid=22768 vsize=15151156 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22772/stat : 22772 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076084 15514783744 40332 33554432000 4194304 4196468 140720822439952 140185049947024 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22773] ppid=22768 vsize=15151156 memory=138620 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22773/stat : 22773 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076084 15514783744 40332 33554432000 4194304 4196468 140720822439952 140184669227792 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22774] ppid=22768 vsize=15151156 memory=6196 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22774/stat : 22774 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076084 15514783744 40332 33554432000 4194304 4196468 140720822439952 140184668175504 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22775] ppid=22768 vsize=15151156 memory=784 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22775/stat : 22775 (java) S 22768 22768 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517076084 15514783744 40332 33554432000 4194304 4196468 140720822439952 140184667122704 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22776] ppid=22768 vsize=15151156 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22776/stat : 22776 (java) S 22768 22768 18852 0 -1 1077944384 359 0 0 0 0 0 0 0 20 0 15 0 517076086 15514783744 40332 33554432000 4194304 4196468 140720822439952 140184043616368 140185078114946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22777] ppid=22768 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22777/stat : 22777 (java) S 22768 22768 18852 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 517076086 15514783744 40332 33554432000 4194304 4196468 140720822439952 140183949861664 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22778] ppid=22768 vsize=15151156 memory=26124 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22778/stat : 22778 (java) S 22768 22768 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517076086 15514783744 40332 33554432000 4194304 4196468 140720822439952 140183948809328 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22779] ppid=22768 vsize=15151156 memory=14056 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22779/stat : 22779 (java) S 22768 22768 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076089 15514783744 40332 33554432000 4194304 4196468 140720822439952 140183947757648 140185078122395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22780] ppid=22768 vsize=15151156 memory=2116 CPUtime=1.01 cores=1,3,5,7
/proc/22770/task/22780/stat : 22780 (java) S 22768 22768 18852 0 -1 1077944384 6674 0 0 0 100 1 0 0 20 0 15 0 517076089 15514783744 40332 33554432000 4194304 4196468 140720822439952 140183946705520 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22781] ppid=22768 vsize=15151156 memory=155180 CPUtime=1.26 cores=1,3,5,7
/proc/22770/task/22781/stat : 22781 (java) S 22768 22768 18852 0 -1 1077944384 7945 0 0 0 125 1 0 0 20 0 15 0 517076089 15514783744 40332 33554432000 4194304 4196468 140720822439952 140183945652720 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22782] ppid=22768 vsize=15151156 memory=1452 CPUtime=0.47 cores=1,3,5,7
/proc/22770/task/22782/stat : 22782 (java) S 22768 22768 18852 0 -1 1077944384 3636 0 0 0 46 1 0 0 20 0 15 0 517076089 15514783744 40332 33554432000 4194304 4196468 140720822439952 140183944600432 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22783] ppid=22768 vsize=15151156 memory=153120 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22783/stat : 22783 (java) S 22768 22768 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076089 15514783744 40332 33554432000 4194304 4196468 140720822439952 140183943547872 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22784] ppid=22768 vsize=15151156 memory=1772 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22784/stat : 22784 (java) S 22768 22768 18852 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 15 0 517076089 15514783744 40332 33554432000 4194304 4196468 140720822439952 140183942494640 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
Current children cumulated CPU time: 22.34 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 162780 KiB
[startup+19.7007 s]
/proc/loadavg: 2.50 2.00 1.93 3/229 22942
/proc/meminfo: memFree=25543648/32770624 swapFree=66956956/67108860
[pid=22768] ppid=22765 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/22768/stat : 22768 (xcsp3-exec) S 22765 22768 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517076083 115843072 363 33554432000 4194304 5098028 140728161972912 140728161971016 140163788784252 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30867456 140728161977175 140728161977433 140728161977433 140728161980358 0
/proc/22768/statm: 28282 363 304 221 0 87 0
[pid=22770] ppid=22768 vsize=15151156 memory=163376 CPUtime=22.44 cores=1,3,5,7
/proc/22770/stat : 22770 (java) S 22768 22768 18852 0 -1 1077944320 32188 0 0 0 2235 9 0 0 20 0 15 0 517076083 15514783744 40844 33554432000 4194304 4196468 140720822439952 140720822422496 140185078103799 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
/proc/22770/statm: 3787789 40844 3480 1 0 3748889 0
[pid=22770/tid=22771] ppid=22768 vsize=15151156 memory=1452 CPUtime=19.68 cores=1,3,5,7
/proc/22770/task/22771/stat : 22771 (java) R 22768 22768 18852 0 -1 4202560 11946 0 0 0 1962 6 0 0 20 0 15 0 517076084 15514783744 40844 33554432000 4194304 4196468 140720822439952 140185082340352 140184718770906 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22772] ppid=22768 vsize=15151156 memory=159280 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22772/stat : 22772 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076084 15514783744 40844 33554432000 4194304 4196468 140720822439952 140185049947024 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22773] ppid=22768 vsize=15151156 memory=33 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22773/stat : 22773 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076084 15514783744 40844 33554432000 4194304 4196468 140720822439952 140184669227792 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22774] ppid=22768 vsize=15151156 memory=159280 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22774/stat : 22774 (java) S 22768 22768 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517076084 15514783744 40844 33554432000 4194304 4196468 140720822439952 140184668175504 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22775] ppid=22768 vsize=15151156 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22775/stat : 22775 (java) S 22768 22768 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517076084 15514783744 40844 33554432000 4194304 4196468 140720822439952 140184667122704 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22776] ppid=22768 vsize=15151156 memory=1899429 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22776/stat : 22776 (java) S 22768 22768 18852 0 -1 1077944384 359 0 0 0 0 0 0 0 20 0 15 0 517076086 15514783744 40844 33554432000 4194304 4196468 140720822439952 140184043616368 140185078114946 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22777] ppid=22768 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22777/stat : 22777 (java) S 22768 22768 18852 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 517076086 15514783744 40844 33554432000 4194304 4196468 140720822439952 140183949861664 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22778] ppid=22768 vsize=15151156 memory=1378 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22778/stat : 22778 (java) S 22768 22768 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517076086 15514783744 40844 33554432000 4194304 4196468 140720822439952 140183948809328 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22779] ppid=22768 vsize=15151156 memory=133116 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22779/stat : 22779 (java) S 22768 22768 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076089 15514783744 40844 33554432000 4194304 4196468 140720822439952 140183947757648 140185078122395 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22780] ppid=22768 vsize=15151156 memory=125920 CPUtime=1.01 cores=1,3,5,7
/proc/22770/task/22780/stat : 22780 (java) S 22768 22768 18852 0 -1 1077944384 6674 0 0 0 100 1 0 0 20 0 15 0 517076089 15514783744 40844 33554432000 4194304 4196468 140720822439952 140183946705520 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22781] ppid=22768 vsize=15151156 memory=279628006702720 CPUtime=1.26 cores=1,3,5,7
/proc/22770/task/22781/stat : 22781 (java) S 22768 22768 18852 0 -1 1077944384 7945 0 0 0 125 1 0 0 20 0 15 0 517076089 15514783744 40844 33554432000 4194304 4196468 140720822439952 140183945652720 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22782] ppid=22768 vsize=15151156 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/22770/task/22782/stat : 22782 (java) S 22768 22768 18852 0 -1 1077944384 3636 0 0 0 46 1 0 0 20 0 15 0 517076089 15514783744 40844 33554432000 4194304 4196468 140720822439952 140183944600432 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22783] ppid=22768 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22783/stat : 22783 (java) S 22768 22768 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517076089 15514783744 40844 33554432000 4194304 4196468 140720822439952 140183943547872 140185078114005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
[pid=22770/tid=22784] ppid=22768 vsize=15151156 memory=159280 CPUtime=0 cores=1,3,5,7
/proc/22770/task/22784/stat : 22784 (java) S 22768 22768 18852 0 -1 1077944384 346 0 0 0 0 0 0 0 20 0 15 0 517076089 15514783744 40844 33554432000 4194304 4196468 140720822439952 140183942494640 140185078114946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6606848 140720822445019 140720822445194 140720822445194 140720822448079 0
Current children cumulated CPU time: 22.44 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 164828 KiB
Child status: 0
Real time (s): 19.7468
CPU time (s): 22.5009
CPU user time (s): 22.3944
CPU system time (s): 0.106565
CPU usage (%): 113.947
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 164828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.3944
system time used= 0.106565
maximum resident set size= 163592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34424
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2804
involuntary context switches= 32
# summary of solver processes directly reported to runsolver:
# pid: 22768
# total CPU time (s): 22.5009
# total CPU user time (s): 22.3944
# total CPU system time (s): 0.106565
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.150874 second user time and 0.228087 second system time
The end