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 (1545 MiB free)
memory of node 1: 16384 MiB (6073 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403709-1568993773/watcher-4403709-1568993773 -o /var/tmp/evaluation-result-4403709-1568993773/solver-4403709-1568993773 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node133-1568990876-1248 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2020012367 HOME/instance-4403709-1568993773.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5541, runsolver pid=5538
Current StackSize limit: 8192 KiB
[startup+0.10166 s]*
/proc/loadavg: 7.82 8.37 8.26 7/239 5557
/proc/meminfo: memFree=7785632/32770624 swapFree=67001892/67108860
[pid=5541] ppid=5538 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5541/stat : 5541 (xcsp3-exec) S 5538 5541 1216 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475616889 115843072 364 33554432000 4194304 5098028 140730355833488 140730355831592 139993990763132 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10547200 140730355839830 140730355840089 140730355840089 140730355843014 0
/proc/5541/statm: 28282 364 305 221 0 87 0
[pid=5543] ppid=5541 vsize=15144776 memory=28920 CPUtime=0.13 cores=1,3,5,7
/proc/5543/stat : 5543 (java) S 5541 5541 1216 0 -1 1077944320 5690 0 0 0 12 1 0 0 20 0 15 0 475616889 15508250624 7230 33554432000 4194304 4196468 140737032999312 140737032981856 139681002381047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
/proc/5543/statm: 3786194 7230 3152 1 0 3748377 0
[pid=5543/tid=5544] ppid=5541 vsize=15144776 memory=7755662137264149339 CPUtime=0.09 cores=1,3,5,7
/proc/5543/task/5544/stat : 5544 (java) R 5541 5541 1216 0 -1 4202560 3599 0 0 0 8 1 0 0 20 0 15 0 475616889 15508250624 7296 33554432000 4194304 4196468 140737032999312 139681006602320 139680986424677 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5545] ppid=5541 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5545/stat : 5545 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475616890 15508250624 7296 33554432000 4194304 4196468 140737032999312 139680930421008 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5546] ppid=5541 vsize=15144776 memory=139785399879296 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5546/stat : 5546 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475616890 15508250624 7296 33554432000 4194304 4196468 140737032999312 139680929368464 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5547] ppid=5541 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5547/stat : 5547 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475616890 15508250624 7296 33554432000 4194304 4196468 140737032999312 139680928315920 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5548] ppid=5541 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5548/stat : 5548 (java) S 5541 5541 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475616890 15508250624 7296 33554432000 4194304 4196468 140737032999312 139680591243920 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5549] ppid=5541 vsize=15144776 memory=139785399879296 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5549/stat : 5549 (java) S 5541 5541 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475616891 15508250624 7296 33554432000 4194304 4196468 140737032999312 139680538130928 139681002392194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5550] ppid=5541 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5550/stat : 5550 (java) S 5541 5541 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475616892 15508250624 7296 33554432000 4194304 4196468 140737032999312 139680537077152 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5551] ppid=5541 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5551/stat : 5551 (java) S 5541 5541 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475616892 15508250624 7296 33554432000 4194304 4196468 140737032999312 139680536024560 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5552] ppid=5541 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5552/stat : 5552 (java) S 5541 5541 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475616894 15508250624 7296 33554432000 4194304 4196468 140737032999312 139680534973136 139681002399643 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5553] ppid=5541 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5553/stat : 5553 (java) S 5541 5541 1216 0 -1 1077944384 412 0 0 0 0 0 0 0 20 0 15 0 475616894 15508250624 7296 33554432000 4194304 4196468 140737032999312 139680533919728 139681002392194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5554] ppid=5541 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5554/stat : 5554 (java) R 5541 5541 1216 0 -1 4202560 74 0 0 0 0 0 0 0 20 0 15 0 475616895 15508250624 7361 33554432000 4194304 4196468 140737032999312 139680532848088 139680983081344 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5555] ppid=5541 vsize=15144776 memory=139785399879296 CPUtime=0.02 cores=1,3,5,7
/proc/5543/task/5555/stat : 5555 (java) R 5541 5541 1216 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 15 0 475616895 15508250624 7361 33554432000 4194304 4196468 140737032999312 139680531810584 139681002394896 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5556] ppid=5541 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5556/stat : 5556 (java) S 5541 5541 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475616895 15508250624 7361 33554432000 4194304 4196468 140737032999312 139680530762336 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5557] ppid=5541 vsize=15144776 memory=139785399879296 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5557/stat : 5557 (java) R 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475616895 15508250624 7361 33554432000 4194304 4196468 140737032999312 139680529709872 139681002392194 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30376 KiB
[startup+0.211715 s]*
/proc/loadavg: 7.82 8.37 8.26 8/239 5557
/proc/meminfo: memFree=7772044/32770624 swapFree=67001892/67108860
[pid=5541] ppid=5538 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5541/stat : 5541 (xcsp3-exec) S 5538 5541 1216 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475616889 115843072 364 33554432000 4194304 5098028 140730355833488 140730355831592 139993990763132 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10547200 140730355839830 140730355840089 140730355840089 140730355843014 0
/proc/5541/statm: 28282 364 305 221 0 87 0
[pid=5543] ppid=5541 vsize=15144776 memory=40592 CPUtime=0.35 cores=1,3,5,7
/proc/5543/stat : 5543 (java) S 5541 5541 1216 0 -1 1077944320 9452 0 0 0 32 3 0 0 20 0 15 0 475616889 15508250624 10148 33554432000 4194304 4196468 140737032999312 140737032981856 139681002381047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
/proc/5543/statm: 3786194 10148 3245 1 0 3748377 0
[pid=5543/tid=5544] ppid=5541 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/5543/task/5544/stat : 5544 (java) R 5541 5541 1216 0 -1 4202560 6611 0 0 0 18 2 0 0 20 0 15 0 475616889 15508250624 10148 33554432000 4194304 4196468 140737032999312 139681006616032 139680986424677 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5545] ppid=5541 vsize=15144776 memory=13589 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5545/stat : 5545 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475616890 15508250624 10148 33554432000 4194304 4196468 140737032999312 139680930421008 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5546] ppid=5541 vsize=15144776 memory=139785403446257 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5546/stat : 5546 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475616890 15508250624 10148 33554432000 4194304 4196468 140737032999312 139680929368464 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5547] ppid=5541 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5547/stat : 5547 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475616890 15508250624 10148 33554432000 4194304 4196468 140737032999312 139680928315920 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5548] ppid=5541 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5548/stat : 5548 (java) S 5541 5541 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475616890 15508250624 10148 33554432000 4194304 4196468 140737032999312 139680591243920 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5549] ppid=5541 vsize=15144776 memory=139785399879296 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5549/stat : 5549 (java) S 5541 5541 1216 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475616891 15508250624 10148 33554432000 4194304 4196468 140737032999312 139680538130928 139681002392194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5550] ppid=5541 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5550/stat : 5550 (java) S 5541 5541 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475616892 15508250624 10148 33554432000 4194304 4196468 140737032999312 139680537077152 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5551] ppid=5541 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5551/stat : 5551 (java) S 5541 5541 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475616892 15508250624 10148 33554432000 4194304 4196468 140737032999312 139680536024560 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5552] ppid=5541 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5552/stat : 5552 (java) S 5541 5541 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475616894 15508250624 10148 33554432000 4194304 4196468 140737032999312 139680534973136 139681002399643 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5553] ppid=5541 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5543/task/5553/stat : 5553 (java) S 5541 5541 1216 0 -1 1077944384 658 0 0 0 3 0 0 0 20 0 15 0 475616894 15508250624 10148 33554432000 4194304 4196468 140737032999312 139680533919728 139681002392194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5554] ppid=5541 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5543/task/5554/stat : 5554 (java) S 5541 5541 1216 0 -1 1077944384 117 0 0 0 2 0 0 0 20 0 15 0 475616895 15508250624 10148 33554432000 4194304 4196468 140737032999312 139680532867184 139681002392194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5555] ppid=5541 vsize=15144776 memory=139785399879296 CPUtime=0.08 cores=1,3,5,7
/proc/5543/task/5555/stat : 5555 (java) R 5541 5541 1216 0 -1 4202560 771 0 0 0 8 0 0 0 20 0 15 0 475616895 15508250624 10148 33554432000 4194304 4196468 140737032999312 139680531814640 139681002392982 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5556] ppid=5541 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5556/stat : 5556 (java) S 5541 5541 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475616895 15508250624 10148 33554432000 4194304 4196468 140737032999312 139680530762336 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5557] ppid=5541 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5557/stat : 5557 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475616895 15508250624 10148 33554432000 4194304 4196468 140737032999312 139680529709872 139681002392194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42048 KiB
[startup+0.320011 s]*
/proc/loadavg: 7.82 8.37 8.26 6/239 5557
/proc/meminfo: memFree=7764480/32770624 swapFree=67001892/67108860
[pid=5541] ppid=5538 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5541/stat : 5541 (xcsp3-exec) S 5538 5541 1216 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475616889 115843072 364 33554432000 4194304 5098028 140730355833488 140730355831592 139993990763132 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10547200 140730355839830 140730355840089 140730355840089 140730355843014 0
/proc/5541/statm: 28282 364 305 221 0 87 0
[pid=5543] ppid=5541 vsize=15149032 memory=50408 CPUtime=0.55 cores=1,3,5,7
/proc/5543/stat : 5543 (java) S 5541 5541 1216 0 -1 1077944320 10972 0 0 0 51 4 0 0 20 0 15 0 475616889 15512608768 12602 33554432000 4194304 4196468 140737032999312 140737032981856 139681002381047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
/proc/5543/statm: 3787258 12602 3371 1 0 3748377 0
[pid=5543/tid=5544] ppid=5541 vsize=15149032 memory=7883960649037381690 CPUtime=0.31 cores=1,3,5,7
/proc/5543/task/5544/stat : 5544 (java) R 5541 5541 1216 0 -1 4202560 7912 0 0 0 28 3 0 0 20 0 15 0 475616889 15512608768 12602 33554432000 4194304 4196468 140737032999312 139681006617552 139680986461534 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5545] ppid=5541 vsize=15149032 memory=13951 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5545/stat : 5545 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475616890 15512608768 12602 33554432000 4194304 4196468 140737032999312 139680930421008 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5546] ppid=5541 vsize=15149032 memory=3573201 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5546/stat : 5546 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475616890 15512608768 12602 33554432000 4194304 4196468 140737032999312 139680929368464 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5547] ppid=5541 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5547/stat : 5547 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475616890 15512608768 12602 33554432000 4194304 4196468 140737032999312 139680928315920 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5548] ppid=5541 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5548/stat : 5548 (java) S 5541 5541 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475616890 15512608768 12602 33554432000 4194304 4196468 140737032999312 139680591243920 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5549] ppid=5541 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5549/stat : 5549 (java) S 5541 5541 1216 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475616891 15512608768 12602 33554432000 4194304 4196468 140737032999312 139680538130928 139681002392194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5550] ppid=5541 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5550/stat : 5550 (java) S 5541 5541 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475616892 15512608768 12602 33554432000 4194304 4196468 140737032999312 139680537077152 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5551] ppid=5541 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5551/stat : 5551 (java) S 5541 5541 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475616892 15512608768 12602 33554432000 4194304 4196468 140737032999312 139680536024560 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5552] ppid=5541 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5552/stat : 5552 (java) S 5541 5541 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475616894 15512608768 12602 33554432000 4194304 4196468 140737032999312 139680534973136 139681002399643 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5553] ppid=5541 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5543/task/5553/stat : 5553 (java) R 5541 5541 1216 0 -1 1077944384 667 0 0 0 4 0 0 0 20 0 15 0 475616894 15512608768 12602 33554432000 4194304 4196468 140737032999312 139680533919728 139681002392194 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5554] ppid=5541 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/5543/task/5554/stat : 5554 (java) R 5541 5541 1216 0 -1 4202560 243 0 0 0 5 0 0 0 20 0 15 0 475616895 15512608768 12602 33554432000 4194304 4196468 140737032999312 139680532867184 139680995366089 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5555] ppid=5541 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5543/task/5555/stat : 5555 (java) S 5541 5541 1216 0 -1 1077944384 850 0 0 0 12 0 0 0 20 0 15 0 475616895 15512608768 12602 33554432000 4194304 4196468 140737032999312 139680531814640 139681002392194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5556] ppid=5541 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5556/stat : 5556 (java) S 5541 5541 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475616895 15512608768 12602 33554432000 4194304 4196468 140737032999312 139680530762336 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5557] ppid=5541 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5557/stat : 5557 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475616895 15512608768 12602 33554432000 4194304 4196468 140737032999312 139680529709872 139681002392194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51864 KiB
[startup+0.702159 s]
/proc/loadavg: 7.82 8.37 8.26 8/239 5557
/proc/meminfo: memFree=7747044/32770624 swapFree=67001892/67108860
[pid=5541] ppid=5538 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5541/stat : 5541 (xcsp3-exec) S 5538 5541 1216 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475616889 115843072 364 33554432000 4194304 5098028 140730355833488 140730355831592 139993990763132 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10547200 140730355839830 140730355840089 140730355840089 140730355843014 0
/proc/5541/statm: 28282 364 305 221 0 87 0
[pid=5543] ppid=5541 vsize=15418440 memory=110736 CPUtime=1.59 cores=1,3,5,7
/proc/5543/stat : 5543 (java) S 5541 5541 1216 0 -1 1077944320 15591 0 0 0 153 6 0 0 20 0 20 0 475616889 15788482560 27684 33554432000 4194304 4196468 140737032999312 140737032981856 139681002381047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
/proc/5543/statm: 3854610 27684 3460 1 0 3815710 0
[pid=5543/tid=5544] ppid=5541 vsize=15418440 memory=29312 CPUtime=0.57 cores=1,3,5,7
/proc/5543/task/5544/stat : 5544 (java) S 5541 5541 1216 0 -1 1077944384 9218 0 0 0 53 4 0 0 20 0 20 0 475616889 15788482560 27684 33554432000 4194304 4196468 140737032999312 139681006621824 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5545] ppid=5541 vsize=15418440 memory=496 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5545/stat : 5545 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475616890 15788482560 27668 33554432000 4194304 4196468 140737032999312 139680930421008 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5546] ppid=5541 vsize=15418440 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5546/stat : 5546 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475616890 15788482560 27668 33554432000 4194304 4196468 140737032999312 139680929368464 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5547] ppid=5541 vsize=15418440 memory=928 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5547/stat : 5547 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475616890 15788482560 27668 33554432000 4194304 4196468 140737032999312 139680928315920 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5548] ppid=5541 vsize=15418440 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5548/stat : 5548 (java) S 5541 5541 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 475616890 15788482560 27668 33554432000 4194304 4196468 140737032999312 139680591243920 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5549] ppid=5541 vsize=15418440 memory=920 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5549/stat : 5549 (java) S 5541 5541 1216 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 18 0 475616891 15788482560 27700 33554432000 4194304 4196468 140737032999312 139680538130928 139681002392194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5550] ppid=5541 vsize=15418440 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5550/stat : 5550 (java) S 5541 5541 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 475616892 15788482560 27717 33554432000 4194304 4196468 140737032999312 139680537077152 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5551] ppid=5541 vsize=15418440 memory=2592 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5551/stat : 5551 (java) S 5541 5541 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 475616892 15788482560 27700 33554432000 4194304 4196468 140737032999312 139680536024560 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5552] ppid=5541 vsize=15418440 memory=2592 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5552/stat : 5552 (java) S 5541 5541 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 475616894 15788482560 27700 33554432000 4194304 4196468 140737032999312 139680534973136 139681002399643 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5553] ppid=5541 vsize=15418440 memory=1744 CPUtime=0.24 cores=1,3,5,7
/proc/5543/task/5553/stat : 5553 (java) R 5541 5541 1216 0 -1 4202560 1743 0 0 0 24 0 0 0 20 0 16 0 475616894 15788482560 27700 33554432000 4194304 4196468 140737032999312 139680533905608 139680987488725 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5554] ppid=5541 vsize=15418440 memory=780 CPUtime=0.25 cores=1,3,5,7
/proc/5543/task/5554/stat : 5554 (java) R 5541 5541 1216 0 -1 4202560 975 0 0 0 25 0 0 0 20 0 16 0 475616895 15788482560 27700 33554432000 4194304 4196468 140737032999312 139680532867312 139680987491102 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5555] ppid=5541 vsize=15418440 memory=1440 CPUtime=0.35 cores=1,3,5,7
/proc/5543/task/5555/stat : 5555 (java) S 5541 5541 1216 0 -1 1077944384 1872 0 0 0 35 0 0 0 20 0 16 0 475616895 15788482560 27700 33554432000 4194304 4196468 140737032999312 139680531814640 139681002392194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5556] ppid=5541 vsize=15418440 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5556/stat : 5556 (java) S 5541 5541 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 475616895 15788482560 27700 33554432000 4194304 4196468 140737032999312 139680530762336 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5557] ppid=5541 vsize=15418440 memory=2376 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5557/stat : 5557 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 475616895 15788482560 27700 33554432000 4194304 4196468 140737032999312 139680529709872 139681002392194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 112192 KiB
[startup+1.50636 s]
/proc/loadavg: 7.82 8.37 8.26 12/243 5605
/proc/meminfo: memFree=7630780/32770624 swapFree=67001892/67108860
[pid=5541] ppid=5538 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5541/stat : 5541 (xcsp3-exec) S 5538 5541 1216 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475616889 115843072 364 33554432000 4194304 5098028 140730355833488 140730355831592 139993990763132 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10547200 140730355839830 140730355840089 140730355840089 140730355843014 0
/proc/5541/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/5543/task/5557/stat : 5557 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475616895 15855591424 47085 33554432000 4194304 4196468 140737032999312 139680529709872 139681002392194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5602] ppid=5541 vsize=15483976 memory=6944656592455359580 CPUtime=0.38 cores=1,3,5,7
/proc/5543/task/5602/stat : 5602 (java) R 5541 5541 1216 0 -1 4202560 20 0 0 0 38 0 0 0 20 0 19 0 475616984 15855591424 47085 33554432000 4194304 4196468 140737032999312 139680450229760 139680612156066 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5603] ppid=5541 vsize=15483976 memory=6944656592455359580 CPUtime=0.38 cores=1,3,5,7
/proc/5543/task/5603/stat : 5603 (java) R 5541 5541 1216 0 -1 4202560 24 0 0 0 38 0 0 0 20 0 19 0 475616984 15855591424 47085 33554432000 4194304 4196468 140737032999312 139680449179928 139680612340629 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5604] ppid=5541 vsize=15483976 memory=6943526294502006880 CPUtime=0.4 cores=1,3,5,7
/proc/5543/task/5604/stat : 5604 (java) R 5541 5541 1216 0 -1 4202560 18 0 0 0 40 0 0 0 20 0 19 0 475616984 15855591424 47085 33554432000 4194304 4196468 140737032999312 139680451286568 139680611784603 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5605] ppid=5541 vsize=15483976 memory=8694099745169318007 CPUtime=0.53 cores=1,3,5,7
/proc/5543/task/5605/stat : 5605 (java) R 5541 5541 1216 0 -1 4202560 17 0 0 0 53 0 0 0 20 0 19 0 475616984 15855591424 47085 33554432000 4194304 4196468 140737032999312 139680452339464 139680611922555 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
Current children cumulated CPU time: 5.13 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 189796 KiB
[startup+2.40136 s]
/proc/loadavg: 7.82 8.37 8.26 11/243 5605
/proc/meminfo: memFree=7625476/32770624 swapFree=67001892/67108860
[pid=5541] ppid=5538 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5541/stat : 5541 (xcsp3-exec) S 5538 5541 1216 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475616889 115843072 364 33554432000 4194304 5098028 140730355833488 140730355831592 139993990763132 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10547200 140730355839830 140730355840089 140730355840089 140730355843014 0
/proc/5541/statm: 28282 364 305 221 0 87 0
[pid=5543] ppid=5541 vsize=15486024 memory=189452 CPUtime=8.29 cores=1,3,5,7
/proc/5543/stat : 5543 (java) S 5541 5541 1216 0 -1 1077944320 21540 0 0 0 821 8 0 0 20 0 19 0 475616889 15857688576 47363 33554432000 4194304 4196468 140737032999312 140737032981856 139681002381047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
/proc/5543/statm: 3871506 47363 3493 1 0 3832606 0
[pid=5543/tid=5544] ppid=5541 vsize=15486024 memory=139785280801208 CPUtime=0.57 cores=1,3,5,7
/proc/5543/task/5544/stat : 5544 (java) S 5541 5541 1216 0 -1 1077944384 9218 0 0 0 53 4 0 0 20 0 19 0 475616889 15857688576 47363 33554432000 4194304 4196468 140737032999312 139681006621824 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5545] ppid=5541 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5545/stat : 5545 (java) S 5541 5541 1216 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 475616890 15857688576 47363 33554432000 4194304 4196468 140737032999312 139680930421008 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5546] ppid=5541 vsize=15486024 memory=88 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5546/stat : 5546 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475616890 15857688576 47363 33554432000 4194304 4196468 140737032999312 139680929368464 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5547] ppid=5541 vsize=15486024 memory=81 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5547/stat : 5547 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475616890 15857688576 47363 33554432000 4194304 4196468 140737032999312 139680928315920 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5548] ppid=5541 vsize=15486024 memory=49 CPUtime=0.01 cores=1,3,5,7
/proc/5543/task/5548/stat : 5548 (java) S 5541 5541 1216 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 19 0 475616890 15857688576 47363 33554432000 4194304 4196468 140737032999312 139680591243920 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5549] ppid=5541 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5549/stat : 5549 (java) S 5541 5541 1216 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 475616891 15857688576 47363 33554432000 4194304 4196468 140737032999312 139680538130928 139681002392194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5550] ppid=5541 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5550/stat : 5550 (java) S 5541 5541 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475616892 15857688576 47363 33554432000 4194304 4196468 140737032999312 139680537077152 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5551] ppid=5541 vsize=15486024 memory=33 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5551/stat : 5551 (java) S 5541 5541 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475616892 15857688576 47363 33554432000 4194304 4196468 140737032999312 139680536024560 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5552] ppid=5541 vsize=15486024 memory=29 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5552/stat : 5552 (java) S 5541 5541 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475616894 15857688576 47363 33554432000 4194304 4196468 140737032999312 139680534973136 139681002399643 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5553] ppid=5541 vsize=15486024 memory=15470472203376 CPUtime=1.47 cores=1,3,5,7
/proc/5543/task/5553/stat : 5553 (java) R 5541 5541 1216 0 -1 4202560 4181 0 0 0 147 0 0 0 20 0 19 0 475616894 15857688576 47363 33554432000 4194304 4196468 140737032999312 139680533901296 139680983898929 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5554] ppid=5541 vsize=15486024 memory=0 CPUtime=1.25 cores=1,3,5,7
/proc/5543/task/5554/stat : 5554 (java) R 5541 5541 1216 0 -1 4202560 3061 0 0 0 125 0 0 0 20 0 19 0 475616895 15857688576 47363 33554432000 4194304 4196468 140737032999312 139680532860376 139680986287222 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5555] ppid=5541 vsize=15486024 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/5543/task/5555/stat : 5555 (java) R 5541 5541 1216 0 -1 1077944384 2588 0 0 0 52 1 0 0 20 0 19 0 475616895 15857688576 47363 33554432000 4194304 4196468 140737032999312 139680531814640 139681002392194 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5556] ppid=5541 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5556/stat : 5556 (java) S 5541 5541 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475616895 15857688576 47363 33554432000 4194304 4196468 140737032999312 139680530762336 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5557] ppid=5541 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5557/stat : 5557 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475616895 15857688576 47363 33554432000 4194304 4196468 140737032999312 139680529709872 139681002392194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5602] ppid=5541 vsize=15486024 memory=6655300316396806240 CPUtime=1.06 cores=1,3,5,7
/proc/5543/task/5602/stat : 5602 (java) R 5541 5541 1216 0 -1 4202560 20 0 0 0 106 0 0 0 20 0 19 0 475616984 15857688576 47363 33554432000 4194304 4196468 140737032999312 139680450231000 139680612920873 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5603] ppid=5541 vsize=15486024 memory=0 CPUtime=0.91 cores=1,3,5,7
/proc/5543/task/5603/stat : 5603 (java) R 5541 5541 1216 0 -1 4202560 26 0 0 0 91 0 0 0 20 0 19 0 475616984 15857688576 47363 33554432000 4194304 4196468 140737032999312 139680449180040 139680612922666 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5604] ppid=5541 vsize=15486024 memory=0 CPUtime=0.89 cores=1,3,5,7
/proc/5543/task/5604/stat : 5604 (java) R 5541 5541 1216 0 -1 4202560 18 0 0 0 89 0 0 0 20 0 19 0 475616984 15857688576 47363 33554432000 4194304 4196468 140737032999312 139680451286632 139680611922613 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5605] ppid=5541 vsize=15486024 memory=0 CPUtime=1 cores=1,3,5,7
/proc/5543/task/5605/stat : 5605 (java) R 5541 5541 1216 0 -1 4202560 19 0 0 0 100 0 0 0 20 0 19 0 475616984 15857688576 47363 33554432000 4194304 4196468 140737032999312 139680452335920 139680611779954 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
Current children cumulated CPU time: 8.29 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 190908 KiB
[startup+2.60083 s]
/proc/loadavg: 7.82 8.37 8.26 11/243 5605
/proc/meminfo: memFree=7625476/32770624 swapFree=67001892/67108860
[pid=5541] ppid=5538 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5541/stat : 5541 (xcsp3-exec) S 5538 5541 1216 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475616889 115843072 364 33554432000 4194304 5098028 140730355833488 140730355831592 139993990763132 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10547200 140730355839830 140730355840089 140730355840089 140730355843014 0
/proc/5541/statm: 28282 364 305 221 0 87 0
[pid=5543] ppid=5541 vsize=15486024 memory=189608 CPUtime=9.09 cores=1,3,5,7
/proc/5543/stat : 5543 (java) S 5541 5541 1216 0 -1 1077944320 21605 0 0 0 900 9 0 0 20 0 19 0 475616889 15857688576 47402 33554432000 4194304 4196468 140737032999312 140737032981856 139681002381047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
/proc/5543/statm: 3871506 47402 3497 1 0 3832606 0
[pid=5543/tid=5544] ppid=5541 vsize=15486024 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/5543/task/5544/stat : 5544 (java) S 5541 5541 1216 0 -1 1077944384 9218 0 0 0 53 4 0 0 20 0 19 0 475616889 15857688576 47402 33554432000 4194304 4196468 140737032999312 139681006621824 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5545] ppid=5541 vsize=15486024 memory=69 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5545/stat : 5545 (java) S 5541 5541 1216 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 475616890 15857688576 47402 33554432000 4194304 4196468 140737032999312 139680930421008 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5546] ppid=5541 vsize=15486024 memory=61 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5546/stat : 5546 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475616890 15857688576 47402 33554432000 4194304 4196468 140737032999312 139680929368464 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5547] ppid=5541 vsize=15486024 memory=46 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5547/stat : 5547 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475616890 15857688576 47402 33554432000 4194304 4196468 140737032999312 139680928315920 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5548] ppid=5541 vsize=15486024 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5543/task/5548/stat : 5548 (java) S 5541 5541 1216 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 19 0 475616890 15857688576 47402 33554432000 4194304 4196468 140737032999312 139680591243920 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5549] ppid=5541 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5549/stat : 5549 (java) S 5541 5541 1216 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 475616891 15857688576 47402 33554432000 4194304 4196468 140737032999312 139680538130928 139681002392194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5550] ppid=5541 vsize=15486024 memory=16 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5550/stat : 5550 (java) S 5541 5541 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475616892 15857688576 47402 33554432000 4194304 4196468 140737032999312 139680537077152 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5551] ppid=5541 vsize=15486024 memory=11 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5551/stat : 5551 (java) S 5541 5541 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475616892 15857688576 47402 33554432000 4194304 4196468 140737032999312 139680536024560 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5552] ppid=5541 vsize=15486024 memory=12 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5552/stat : 5552 (java) S 5541 5541 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475616894 15857688576 47402 33554432000 4194304 4196468 140737032999312 139680534973136 139681002399643 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5553] ppid=5541 vsize=15486024 memory=20 CPUtime=1.57 cores=1,3,5,7
/proc/5543/task/5553/stat : 5553 (java) R 5541 5541 1216 0 -1 4202560 4210 0 0 0 157 0 0 0 20 0 19 0 475616894 15857688576 47402 33554432000 4194304 4196468 140737032999312 139680533904592 139680988445229 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5554] ppid=5541 vsize=15486024 memory=0 CPUtime=1.36 cores=1,3,5,7
/proc/5543/task/5554/stat : 5554 (java) R 5541 5541 1216 0 -1 4202560 3079 0 0 0 136 0 0 0 20 0 19 0 475616895 15857688576 47402 33554432000 4194304 4196468 140737032999312 139680532853152 139680987304038 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5555] ppid=5541 vsize=15486024 memory=7883384483256430439 CPUtime=0.55 cores=1,3,5,7
/proc/5543/task/5555/stat : 5555 (java) S 5541 5541 1216 0 -1 1077944384 2606 0 0 0 54 1 0 0 20 0 19 0 475616895 15857688576 47402 33554432000 4194304 4196468 140737032999312 139680531814640 139681002392194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5556] ppid=5541 vsize=15486024 memory=7445971265557588078 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5556/stat : 5556 (java) S 5541 5541 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475616895 15857688576 47402 33554432000 4194304 4196468 140737032999312 139680530762336 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5557] ppid=5541 vsize=15486024 memory=7019467088006820149 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5557/stat : 5557 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475616895 15857688576 47402 33554432000 4194304 4196468 140737032999312 139680529709872 139681002392194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5602] ppid=5541 vsize=15486024 memory=0 CPUtime=1.23 cores=1,3,5,7
/proc/5543/task/5602/stat : 5602 (java) R 5541 5541 1216 0 -1 4202560 20 0 0 0 123 0 0 0 20 0 19 0 475616984 15857688576 47402 33554432000 4194304 4196468 140737032999312 139680450231216 139680612920623 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5603] ppid=5541 vsize=15486024 memory=60036 CPUtime=1.04 cores=1,3,5,7
/proc/5543/task/5603/stat : 5603 (java) R 5541 5541 1216 0 -1 4202560 26 0 0 0 104 0 0 0 20 0 19 0 475616984 15857688576 47402 33554432000 4194304 4196468 140737032999312 139680449179176 139680613276003 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5604] ppid=5541 vsize=15486024 memory=0 CPUtime=1.07 cores=1,3,5,7
/proc/5543/task/5604/stat : 5604 (java) R 5541 5541 1216 0 -1 4202560 18 0 0 0 107 0 0 0 20 0 19 0 475616984 15857688576 47402 33554432000 4194304 4196468 140737032999312 139680451283736 139680612186974 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5605] ppid=5541 vsize=15486024 memory=0 CPUtime=1.1 cores=1,3,5,7
/proc/5543/task/5605/stat : 5605 (java) R 5541 5541 1216 0 -1 4202560 19 0 0 0 110 0 0 0 20 0 19 0 475616984 15857688576 47402 33554432000 4194304 4196468 140737032999312 139680452335920 139680612340452 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
Current children cumulated CPU time: 9.09 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 191064 KiB
[startup+2.70084 s]
/proc/loadavg: 7.82 8.37 8.26 11/243 5605
/proc/meminfo: memFree=7625476/32770624 swapFree=67001892/67108860
[pid=5541] ppid=5538 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/5541/stat : 5541 (xcsp3-exec) S 5538 5541 1216 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475616889 115843072 364 33554432000 4194304 5098028 140730355833488 140730355831592 139993990763132 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 10547200 140730355839830 140730355840089 140730355840089 140730355843014 0
/proc/5541/statm: 28282 364 305 221 0 87 0
[pid=5543] ppid=5541 vsize=15486024 memory=189996 CPUtime=9.49 cores=1,3,5,7
/proc/5543/stat : 5543 (java) S 5541 5541 1216 0 -1 1077944320 21683 0 0 0 940 9 0 0 20 0 19 0 475616889 15857688576 47499 33554432000 4194304 4196468 140737032999312 140737032981856 139681002381047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
/proc/5543/statm: 3871506 47499 3499 1 0 3832606 0
[pid=5543/tid=5544] ppid=5541 vsize=15486024 memory=189548 CPUtime=0.57 cores=1,3,5,7
/proc/5543/task/5544/stat : 5544 (java) S 5541 5541 1216 0 -1 1077944384 9218 0 0 0 53 4 0 0 20 0 19 0 475616889 15857688576 47499 33554432000 4194304 4196468 140737032999312 139681006621824 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5545] ppid=5541 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5545/stat : 5545 (java) S 5541 5541 1216 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 19 0 475616890 15857688576 47499 33554432000 4194304 4196468 140737032999312 139680930421008 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5546] ppid=5541 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5546/stat : 5546 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475616890 15857688576 47499 33554432000 4194304 4196468 140737032999312 139680929368464 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5547] ppid=5541 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5547/stat : 5547 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475616890 15857688576 47499 33554432000 4194304 4196468 140737032999312 139680928315920 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5548] ppid=5541 vsize=15486024 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5543/task/5548/stat : 5548 (java) S 5541 5541 1216 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 19 0 475616890 15857688576 47499 33554432000 4194304 4196468 140737032999312 139680591243920 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5549] ppid=5541 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5549/stat : 5549 (java) S 5541 5541 1216 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 475616891 15857688576 47499 33554432000 4194304 4196468 140737032999312 139680538130928 139681002392194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5550] ppid=5541 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5550/stat : 5550 (java) S 5541 5541 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475616892 15857688576 47499 33554432000 4194304 4196468 140737032999312 139680537077152 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5551] ppid=5541 vsize=15486024 memory=1768 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5551/stat : 5551 (java) S 5541 5541 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475616892 15857688576 47499 33554432000 4194304 4196468 140737032999312 139680536024560 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5552] ppid=5541 vsize=15486024 memory=111628 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5552/stat : 5552 (java) S 5541 5541 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475616894 15857688576 47499 33554432000 4194304 4196468 140737032999312 139680534973136 139681002399643 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5553] ppid=5541 vsize=15486024 memory=804 CPUtime=1.63 cores=1,3,5,7
/proc/5543/task/5553/stat : 5553 (java) R 5541 5541 1216 0 -1 4202560 4226 0 0 0 163 0 0 0 20 0 19 0 475616894 15857688576 47499 33554432000 4194304 4196468 140737032999312 139680533912920 139680983081695 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5554] ppid=5541 vsize=15486024 memory=1660 CPUtime=1.42 cores=1,3,5,7
/proc/5543/task/5554/stat : 5554 (java) R 5541 5541 1216 0 -1 4202560 3090 0 0 0 142 0 0 0 20 0 19 0 475616895 15857688576 47499 33554432000 4194304 4196468 140737032999312 139680532858016 139680985866939 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5555] ppid=5541 vsize=15486024 memory=4104 CPUtime=0.57 cores=1,3,5,7
/proc/5543/task/5555/stat : 5555 (java) R 5541 5541 1216 0 -1 1077944384 2657 0 0 0 56 1 0 0 20 0 19 0 475616895 15857688576 47499 33554432000 4194304 4196468 140737032999312 139680531814640 139681002392194 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5556] ppid=5541 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5556/stat : 5556 (java) S 5541 5541 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475616895 15857688576 47499 33554432000 4194304 4196468 140737032999312 139680530762336 139681002391253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5557] ppid=5541 vsize=15486024 memory=7737836644416253297 CPUtime=0 cores=1,3,5,7
/proc/5543/task/5557/stat : 5557 (java) S 5541 5541 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475616895 15857688576 47499 33554432000 4194304 4196468 140737032999312 139680529709872 139681002392194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5602] ppid=5541 vsize=15486024 memory=7667466792120314732 CPUtime=1.3 cores=1,3,5,7
/proc/5543/task/5602/stat : 5602 (java) R 5541 5541 1216 0 -1 4202560 20 0 0 0 130 0 0 0 20 0 19 0 475616984 15857688576 47499 33554432000 4194304 4196468 140737032999312 139680450231336 139680611861543 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5603] ppid=5541 vsize=15486024 memory=7156332389342998636 CPUtime=1.08 cores=1,3,5,7
/proc/5543/task/5603/stat : 5603 (java) R 5541 5541 1216 0 -1 4202560 26 0 0 0 108 0 0 0 20 0 19 0 475616984 15857688576 47499 33554432000 4194304 4196468 140737032999312 139680449179112 139680612691950 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5604] ppid=5541 vsize=15486024 memory=7738714041826960467 CPUtime=1.13 cores=1,3,5,7
/proc/5543/task/5604/stat : 5604 (java) R 5541 5541 1216 0 -1 4202560 18 0 0 0 113 0 0 0 20 0 19 0 475616984 15857688576 47499 33554432000 4194304 4196468 140737032999312 139680451283768 139680611922555 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
[pid=5543/tid=5605] ppid=5541 vsize=15486024 memory=7738714054778905427 CPUtime=1.17 cores=1,3,5,7
/proc/5543/task/5605/stat : 5605 (java) R 5541 5541 1216 0 -1 4202560 19 0 0 0 117 0 0 0 20 0 19 0 475616984 15857688576 47499 33554432000 4194304 4196468 140737032999312 139680452336896 139680613572128 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21504000 140737033008091 140737033008266 140737033008266 140737033011151 0
Current children cumulated CPU time: 9.49 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 191452 KiB
Child status: 0
Real time (s): 2.79795
CPU time (s): 9.82478
CPU user time (s): 9.72723
CPU system time (s): 0.097553
CPU usage (%): 351.142
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 191452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.72723
system time used= 0.097553
maximum resident set size= 191220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22292
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2413
involuntary context switches= 626
# summary of solver processes directly reported to runsolver:
# pid: 5541
# total CPU time (s): 9.82478
# total CPU user time (s): 9.72723
# total CPU system time (s): 0.097553
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055564 second user time and 0.061076 second system time
The end