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 (1006 MiB free)
memory of node 1: 16384 MiB (3425 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402871-1568970136/watcher-4402871-1568970136 -o /tmp/evaluation-result-4402871-1568970136/solver-4402871-1568970136 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568963957-22251 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=799927705 HOME/instance-4402871-1568970136.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=23223, runsolver pid=23220
[startup+0.100095 s]*
/proc/loadavg: 1.52 1.51 1.35 5/218 23280
/proc/meminfo: memFree=4526504/32770624 swapFree=66998000/67108860
[pid=23223] ppid=23220 vsize=9972712 memory=17080 CPUtime=0.08 cores=1,3,5,7
/proc/23223/stat : 23223 (java) S 23220 23223 22219 0 -1 1077944320 4512 13004 0 0 1 0 5 2 20 0 6 0 473267852 10212057088 4270 33554432000 4194304 4196468 140722994275232 140722994257776 140185276976887 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
/proc/23223/statm: 2493178 4270 1935 1 0 2481616 0
[pid=23223/tid=23276] ppid=23220 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/23223/task/23276/stat : 23276 (java) R 23220 23223 22219 0 -1 4202560 2329 13004 0 0 1 0 5 2 20 0 6 0 473267861 10212057088 4270 33554432000 4194304 4196468 140722994275232 140185248813648 140185262099824 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23277] ppid=23220 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23277/stat : 23277 (java) S 23220 23223 22219 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 6 0 473267862 10212057088 4270 33554432000 4194304 4196468 140722994275232 140185281218832 140185276987093 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23278] ppid=23220 vsize=9972712 memory=3833884847424206496 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23278/stat : 23278 (java) S 23220 23223 22219 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 6 0 473267862 10212057088 4270 33554432000 4194304 4196468 140722994275232 140185185421712 140185276987093 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23279] ppid=23220 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23279/stat : 23279 (java) S 23220 23223 22219 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 6 0 473267862 10212057088 4270 33554432000 4194304 4196468 140722994275232 140185184369168 140185276987093 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23280] ppid=23220 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23280/stat : 23280 (java) S 23220 23223 22219 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 6 0 473267862 10212057088 4270 33554432000 4194304 4196468 140722994275232 140184847702672 140185276987093 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB
[startup+0.209971 s]*
/proc/loadavg: 1.52 1.51 1.35 5/227 23289
/proc/meminfo: memFree=4504696/32770624 swapFree=66998000/67108860
[pid=23223] ppid=23220 vsize=10820196 memory=42588 CPUtime=0.26 cores=1,3,5,7
/proc/23223/stat : 23223 (java) S 23220 23223 22219 0 -1 1077944320 7573 13004 0 0 17 2 5 2 20 0 15 0 473267852 11079880704 10647 33554432000 4194304 4196468 140722994275232 140722994257776 140185276976887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
/proc/23223/statm: 2705049 10647 3294 1 0 2667149 0
[pid=23223/tid=23276] ppid=23220 vsize=10820196 memory=729618466009055537 CPUtime=0.18 cores=1,3,5,7
/proc/23223/task/23276/stat : 23276 (java) R 23220 23223 22219 0 -1 4202560 4079 13004 0 0 10 1 5 2 20 0 15 0 473267861 11079880704 10647 33554432000 4194304 4196468 140722994275232 140185248787920 140185276998813 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23277] ppid=23220 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23277/stat : 23277 (java) S 23220 23223 22219 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 473267862 11079880704 10647 33554432000 4194304 4196468 140722994275232 140185281218832 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23278] ppid=23220 vsize=10820196 memory=3833884847424206496 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23278/stat : 23278 (java) S 23220 23223 22219 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 473267862 11079880704 10647 33554432000 4194304 4196468 140722994275232 140185185421712 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23279] ppid=23220 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23279/stat : 23279 (java) S 23220 23223 22219 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 473267862 11079880704 10647 33554432000 4194304 4196468 140722994275232 140185184369168 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23280] ppid=23220 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23280/stat : 23280 (java) S 23220 23223 22219 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 15 0 473267862 11079880704 10647 33554432000 4194304 4196468 140722994275232 140184847702672 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23281] ppid=23220 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23281/stat : 23281 (java) S 23220 23223 22219 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 15 0 473267863 11079880704 10647 33554432000 4194304 4196468 140722994275232 140184803609072 140185276988034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23282] ppid=23220 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23282/stat : 23282 (java) S 23220 23223 22219 0 -1 1077944384 13 13004 0 0 0 0 5 2 20 0 15 0 473267864 11079880704 10647 33554432000 4194304 4196468 140722994275232 140184578418080 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23283] ppid=23220 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23283/stat : 23283 (java) S 23220 23223 22219 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 473267864 11079880704 10647 33554432000 4194304 4196468 140722994275232 140184108656112 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23284] ppid=23220 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23284/stat : 23284 (java) S 23220 23223 22219 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 473267867 11079880704 10647 33554432000 4194304 4196468 140722994275232 140183801256656 140185276995483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23285] ppid=23220 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/23223/task/23285/stat : 23285 (java) R 23220 23223 22219 0 -1 4202560 363 13004 0 0 1 0 5 2 20 0 15 0 473267867 11079880704 10647 33554432000 4194304 4196468 140722994275232 140184802555888 140185254851072 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23286] ppid=23220 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23223/task/23286/stat : 23286 (java) S 23220 23223 22219 0 -1 1077944384 293 13004 0 0 1 0 5 2 20 0 15 0 473267867 11079880704 10647 33554432000 4194304 4196468 140722994275232 140184801503344 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23287] ppid=23220 vsize=10820196 memory=140473456195200 CPUtime=0.1 cores=1,3,5,7
/proc/23223/task/23287/stat : 23287 (java) S 23220 23223 22219 0 -1 1077944384 611 13004 0 0 3 0 5 2 20 0 15 0 473267867 11079880704 10647 33554432000 4194304 4196468 140722994275232 140184800450800 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23288] ppid=23220 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23288/stat : 23288 (java) S 23220 23223 22219 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 473267867 11079880704 10647 33554432000 4194304 4196468 140722994275232 140183767698016 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23289] ppid=23220 vsize=10820196 memory=140473456195200 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23289/stat : 23289 (java) S 23220 23223 22219 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 473267867 11079880704 10647 33554432000 4194304 4196468 140722994275232 140184799398704 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 42588 KiB
[startup+0.319262 s]*
/proc/loadavg: 1.52 1.51 1.35 5/227 23289
/proc/meminfo: memFree=4483324/32770624 swapFree=66998000/67108860
[pid=23223] ppid=23220 vsize=10820268 memory=51048 CPUtime=0.4 cores=1,3,5,7
/proc/23223/stat : 23223 (java) S 23220 23223 22219 0 -1 1077944320 10973 13004 0 0 30 3 5 2 20 0 15 0 473267852 11079954432 12762 33554432000 4194304 4196468 140722994275232 140722994257776 140185276976887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
/proc/23223/statm: 2705067 12762 3315 1 0 2667149 0
[pid=23223/tid=23276] ppid=23220 vsize=10820268 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/23223/task/23276/stat : 23276 (java) R 23220 23223 22219 0 -1 4202560 7462 13004 0 0 20 2 5 2 20 0 15 0 473267861 11079954432 12762 33554432000 4194304 4196468 140722994275232 140185248783392 140184863637625 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23277] ppid=23220 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23277/stat : 23277 (java) S 23220 23223 22219 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 473267862 11079954432 12762 33554432000 4194304 4196468 140722994275232 140185281218832 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23278] ppid=23220 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23278/stat : 23278 (java) S 23220 23223 22219 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 473267862 11079954432 12762 33554432000 4194304 4196468 140722994275232 140185185421712 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23279] ppid=23220 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23279/stat : 23279 (java) S 23220 23223 22219 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 473267862 11079954432 12762 33554432000 4194304 4196468 140722994275232 140185184369168 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23280] ppid=23220 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23280/stat : 23280 (java) S 23220 23223 22219 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 15 0 473267862 11079954432 12762 33554432000 4194304 4196468 140722994275232 140184847702672 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23281] ppid=23220 vsize=10820268 memory=140473456195199 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23281/stat : 23281 (java) S 23220 23223 22219 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 15 0 473267863 11079954432 12762 33554432000 4194304 4196468 140722994275232 140184803609072 140185276988034 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23282] ppid=23220 vsize=10820268 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23282/stat : 23282 (java) S 23220 23223 22219 0 -1 1077944384 13 13004 0 0 0 0 5 2 20 0 15 0 473267864 11079954432 12762 33554432000 4194304 4196468 140722994275232 140184578418080 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23283] ppid=23220 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23283/stat : 23283 (java) S 23220 23223 22219 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 473267864 11079954432 12762 33554432000 4194304 4196468 140722994275232 140184108656112 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23284] ppid=23220 vsize=10820268 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23284/stat : 23284 (java) S 23220 23223 22219 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 473267867 11079954432 12762 33554432000 4194304 4196468 140722994275232 140183801256656 140185276995483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23285] ppid=23220 vsize=10820268 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/23223/task/23285/stat : 23285 (java) S 23220 23223 22219 0 -1 1077944384 365 13004 0 0 2 0 5 2 20 0 15 0 473267867 11079954432 12762 33554432000 4194304 4196468 140722994275232 140184802555888 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23286] ppid=23220 vsize=10820268 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/23223/task/23286/stat : 23286 (java) S 23220 23223 22219 0 -1 1077944384 293 13004 0 0 1 0 5 2 20 0 15 0 473267867 11079954432 12762 33554432000 4194304 4196468 140722994275232 140184801503344 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23287] ppid=23220 vsize=10820268 memory=140473456195200 CPUtime=0.12 cores=1,3,5,7
/proc/23223/task/23287/stat : 23287 (java) S 23220 23223 22219 0 -1 1077944384 620 13004 0 0 5 0 5 2 20 0 15 0 473267867 11079954432 12762 33554432000 4194304 4196468 140722994275232 140184800450800 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23288] ppid=23220 vsize=10820268 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23288/stat : 23288 (java) S 23220 23223 22219 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 473267867 11079954432 12762 33554432000 4194304 4196468 140722994275232 140183767698016 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23289] ppid=23220 vsize=10820268 memory=140473456195200 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23289/stat : 23289 (java) S 23220 23223 22219 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 473267867 11079954432 12762 33554432000 4194304 4196468 140722994275232 140184799398704 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820268 KiB
Current children cumulated memory: 51048 KiB
[startup+0.702653 s]
/proc/loadavg: 1.52 1.51 1.35 5/227 23289
/proc/meminfo: memFree=4453200/32770624 swapFree=66998000/67108860
[pid=23223] ppid=23220 vsize=10824364 memory=83912 CPUtime=1.15 cores=1,3,5,7
/proc/23223/stat : 23223 (java) S 23220 23223 22219 0 -1 1077944320 15170 13004 0 0 104 4 5 2 20 0 15 0 473267852 11084148736 20978 33554432000 4194304 4196468 140722994275232 140722994257776 140185276976887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
/proc/23223/statm: 2706091 20978 3509 1 0 2668173 0
[pid=23223/tid=23276] ppid=23220 vsize=10824364 memory=7810487918915055718 CPUtime=0.66 cores=1,3,5,7
/proc/23223/task/23276/stat : 23276 (java) R 23220 23223 22219 0 -1 4202560 10531 13004 0 0 56 3 5 2 20 0 15 0 473267861 11084148736 20978 33554432000 4194304 4196468 140722994275232 140185248807072 140185276998813 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23277] ppid=23220 vsize=10824364 memory=1376 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23277/stat : 23277 (java) S 23220 23223 22219 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 473267862 11084148736 20978 33554432000 4194304 4196468 140722994275232 140185281218832 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23278] ppid=23220 vsize=10824364 memory=1128 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23278/stat : 23278 (java) S 23220 23223 22219 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 473267862 11084148736 20978 33554432000 4194304 4196468 140722994275232 140185185421712 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23279] ppid=23220 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23279/stat : 23279 (java) S 23220 23223 22219 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 473267862 11084148736 20978 33554432000 4194304 4196468 140722994275232 140185184369168 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23280] ppid=23220 vsize=10824364 memory=140473456194033 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23280/stat : 23280 (java) S 23220 23223 22219 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 15 0 473267862 11084148736 20978 33554432000 4194304 4196468 140722994275232 140184847702672 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23281] ppid=23220 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23281/stat : 23281 (java) S 23220 23223 22219 0 -1 1077944384 5 13004 0 0 0 0 5 2 20 0 15 0 473267863 11084148736 20978 33554432000 4194304 4196468 140722994275232 140184803609072 140185276988034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23282] ppid=23220 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23282/stat : 23282 (java) S 23220 23223 22219 0 -1 1077944384 13 13004 0 0 0 0 5 2 20 0 15 0 473267864 11084148736 20978 33554432000 4194304 4196468 140722994275232 140184578418080 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23283] ppid=23220 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23283/stat : 23283 (java) S 23220 23223 22219 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 473267864 11084148736 20978 33554432000 4194304 4196468 140722994275232 140184108656112 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23284] ppid=23220 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23284/stat : 23284 (java) S 23220 23223 22219 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 473267867 11084148736 20978 33554432000 4194304 4196468 140722994275232 140183801256656 140185276995483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23285] ppid=23220 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/23223/task/23285/stat : 23285 (java) S 23220 23223 22219 0 -1 1077944384 849 13004 0 0 13 0 5 2 20 0 15 0 473267867 11084148736 20978 33554432000 4194304 4196468 140722994275232 140184802555888 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23286] ppid=23220 vsize=10825388 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/23223/task/23286/stat : 23286 (java) S 23220 23223 22219 0 -1 1077944384 748 13004 0 0 15 0 5 2 20 0 15 0 473267867 11085197312 20978 33554432000 4194304 4196468 140722994275232 140184801503344 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23287] ppid=23220 vsize=10825388 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/23223/task/23287/stat : 23287 (java) S 23220 23223 22219 0 -1 1077944384 807 13004 0 0 17 0 5 2 20 0 15 0 473267867 11085197312 20978 33554432000 4194304 4196468 140722994275232 140184800450800 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23288] ppid=23220 vsize=10825388 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23288/stat : 23288 (java) S 23220 23223 22219 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 473267867 11085197312 21043 33554432000 4194304 4196468 140722994275232 140183767698016 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23289] ppid=23220 vsize=10825388 memory=3624 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23289/stat : 23289 (java) S 23220 23223 22219 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 473267867 11085197312 21043 33554432000 4194304 4196468 140722994275232 140184799398704 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83912 KiB
[startup+1.50073 s]
/proc/loadavg: 1.52 1.51 1.35 7/227 23289
/proc/meminfo: memFree=4354304/32770624 swapFree=66998000/67108860
[pid=23223] ppid=23220 vsize=10834680 memory=173200 CPUtime=2.54 cores=1,3,5,7
/proc/23223/stat : 23223 (java) S 23220 23223 22219 0 -1 1077944320 21878 13004 0 0 238 9 5 2 20 0 15 0 473267852 11094712320 43300 33554432000 4194304 4196468 140722994275232 140722994257776 140185276976887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
/proc/23223/statm: 2708670 43300 3579 1 0 2670733 0
[pid=23223/tid=23276] ppid=23220 vsize=10834680 memory=56 CPUtime=1.43 cores=1,3,5,7
/proc/23223/task/23276/stat : 23276 (java) S 23220 23223 22219 0 -1 1077944384 15367 13004 0 0 131 5 5 2 20 0 15 0 473267861 11094712320 43300 33554432000 4194304 4196468 140722994275232 140185248778368 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23277] ppid=23220 vsize=10834680 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/23223/task/23277/stat : 23277 (java) S 23220 23223 22219 0 -1 1077944384 392 13004 0 0 1 0 5 2 20 0 15 0 473267862 11094712320 43300 33554432000 4194304 4196468 140722994275232 140185281218832 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23278] ppid=23220 vsize=10834680 memory=140473456205281 CPUtime=0.08 cores=1,3,5,7
/proc/23223/task/23278/stat : 23278 (java) S 23220 23223 22219 0 -1 1077944384 24 13004 0 0 1 0 5 2 20 0 15 0 473267862 11094712320 43300 33554432000 4194304 4196468 140722994275232 140185185421712 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23279] ppid=23220 vsize=10834680 memory=140473456203073 CPUtime=0.08 cores=1,3,5,7
/proc/23223/task/23279/stat : 23279 (java) S 23220 23223 22219 0 -1 1077944384 44 13004 0 0 1 0 5 2 20 0 15 0 473267862 11094712320 43300 33554432000 4194304 4196468 140722994275232 140185184369168 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23280] ppid=23220 vsize=10834680 memory=140473456204961 CPUtime=0.08 cores=1,3,5,7
/proc/23223/task/23280/stat : 23280 (java) S 23220 23223 22219 0 -1 1077944384 64 13004 0 0 1 0 5 2 20 0 15 0 473267862 11094712320 43300 33554432000 4194304 4196468 140722994275232 140184847702672 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23281] ppid=23220 vsize=10834680 memory=1376 CPUtime=0.08 cores=1,3,5,7
/proc/23223/task/23281/stat : 23281 (java) S 23220 23223 22219 0 -1 1077944384 168 13004 0 0 1 0 5 2 20 0 15 0 473267863 11094712320 43300 33554432000 4194304 4196468 140722994275232 140184803609072 140185276988034 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23282] ppid=23220 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23282/stat : 23282 (java) S 23220 23223 22219 0 -1 1077944384 13 13004 0 0 0 0 5 2 20 0 15 0 473267864 11094712320 43300 33554432000 4194304 4196468 140722994275232 140184578418144 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23283] ppid=23220 vsize=10834680 memory=7593722508453372754 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23283/stat : 23283 (java) S 23220 23223 22219 0 -1 1077944384 2 13004 0 0 0 0 5 2 20 0 15 0 473267864 11094712320 43300 33554432000 4194304 4196468 140722994275232 140184108656128 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23284] ppid=23220 vsize=10834680 memory=7307202929598358101 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23284/stat : 23284 (java) S 23220 23223 22219 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 473267867 11094712320 43300 33554432000 4194304 4196468 140722994275232 140183801256656 140185276995483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23285] ppid=23220 vsize=10834680 memory=7813857939233656938 CPUtime=0.35 cores=1,3,5,7
/proc/23223/task/23285/stat : 23285 (java) R 23220 23223 22219 0 -1 4202560 946 13004 0 0 28 0 5 2 20 0 15 0 473267867 11094712320 43300 33554432000 4194304 4196468 140722994275232 140184802555888 140185269961929 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23286] ppid=23220 vsize=10834680 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/23223/task/23286/stat : 23286 (java) S 23220 23223 22219 0 -1 1077944384 1014 13004 0 0 30 0 5 2 20 0 15 0 473267867 11094712320 43300 33554432000 4194304 4196468 140722994275232 140184801503344 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23287] ppid=23220 vsize=10834680 memory=4949696295840688515 CPUtime=0.47 cores=1,3,5,7
/proc/23223/task/23287/stat : 23287 (java) R 23220 23223 22219 0 -1 1077944384 1632 13004 0 0 40 0 5 2 20 0 15 0 473267867 11094712320 43300 33554432000 4194304 4196468 140722994275232 140184800450800 140185276988034 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23288] ppid=23220 vsize=10834680 memory=-7390251449858225344 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23288/stat : 23288 (java) S 23220 23223 22219 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 473267867 11094712320 43300 33554432000 4194304 4196468 140722994275232 140183767698016 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23289] ppid=23220 vsize=10834680 memory=-7035114785800479027 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23289/stat : 23289 (java) S 23220 23223 22219 0 -1 1077944384 1 13004 0 0 0 0 5 2 20 0 15 0 473267867 11094712320 43300 33554432000 4194304 4196468 140722994275232 140184799398704 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
Current children cumulated CPU time: 2.54 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/23223/task/23276/stat : 23276 (java) R 23220 23223 22219 0 -1 4202560 69991 13004 0 0 235725 56 5 2 20 0 15 0 473267861 11107315712 284865 33554432000 4194304 4196468 140722994275232 140185248812400 140184879881299 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23277] ppid=23220 vsize=10846988 memory=500 CPUtime=12.92 cores=1,3,5,7
/proc/23223/task/23277/stat : 23277 (java) S 23220 23223 22219 0 -1 1077944384 19241 13004 0 0 1234 51 5 2 20 0 15 0 473267862 11107315712 284865 33554432000 4194304 4196468 140722994275232 140185281218832 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23278] ppid=23220 vsize=10846988 memory=928 CPUtime=12.97 cores=1,3,5,7
/proc/23223/task/23278/stat : 23278 (java) S 23220 23223 22219 0 -1 1077944384 19348 13004 0 0 1240 50 5 2 20 0 15 0 473267862 11107315712 284865 33554432000 4194304 4196468 140722994275232 140185185421712 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23279] ppid=23220 vsize=10846988 memory=1728 CPUtime=12.95 cores=1,3,5,7
/proc/23223/task/23279/stat : 23279 (java) S 23220 23223 22219 0 -1 1077944384 14919 13004 0 0 1241 47 5 2 20 0 15 0 473267862 11107315712 284865 33554432000 4194304 4196468 140722994275232 140185184369168 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23280] ppid=23220 vsize=10846988 memory=1448 CPUtime=12.96 cores=1,3,5,7
/proc/23223/task/23280/stat : 23280 (java) S 23220 23223 22219 0 -1 1077944384 17535 13004 0 0 1235 54 5 2 20 0 15 0 473267862 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184847702672 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23281] ppid=23220 vsize=10846988 memory=860 CPUtime=8.93 cores=1,3,5,7
/proc/23223/task/23281/stat : 23281 (java) S 23220 23223 22219 0 -1 1077944384 21515 13004 0 0 831 55 5 2 20 0 15 0 473267863 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184803609072 140185276988034 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23282] ppid=23220 vsize=10846988 memory=1980 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23282/stat : 23282 (java) S 23220 23223 22219 0 -1 1077944384 18 13004 0 0 0 0 5 2 20 0 15 0 473267864 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184578418144 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23283] ppid=23220 vsize=10846988 memory=2552 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23283/stat : 23283 (java) S 23220 23223 22219 0 -1 1077944384 9 13004 0 0 0 0 5 2 20 0 15 0 473267864 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184108656128 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23284] ppid=23220 vsize=10846988 memory=1760 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23284/stat : 23284 (java) S 23220 23223 22219 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 473267867 11107315712 284865 33554432000 4194304 4196468 140722994275232 140183801256656 140185276995483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23285] ppid=23220 vsize=10846988 memory=111632 CPUtime=6.12 cores=1,3,5,7
/proc/23223/task/23285/stat : 23285 (java) S 23220 23223 22219 0 -1 1077944384 20889 13004 0 0 601 4 5 2 20 0 15 0 473267867 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184802555888 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23286] ppid=23220 vsize=10846988 memory=800 CPUtime=5.69 cores=1,3,5,7
/proc/23223/task/23286/stat : 23286 (java) S 23220 23223 22219 0 -1 1077944384 15647 13004 0 0 560 2 5 2 20 0 15 0 473267867 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184801503344 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23287] ppid=23220 vsize=10846988 memory=1808 CPUtime=2.18 cores=1,3,5,7
/proc/23223/task/23287/stat : 23287 (java) S 23220 23223 22219 0 -1 1077944384 17094 13004 0 0 207 4 5 2 20 0 15 0 473267867 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184800450800 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23288] ppid=23220 vsize=10846988 memory=920 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23288/stat : 23288 (java) S 23220 23223 22219 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 473267867 11107315712 284865 33554432000 4194304 4196468 140722994275232 140183767698016 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23289] ppid=23220 vsize=10846988 memory=3852 CPUtime=1.44 cores=1,3,5,7
/proc/23223/task/23289/stat : 23289 (java) S 23220 23223 22219 0 -1 1077944384 1721 13004 0 0 62 75 5 2 20 0 15 0 473267867 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184799398704 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
Current children cumulated CPU time: 2433.52 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1139460 KiB
[startup+2442.3 s]
/proc/loadavg: 1.33 1.33 1.38 3/226 24427
/proc/meminfo: memFree=2552588/32770624 swapFree=66998012/67108860
[pid=23223] ppid=23220 vsize=10846988 memory=1139460 CPUtime=2494.53 cores=1,3,5,7
/proc/23223/stat : 23223 (java) S 23220 23223 22219 0 -1 1077944320 221500 13004 0 0 249089 357 5 2 20 0 15 0 473267852 11107315712 284865 33554432000 4194304 4196468 140722994275232 140722994257776 140185276976887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
/proc/23223/statm: 2711747 284865 3629 1 0 2673805 0
[pid=23223/tid=23276] ppid=23220 vsize=10846988 memory=1139460 CPUtime=2417.17 cores=1,3,5,7
/proc/23223/task/23276/stat : 23276 (java) R 23220 23223 22219 0 -1 4202560 70639 13004 0 0 241653 57 5 2 20 0 15 0 473267861 11107315712 284865 33554432000 4194304 4196468 140722994275232 140185248812800 140184881383728 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23277] ppid=23220 vsize=10846988 memory=1139460 CPUtime=13.27 cores=1,3,5,7
/proc/23223/task/23277/stat : 23277 (java) S 23220 23223 22219 0 -1 1077944384 19544 13004 0 0 1268 52 5 2 20 0 15 0 473267862 11107315712 284865 33554432000 4194304 4196468 140722994275232 140185281218832 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23278] ppid=23220 vsize=10846988 memory=6791534058613427641 CPUtime=13.32 cores=1,3,5,7
/proc/23223/task/23278/stat : 23278 (java) S 23220 23223 22219 0 -1 1077944384 19368 13004 0 0 1273 52 5 2 20 0 15 0 473267862 11107315712 284865 33554432000 4194304 4196468 140722994275232 140185185421712 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23279] ppid=23220 vsize=10846988 memory=3624 CPUtime=13.31 cores=1,3,5,7
/proc/23223/task/23279/stat : 23279 (java) S 23220 23223 22219 0 -1 1077944384 15068 13004 0 0 1275 49 5 2 20 0 15 0 473267862 11107315712 284865 33554432000 4194304 4196468 140722994275232 140185184369168 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23280] ppid=23220 vsize=10846988 memory=42956 CPUtime=13.32 cores=1,3,5,7
/proc/23223/task/23280/stat : 23280 (java) S 23220 23223 22219 0 -1 1077944384 17539 13004 0 0 1269 56 5 2 20 0 15 0 473267862 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184847702672 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23281] ppid=23220 vsize=10846988 memory=1139460 CPUtime=9.2 cores=1,3,5,7
/proc/23223/task/23281/stat : 23281 (java) S 23220 23223 22219 0 -1 1077944384 21730 13004 0 0 857 56 5 2 20 0 15 0 473267863 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184803609072 140185276988034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23282] ppid=23220 vsize=10846988 memory=6791534058613427641 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23282/stat : 23282 (java) S 23220 23223 22219 0 -1 1077944384 18 13004 0 0 0 0 5 2 20 0 15 0 473267864 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184578418144 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23283] ppid=23220 vsize=10846988 memory=111632 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23283/stat : 23283 (java) S 23220 23223 22219 0 -1 1077944384 9 13004 0 0 0 0 5 2 20 0 15 0 473267864 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184108656128 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23284] ppid=23220 vsize=10846988 memory=1139460 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23284/stat : 23284 (java) S 23220 23223 22219 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 473267867 11107315712 284865 33554432000 4194304 4196468 140722994275232 140183801256656 140185276995483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23285] ppid=23220 vsize=10846988 memory=1139460 CPUtime=6.12 cores=1,3,5,7
/proc/23223/task/23285/stat : 23285 (java) S 23220 23223 22219 0 -1 1077944384 20891 13004 0 0 601 4 5 2 20 0 15 0 473267867 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184802555888 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23286] ppid=23220 vsize=10846988 memory=1139460 CPUtime=5.69 cores=1,3,5,7
/proc/23223/task/23286/stat : 23286 (java) S 23220 23223 22219 0 -1 1077944384 15649 13004 0 0 560 2 5 2 20 0 15 0 473267867 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184801503344 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23287] ppid=23220 vsize=10846988 memory=6791534058613427641 CPUtime=2.18 cores=1,3,5,7
/proc/23223/task/23287/stat : 23287 (java) S 23220 23223 22219 0 -1 1077944384 17096 13004 0 0 207 4 5 2 20 0 15 0 473267867 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184800450800 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23288] ppid=23220 vsize=10846988 memory=1056 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23288/stat : 23288 (java) S 23220 23223 22219 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 473267867 11107315712 284865 33554432000 4194304 4196468 140722994275232 140183767698016 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23289] ppid=23220 vsize=10846988 memory=1720 CPUtime=1.47 cores=1,3,5,7
/proc/23223/task/23289/stat : 23289 (java) S 23220 23223 22219 0 -1 1077944384 1738 13004 0 0 64 76 5 2 20 0 15 0 473267867 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184799398704 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
Current children cumulated CPU time: 2494.53 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1139460 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2467.4 s]
/proc/loadavg: 1.42 1.36 1.39 3/226 24427
/proc/meminfo: memFree=2550648/32770624 swapFree=66998012/67108860
[pid=23223] ppid=23220 vsize=10846988 memory=1139460 CPUtime=2520.03 cores=1,3,5,7
/proc/23223/stat : 23223 (java) S 23220 23223 22219 0 -1 1077944320 222516 13004 0 0 251636 360 5 2 20 0 15 0 473267852 11107315712 284865 33554432000 4194304 4196468 140722994275232 140722994257776 140185276976887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
/proc/23223/statm: 2711747 284865 3629 1 0 2673805 0
[pid=23223/tid=23276] ppid=23220 vsize=10846988 memory=1139460 CPUtime=2441.98 cores=1,3,5,7
/proc/23223/task/23276/stat : 23276 (java) R 23220 23223 22219 0 -1 4202560 71024 13004 0 0 244134 57 5 2 20 0 15 0 473267861 11107315712 284865 33554432000 4194304 4196468 140722994275232 140185248812752 140184882644427 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23277] ppid=23220 vsize=10846988 memory=1139460 CPUtime=13.42 cores=1,3,5,7
/proc/23223/task/23277/stat : 23277 (java) S 23220 23223 22219 0 -1 1077944384 19661 13004 0 0 1282 53 5 2 20 0 15 0 473267862 11107315712 284865 33554432000 4194304 4196468 140722994275232 140185281218832 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23278] ppid=23220 vsize=10846988 memory=1139460 CPUtime=13.46 cores=1,3,5,7
/proc/23223/task/23278/stat : 23278 (java) S 23220 23223 22219 0 -1 1077944384 19454 13004 0 0 1287 52 5 2 20 0 15 0 473267862 11107315712 284865 33554432000 4194304 4196468 140722994275232 140185185421712 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23279] ppid=23220 vsize=10846988 memory=1139460 CPUtime=13.46 cores=1,3,5,7
/proc/23223/task/23279/stat : 23279 (java) S 23220 23223 22219 0 -1 1077944384 15252 13004 0 0 1289 50 5 2 20 0 15 0 473267862 11107315712 284865 33554432000 4194304 4196468 140722994275232 140185184369168 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23280] ppid=23220 vsize=10846988 memory=1139460 CPUtime=13.46 cores=1,3,5,7
/proc/23223/task/23280/stat : 23280 (java) S 23220 23223 22219 0 -1 1077944384 17571 13004 0 0 1282 57 5 2 20 0 15 0 473267862 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184847702672 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23281] ppid=23220 vsize=10846988 memory=1139460 CPUtime=9.31 cores=1,3,5,7
/proc/23223/task/23281/stat : 23281 (java) S 23220 23223 22219 0 -1 1077944384 21923 13004 0 0 867 57 5 2 20 0 15 0 473267863 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184803609072 140185276988034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23282] ppid=23220 vsize=10846988 memory=1139460 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23282/stat : 23282 (java) S 23220 23223 22219 0 -1 1077944384 18 13004 0 0 0 0 5 2 20 0 15 0 473267864 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184578418144 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23283] ppid=23220 vsize=10846988 memory=3624 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23283/stat : 23283 (java) S 23220 23223 22219 0 -1 1077944384 9 13004 0 0 0 0 5 2 20 0 15 0 473267864 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184108656128 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23284] ppid=23220 vsize=10846988 memory=1139460 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23284/stat : 23284 (java) S 23220 23223 22219 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 473267867 11107315712 284865 33554432000 4194304 4196468 140722994275232 140183801256656 140185276995483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23285] ppid=23220 vsize=10846988 memory=1139460 CPUtime=6.12 cores=1,3,5,7
/proc/23223/task/23285/stat : 23285 (java) S 23220 23223 22219 0 -1 1077944384 20893 13004 0 0 601 4 5 2 20 0 15 0 473267867 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184802555888 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23286] ppid=23220 vsize=10846988 memory=984 CPUtime=5.69 cores=1,3,5,7
/proc/23223/task/23286/stat : 23286 (java) S 23220 23223 22219 0 -1 1077944384 15651 13004 0 0 560 2 5 2 20 0 15 0 473267867 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184801503344 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23287] ppid=23220 vsize=10846988 memory=2024 CPUtime=2.18 cores=1,3,5,7
/proc/23223/task/23287/stat : 23287 (java) S 23220 23223 22219 0 -1 1077944384 17098 13004 0 0 207 4 5 2 20 0 15 0 473267867 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184800450800 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23288] ppid=23220 vsize=10846988 memory=1139460 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23288/stat : 23288 (java) S 23220 23223 22219 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 473267867 11107315712 284865 33554432000 4194304 4196468 140722994275232 140183767698016 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23289] ppid=23220 vsize=10846988 memory=1980 CPUtime=1.49 cores=1,3,5,7
/proc/23223/task/23289/stat : 23289 (java) S 23220 23223 22219 0 -1 1077944384 1751 13004 0 0 65 77 5 2 20 0 15 0 473267867 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184799398704 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1139460 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2467.43 s]
# the end of solver process 23223 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.44 s, system=3.64666 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2467.4 s]
/proc/loadavg: 1.42 1.36 1.39 3/226 24427
/proc/meminfo: memFree=2550648/32770624 swapFree=66998012/67108860
[pid=23223] ppid=23220 vsize=10846988 memory=1139460 CPUtime=2520.03 cores=1,3,5,7
/proc/23223/stat : 23223 (java) S 23220 23223 22219 0 -1 1077944320 222516 13004 0 0 251636 360 5 2 20 0 15 0 473267852 11107315712 284865 33554432000 4194304 4196468 140722994275232 140722994257776 140185276976887 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
/proc/23223/statm: 2711747 284865 3629 1 0 2673805 0
[pid=23223/tid=23276] ppid=23220 vsize=10846988 memory=1139460 CPUtime=2441.98 cores=1,3,5,7
/proc/23223/task/23276/stat : 23276 (java) R 23220 23223 22219 0 -1 4202560 71024 13004 0 0 244134 57 5 2 20 0 15 0 473267861 11107315712 284865 33554432000 4194304 4196468 140722994275232 140185248812752 140184882644427 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23277] ppid=23220 vsize=10846988 memory=1139460 CPUtime=13.42 cores=1,3,5,7
/proc/23223/task/23277/stat : 23277 (java) S 23220 23223 22219 0 -1 1077944384 19661 13004 0 0 1282 53 5 2 20 0 15 0 473267862 11107315712 284865 33554432000 4194304 4196468 140722994275232 140185281218832 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23278] ppid=23220 vsize=10846988 memory=1139460 CPUtime=13.46 cores=1,3,5,7
/proc/23223/task/23278/stat : 23278 (java) S 23220 23223 22219 0 -1 1077944384 19454 13004 0 0 1287 52 5 2 20 0 15 0 473267862 11107315712 284865 33554432000 4194304 4196468 140722994275232 140185185421712 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23279] ppid=23220 vsize=10846988 memory=1139460 CPUtime=13.46 cores=1,3,5,7
/proc/23223/task/23279/stat : 23279 (java) S 23220 23223 22219 0 -1 1077944384 15252 13004 0 0 1289 50 5 2 20 0 15 0 473267862 11107315712 284865 33554432000 4194304 4196468 140722994275232 140185184369168 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23280] ppid=23220 vsize=10846988 memory=1139460 CPUtime=13.46 cores=1,3,5,7
/proc/23223/task/23280/stat : 23280 (java) S 23220 23223 22219 0 -1 1077944384 17571 13004 0 0 1282 57 5 2 20 0 15 0 473267862 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184847702672 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23281] ppid=23220 vsize=10846988 memory=1139460 CPUtime=9.31 cores=1,3,5,7
/proc/23223/task/23281/stat : 23281 (java) S 23220 23223 22219 0 -1 1077944384 21923 13004 0 0 867 57 5 2 20 0 15 0 473267863 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184803609072 140185276988034 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23282] ppid=23220 vsize=10846988 memory=1139460 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23282/stat : 23282 (java) S 23220 23223 22219 0 -1 1077944384 18 13004 0 0 0 0 5 2 20 0 15 0 473267864 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184578418144 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23283] ppid=23220 vsize=10846988 memory=3624 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23283/stat : 23283 (java) S 23220 23223 22219 0 -1 1077944384 9 13004 0 0 0 0 5 2 20 0 15 0 473267864 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184108656128 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23284] ppid=23220 vsize=10846988 memory=1139460 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23284/stat : 23284 (java) S 23220 23223 22219 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 473267867 11107315712 284865 33554432000 4194304 4196468 140722994275232 140183801256656 140185276995483 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23285] ppid=23220 vsize=10846988 memory=1139460 CPUtime=6.12 cores=1,3,5,7
/proc/23223/task/23285/stat : 23285 (java) S 23220 23223 22219 0 -1 1077944384 20893 13004 0 0 601 4 5 2 20 0 15 0 473267867 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184802555888 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23286] ppid=23220 vsize=10846988 memory=984 CPUtime=5.69 cores=1,3,5,7
/proc/23223/task/23286/stat : 23286 (java) S 23220 23223 22219 0 -1 1077944384 15651 13004 0 0 560 2 5 2 20 0 15 0 473267867 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184801503344 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23287] ppid=23220 vsize=10846988 memory=2024 CPUtime=2.18 cores=1,3,5,7
/proc/23223/task/23287/stat : 23287 (java) S 23220 23223 22219 0 -1 1077944384 17098 13004 0 0 207 4 5 2 20 0 15 0 473267867 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184800450800 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23288] ppid=23220 vsize=10846988 memory=1139460 CPUtime=0.07 cores=1,3,5,7
/proc/23223/task/23288/stat : 23288 (java) S 23220 23223 22219 0 -1 1077944384 3 13004 0 0 0 0 5 2 20 0 15 0 473267867 11107315712 284865 33554432000 4194304 4196468 140722994275232 140183767698016 140185276987093 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
[pid=23223/tid=23289] ppid=23220 vsize=10846988 memory=1980 CPUtime=1.49 cores=1,3,5,7
/proc/23223/task/23289/stat : 23289 (java) S 23220 23223 22219 0 -1 1077944384 1751 13004 0 0 65 77 5 2 20 0 15 0 473267867 11107315712 284865 33554432000 4194304 4196468 140722994275232 140184799398704 140185276988034 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 22704128 140722994281200 140722994283717 140722994283717 140722994286543 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1139460 KiB
Child status: 143
Real time (s): 2467.43
CPU time (s): 2520.08
CPU user time (s): 2516.44
CPU system time (s): 3.64666
CPU usage (%): 102.134
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 1863648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.44
system time used= 3.64666
maximum resident set size= 1864200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236418
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 250190
involuntary context switches= 5426
# summary of solver processes directly reported to runsolver:
# pid: 23223
# total CPU time (s): 2520.08
# total CPU user time (s): 2516.44
# total CPU system time (s): 3.64666
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5523 second user time and 22.7701 second system time
The end