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 (12090 MiB free)
memory of node 1: 16384 MiB (15696 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398886-1568698962/watcher-4398886-1568698962 -o /tmp/evaluation-result-4398886-1568698962/solver-4398886-1568698962 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568698283-25925 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 842664050 HOME/instance-4398886-1568698962.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=26267, runsolver pid=26264
Current StackSize limit: 8192 KiB
[startup+0.100107 s]*
/proc/loadavg: 9.00 7.86 4.88 9/234 26283
/proc/meminfo: memFree=28436256/32770624 swapFree=66917056/67108860
[pid=26267] ppid=26264 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26267/stat : 26267 (xcsp3-exec) S 26264 26267 25893 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445810052 115843072 362 33554432000 4194304 5098028 140721527995936 140721527994040 140531464422012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33374208 140721527997307 140721527997549 140721527997549 140721528000458 0
/proc/26267/statm: 28282 362 304 221 0 87 0
[pid=26269] ppid=26267 vsize=15144776 memory=29628 CPUtime=0.13 cores=1,3,5,7
/proc/26269/stat : 26269 (java) S 26267 26267 25893 0 -1 1077944320 5841 0 0 0 11 2 0 0 20 0 15 0 445810053 15508250624 7407 33554432000 4194304 4196468 140735865528544 140735865511088 140251163557623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
/proc/26269/statm: 3786194 7407 3176 1 0 3748377 0
[pid=26269/tid=26270] ppid=26267 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/26269/task/26270/stat : 26270 (java) R 26267 26267 25893 0 -1 4202560 3745 0 0 0 7 2 0 0 20 0 15 0 445810053 15508250624 7407 33554432000 4194304 4196468 140735865528544 140251167790352 140251163579549 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26271] ppid=26267 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26271/stat : 26271 (java) S 26267 26267 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445810054 15508250624 7407 33554432000 4194304 4196468 140735865528544 140251091597840 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26272] ppid=26267 vsize=15144776 memory=139700138780288 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26272/stat : 26272 (java) S 26267 26267 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445810054 15508250624 7407 33554432000 4194304 4196468 140735865528544 140251090545296 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26273] ppid=26267 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26273/stat : 26273 (java) S 26267 26267 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445810054 15508250624 7407 33554432000 4194304 4196468 140735865528544 140251089492240 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26274] ppid=26267 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26274/stat : 26274 (java) S 26267 26267 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445810054 15508250624 7407 33554432000 4194304 4196468 140735865528544 140251088439696 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26275] ppid=26267 vsize=15144776 memory=139700138780288 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26275/stat : 26275 (java) S 26267 26267 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445810055 15508250624 7407 33554432000 4194304 4196468 140735865528544 140250631895792 140251163568770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26276] ppid=26267 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26276/stat : 26276 (java) S 26267 26267 25893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445810055 15508250624 7407 33554432000 4194304 4196468 140735865528544 140250630842016 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26277] ppid=26267 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26277/stat : 26277 (java) S 26267 26267 25893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445810056 15508250624 7407 33554432000 4194304 4196468 140735865528544 140250629788912 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26278] ppid=26267 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26278/stat : 26278 (java) S 26267 26267 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445810058 15508250624 7407 33554432000 4194304 4196468 140735865528544 140250628737488 140251163576219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26279] ppid=26267 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26279/stat : 26279 (java) R 26267 26267 25893 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 445810058 15508250624 7407 33554432000 4194304 4196468 140735865528544 140250627684592 140251163568770 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26280] ppid=26267 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26280/stat : 26280 (java) R 26267 26267 25893 0 -1 4202560 159 0 0 0 0 0 0 0 20 0 15 0 445810058 15508250624 7407 33554432000 4194304 4196468 140735865528544 140250626631232 140251141390480 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26281] ppid=26267 vsize=15144776 memory=139700138780288 CPUtime=0.02 cores=1,3,5,7
/proc/26269/task/26281/stat : 26281 (java) R 26267 26267 25893 0 -1 4202560 337 0 0 0 2 0 0 0 20 0 15 0 445810058 15508250624 7407 33554432000 4194304 4196468 140735865528544 140250625576528 140251163578970 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26282] ppid=26267 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26282/stat : 26282 (java) S 26267 26267 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445810058 15508250624 7407 33554432000 4194304 4196468 140735865528544 140250624526688 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26283] ppid=26267 vsize=15144776 memory=139700138780288 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26283/stat : 26283 (java) S 26267 26267 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445810059 15508250624 7407 33554432000 4194304 4196468 140735865528544 140250623474736 140251163568770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31076 KiB
[startup+0.210859 s]*
/proc/loadavg: 9.00 7.86 4.88 7/234 26283
/proc/meminfo: memFree=28424780/32770624 swapFree=66917056/67108860
[pid=26267] ppid=26264 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26267/stat : 26267 (xcsp3-exec) S 26264 26267 25893 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445810052 115843072 362 33554432000 4194304 5098028 140721527995936 140721527994040 140531464422012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33374208 140721527997307 140721527997549 140721527997549 140721528000458 0
/proc/26267/statm: 28282 362 304 221 0 87 0
[pid=26269] ppid=26267 vsize=15144776 memory=40336 CPUtime=0.34 cores=1,3,5,7
/proc/26269/stat : 26269 (java) S 26267 26267 25893 0 -1 1077944320 9288 0 0 0 30 4 0 0 20 0 15 0 445810053 15508250624 10084 33554432000 4194304 4196468 140735865528544 140735865511088 140251163557623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
/proc/26269/statm: 3786194 10084 3295 1 0 3748377 0
[pid=26269/tid=26270] ppid=26267 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/26269/task/26270/stat : 26270 (java) R 26267 26267 25893 0 -1 4202560 6596 0 0 0 17 3 0 0 20 0 15 0 445810053 15508250624 10084 33554432000 4194304 4196468 140735865528544 140251167791328 140251147638110 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26271] ppid=26267 vsize=15144776 memory=8955 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26271/stat : 26271 (java) S 26267 26267 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445810054 15508250624 10084 33554432000 4194304 4196468 140735865528544 140251091597840 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26272] ppid=26267 vsize=15144776 memory=3690339541155686048 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26272/stat : 26272 (java) S 26267 26267 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445810054 15508250624 10084 33554432000 4194304 4196468 140735865528544 140251090545296 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26273] ppid=26267 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26273/stat : 26273 (java) S 26267 26267 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445810054 15508250624 10084 33554432000 4194304 4196468 140735865528544 140251089492240 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26274] ppid=26267 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26274/stat : 26274 (java) S 26267 26267 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445810054 15508250624 10084 33554432000 4194304 4196468 140735865528544 140251088439696 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26275] ppid=26267 vsize=15144776 memory=139700138780288 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26275/stat : 26275 (java) S 26267 26267 25893 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445810055 15508250624 10084 33554432000 4194304 4196468 140735865528544 140250631895792 140251163568770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26276] ppid=26267 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26276/stat : 26276 (java) S 26267 26267 25893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445810055 15508250624 10084 33554432000 4194304 4196468 140735865528544 140250630842016 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26277] ppid=26267 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26277/stat : 26277 (java) S 26267 26267 25893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445810056 15508250624 10084 33554432000 4194304 4196468 140735865528544 140250629788912 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26278] ppid=26267 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26278/stat : 26278 (java) S 26267 26267 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445810058 15508250624 10084 33554432000 4194304 4196468 140735865528544 140250628737488 140251163576219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26279] ppid=26267 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/26269/task/26279/stat : 26279 (java) S 26267 26267 25893 0 -1 1077944384 333 0 0 0 1 0 0 0 20 0 15 0 445810058 15508250624 10084 33554432000 4194304 4196468 140735865528544 140250627684592 140251163568770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26280] ppid=26267 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/26269/task/26280/stat : 26280 (java) S 26267 26267 25893 0 -1 1077944384 301 0 0 0 3 0 0 0 20 0 15 0 445810058 15508250624 10084 33554432000 4194304 4196468 140735865528544 140250626632048 140251163568770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26281] ppid=26267 vsize=15144776 memory=139700138780288 CPUtime=0.08 cores=1,3,5,7
/proc/26269/task/26281/stat : 26281 (java) S 26267 26267 25893 0 -1 1077944384 753 0 0 0 8 0 0 0 20 0 15 0 445810058 15508250624 10084 33554432000 4194304 4196468 140735865528544 140250625578992 140251163568770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26282] ppid=26267 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26282/stat : 26282 (java) S 26267 26267 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445810058 15508250624 10084 33554432000 4194304 4196468 140735865528544 140250624526688 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26283] ppid=26267 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26283/stat : 26283 (java) S 26267 26267 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445810059 15508250624 10084 33554432000 4194304 4196468 140735865528544 140250623474736 140251163568770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41784 KiB
[startup+0.310659 s]*
/proc/loadavg: 9.00 7.86 4.88 9/234 26283
/proc/meminfo: memFree=28417396/32770624 swapFree=66917056/67108860
[pid=26267] ppid=26264 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26267/stat : 26267 (xcsp3-exec) S 26264 26267 25893 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445810052 115843072 362 33554432000 4194304 5098028 140721527995936 140721527994040 140531464422012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33374208 140721527997307 140721527997549 140721527997549 140721528000458 0
/proc/26267/statm: 28282 362 304 221 0 87 0
[pid=26269] ppid=26267 vsize=15149032 memory=49640 CPUtime=0.53 cores=1,3,5,7
/proc/26269/stat : 26269 (java) S 26267 26267 25893 0 -1 1077944320 10790 0 0 0 48 5 0 0 20 0 15 0 445810053 15512608768 12410 33554432000 4194304 4196468 140735865528544 140735865511088 140251163557623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
/proc/26269/statm: 3787258 12410 3341 1 0 3748377 0
[pid=26269/tid=26270] ppid=26267 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/26269/task/26270/stat : 26270 (java) R 26267 26267 25893 0 -1 4202560 7773 0 0 0 26 4 0 0 20 0 15 0 445810053 15512608768 12410 33554432000 4194304 4196468 140735865528544 140251167788736 140251147638110 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26271] ppid=26267 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26271/stat : 26271 (java) S 26267 26267 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445810054 15512608768 12410 33554432000 4194304 4196468 140735865528544 140251091597840 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26272] ppid=26267 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26272/stat : 26272 (java) S 26267 26267 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445810054 15512608768 12410 33554432000 4194304 4196468 140735865528544 140251090545296 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26273] ppid=26267 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26273/stat : 26273 (java) S 26267 26267 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445810054 15512608768 12410 33554432000 4194304 4196468 140735865528544 140251089492240 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26274] ppid=26267 vsize=15149032 memory=7089274314207166114 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26274/stat : 26274 (java) S 26267 26267 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445810054 15512608768 12410 33554432000 4194304 4196468 140735865528544 140251088439696 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26275] ppid=26267 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26275/stat : 26275 (java) S 26267 26267 25893 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445810055 15512608768 12410 33554432000 4194304 4196468 140735865528544 140250631895792 140251163568770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26276] ppid=26267 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26276/stat : 26276 (java) S 26267 26267 25893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445810055 15512608768 12410 33554432000 4194304 4196468 140735865528544 140250630842016 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26277] ppid=26267 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26277/stat : 26277 (java) S 26267 26267 25893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445810056 15512608768 12410 33554432000 4194304 4196468 140735865528544 140250629788912 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26278] ppid=26267 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26278/stat : 26278 (java) S 26267 26267 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445810058 15512608768 12410 33554432000 4194304 4196468 140735865528544 140250628737488 140251163576219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26279] ppid=26267 vsize=15149032 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/26269/task/26279/stat : 26279 (java) R 26267 26267 25893 0 -1 4202560 476 0 0 0 4 0 0 0 20 0 15 0 445810058 15512608768 12410 33554432000 4194304 4196468 140735865528544 140250627674976 140251145101396 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26280] ppid=26267 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/26269/task/26280/stat : 26280 (java) S 26267 26267 25893 0 -1 1077944384 329 0 0 0 5 0 0 0 20 0 15 0 445810058 15512608768 12410 33554432000 4194304 4196468 140735865528544 140250626632048 140251163568770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26281] ppid=26267 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/26269/task/26281/stat : 26281 (java) S 26267 26267 25893 0 -1 1077944384 907 0 0 0 12 0 0 0 20 0 15 0 445810058 15512608768 12410 33554432000 4194304 4196468 140735865528544 140250625578992 140251163568770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26282] ppid=26267 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26282/stat : 26282 (java) S 26267 26267 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445810058 15512608768 12410 33554432000 4194304 4196468 140735865528544 140250624526688 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26283] ppid=26267 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26283/stat : 26283 (java) S 26267 26267 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445810059 15512608768 12410 33554432000 4194304 4196468 140735865528544 140250623474736 140251163568770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51088 KiB
[startup+0.700867 s]
/proc/loadavg: 9.00 7.86 4.88 7/234 26283
/proc/meminfo: memFree=28400836/32770624 swapFree=66917056/67108860
[pid=26267] ppid=26264 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26267/stat : 26267 (xcsp3-exec) S 26264 26267 25893 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445810052 115843072 362 33554432000 4194304 5098028 140721527995936 140721527994040 140531464422012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33374208 140721527997307 140721527997549 140721527997549 140721528000458 0
/proc/26267/statm: 28282 362 304 221 0 87 0
[pid=26269] ppid=26267 vsize=15417412 memory=80512 CPUtime=1.71 cores=1,3,5,7
/proc/26269/stat : 26269 (java) S 26267 26267 25893 0 -1 1077944320 14989 0 0 0 164 7 0 0 20 0 19 0 445810053 15787429888 20128 33554432000 4194304 4196468 140735865528544 140735865511088 140251163557623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
/proc/26269/statm: 3854353 20128 3453 1 0 3815453 0
[pid=26269/tid=26270] ppid=26267 vsize=15417412 memory=0 CPUtime=0.49 cores=1,3,5,7
/proc/26269/task/26270/stat : 26270 (java) S 26267 26267 25893 0 -1 1077944384 9057 0 0 0 44 5 0 0 20 0 19 0 445810053 15787429888 20128 33554432000 4194304 4196468 140735865528544 140251167798400 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26271] ppid=26267 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26271/stat : 26271 (java) S 26267 26267 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445810054 15787429888 20128 33554432000 4194304 4196468 140735865528544 140251091597840 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26272] ppid=26267 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26272/stat : 26272 (java) S 26267 26267 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445810054 15787429888 20128 33554432000 4194304 4196468 140735865528544 140251090545296 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26273] ppid=26267 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26273/stat : 26273 (java) S 26267 26267 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445810054 15787429888 20128 33554432000 4194304 4196468 140735865528544 140251089492240 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26274] ppid=26267 vsize=15417412 memory=48336 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26274/stat : 26274 (java) S 26267 26267 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445810054 15787429888 20128 33554432000 4194304 4196468 140735865528544 140251088439696 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26275] ppid=26267 vsize=15417412 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26275/stat : 26275 (java) S 26267 26267 25893 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 445810055 15787429888 20128 33554432000 4194304 4196468 140735865528544 140250631895792 140251163568770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26276] ppid=26267 vsize=15417412 memory=988 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26276/stat : 26276 (java) S 26267 26267 25893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445810055 15787429888 20128 33554432000 4194304 4196468 140735865528544 140250630842016 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26277] ppid=26267 vsize=15417412 memory=1368 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26277/stat : 26277 (java) S 26267 26267 25893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445810056 15787429888 20128 33554432000 4194304 4196468 140735865528544 140250629788912 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26278] ppid=26267 vsize=15417412 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26278/stat : 26278 (java) S 26267 26267 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445810058 15787429888 20128 33554432000 4194304 4196468 140735865528544 140250628737488 140251163576219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26279] ppid=26267 vsize=15417412 memory=1716 CPUtime=0.22 cores=1,3,5,7
/proc/26269/task/26279/stat : 26279 (java) R 26267 26267 25893 0 -1 4202560 957 0 0 0 22 0 0 0 20 0 19 0 445810058 15787429888 20128 33554432000 4194304 4196468 140735865528544 140250627673392 140251142969057 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26280] ppid=26267 vsize=15417412 memory=6032 CPUtime=0.26 cores=1,3,5,7
/proc/26269/task/26280/stat : 26280 (java) R 26267 26267 25893 0 -1 4202560 1398 0 0 0 26 0 0 0 20 0 19 0 445810058 15787429888 20128 33554432000 4194304 4196468 140735865528544 140250626618072 140251145079819 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26281] ppid=26267 vsize=15417412 memory=11416 CPUtime=0.32 cores=1,3,5,7
/proc/26269/task/26281/stat : 26281 (java) R 26267 26267 25893 0 -1 1077944384 2051 0 0 0 32 0 0 0 20 0 19 0 445810058 15787429888 20128 33554432000 4194304 4196468 140735865528544 140250625578992 140251163568770 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26282] ppid=26267 vsize=15417412 memory=768 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26282/stat : 26282 (java) S 26267 26267 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445810058 15787429888 20128 33554432000 4194304 4196468 140735865528544 140250624526688 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26283] ppid=26267 vsize=15417412 memory=776 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26283/stat : 26283 (java) S 26267 26267 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445810059 15787429888 20128 33554432000 4194304 4196468 140735865528544 140250623474736 140251163568770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26284] ppid=26267 vsize=15417412 memory=1560 CPUtime=0.08 cores=1,3,5,7
/proc/26269/task/26284/stat : 26284 (java) R 26267 26267 25893 0 -1 4202560 51 0 0 0 8 0 0 0 20 0 19 0 445810104 15787429888 20128 33554432000 4194304 4196468 140735865528544 140250546425168 140250764674711 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26285] ppid=26267 vsize=15417412 memory=4040 CPUtime=0.07 cores=1,3,5,7
/proc/26269/task/26285/stat : 26285 (java) R 26267 26267 25893 0 -1 4202560 74 0 0 0 7 0 0 0 20 0 19 0 445810104 15787429888 20128 33554432000 4194304 4196468 140735865528544 140250545375256 140250768312287 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26286] ppid=26267 vsize=15417412 memory=1112 CPUtime=0.08 cores=1,3,5,7
/proc/26269/task/26286/stat : 26286 (java) R 26267 26267 25893 0 -1 4202560 46 0 0 0 8 0 0 0 20 0 19 0 445810104 15787429888 20128 33554432000 4194304 4196468 140735865528544 140250544320640 140250768260935 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26287] ppid=26267 vsize=15417412 memory=2828 CPUtime=0.13 cores=1,3,5,7
/proc/26269/task/26287/stat : 26287 (java) R 26267 26267 25893 0 -1 4202560 48 0 0 0 13 0 0 0 20 0 19 0 445810104 15787429888 20128 33554432000 4194304 4196468 140735865528544 140250543267064 140250767937663 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15530540 KiB
################
# More data... #
################
/proc/26269/task/26283/stat : 26283 (java) S 26267 26267 25893 0 -1 1077944384 508 0 0 0 0 11 0 0 20 0 19 0 445810059 15787429888 367130 33554432000 4194304 4196468 140735865528544 140250623474736 140251163568770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26284] ppid=26267 vsize=15417412 memory=4040 CPUtime=323.49 cores=1,3,5,7
/proc/26269/task/26284/stat : 26284 (java) R 26267 26267 25893 0 -1 4202560 1684 0 0 0 32346 3 0 0 20 0 19 0 445810104 15787429888 367130 33554432000 4194304 4196468 140735865528544 140250546426072 140250768107285 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26285] ppid=26267 vsize=15417412 memory=1448 CPUtime=323.11 cores=1,3,5,7
/proc/26269/task/26285/stat : 26285 (java) R 26267 26267 25893 0 -1 4202560 17898 0 0 0 32295 16 0 0 20 0 19 0 445810104 15787429888 367130 33554432000 4194304 4196468 140735865528544 140250545373776 140250768655823 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26286] ppid=26267 vsize=15417412 memory=1112 CPUtime=323.18 cores=1,3,5,7
/proc/26269/task/26286/stat : 26286 (java) R 26267 26267 25893 0 -1 4202560 1682 0 0 0 32314 4 0 0 20 0 19 0 445810104 15787429888 367130 33554432000 4194304 4196468 140735865528544 140250544321480 140251148768232 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26287] ppid=26267 vsize=15417412 memory=2828 CPUtime=323.6 cores=1,3,5,7
/proc/26269/task/26287/stat : 26287 (java) R 26267 26267 25893 0 -1 4202560 8050 0 0 0 32351 9 0 0 20 0 19 0 445810104 15787429888 367130 33554432000 4194304 4196468 140735865528544 140250543270352 140250768933866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
Current children cumulated CPU time: 1303.78 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1469968 KiB
[startup+329.208 s]
/proc/loadavg: 8.84 8.37 5.98 9/237 26480
/proc/meminfo: memFree=28502036/32770624 swapFree=66917056/67108860
[pid=26267] ppid=26264 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26267/stat : 26267 (xcsp3-exec) S 26264 26267 25893 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445810052 115843072 362 33554432000 4194304 5098028 140721527995936 140721527994040 140531464422012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33374208 140721527997307 140721527997549 140721527997549 140721528000458 0
/proc/26267/statm: 28282 362 304 221 0 87 0
[pid=26269] ppid=26267 vsize=15417412 memory=1468004 CPUtime=1305.39 cores=1,3,5,7
/proc/26269/stat : 26269 (java) S 26267 26267 25893 0 -1 1077944320 80121 0 0 0 130443 96 0 0 20 0 19 0 445810053 15787429888 367001 33554432000 4194304 4196468 140735865528544 140735865511088 140251163557623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
/proc/26269/statm: 3854353 367001 3521 1 0 3815453 0
[pid=26269/tid=26270] ppid=26267 vsize=15417412 memory=8514726395715349656 CPUtime=0.49 cores=1,3,5,7
/proc/26269/task/26270/stat : 26270 (java) S 26267 26267 25893 0 -1 1077944384 9057 0 0 0 44 5 0 0 20 0 19 0 445810053 15787429888 367001 33554432000 4194304 4196468 140735865528544 140251167798400 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26271] ppid=26267 vsize=15417412 memory=3047711553320166262 CPUtime=1.65 cores=1,3,5,7
/proc/26269/task/26271/stat : 26271 (java) S 26267 26267 25893 0 -1 1077944384 2329 0 0 0 154 11 0 0 20 0 19 0 445810054 15787429888 367001 33554432000 4194304 4196468 140735865528544 140251091597840 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26272] ppid=26267 vsize=15417412 memory=6791534058613427641 CPUtime=1.66 cores=1,3,5,7
/proc/26269/task/26272/stat : 26272 (java) S 26267 26267 25893 0 -1 1077944384 2132 0 0 0 155 11 0 0 20 0 19 0 445810054 15787429888 367001 33554432000 4194304 4196468 140735865528544 140251090545296 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26273] ppid=26267 vsize=15417412 memory=7824336315716348491 CPUtime=1.64 cores=1,3,5,7
/proc/26269/task/26273/stat : 26273 (java) S 26267 26267 25893 0 -1 1077944384 3289 0 0 0 153 11 0 0 20 0 19 0 445810054 15787429888 367001 33554432000 4194304 4196468 140735865528544 140251089492240 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26274] ppid=26267 vsize=15417412 memory=-8412652169205224307 CPUtime=1.65 cores=1,3,5,7
/proc/26269/task/26274/stat : 26274 (java) S 26267 26267 25893 0 -1 1077944384 3380 0 0 0 152 13 0 0 20 0 19 0 445810054 15787429888 367001 33554432000 4194304 4196468 140735865528544 140251088439696 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26275] ppid=26267 vsize=15417412 memory=7956007213016967525 CPUtime=0.55 cores=1,3,5,7
/proc/26269/task/26275/stat : 26275 (java) S 26267 26267 25893 0 -1 1077944384 8632 0 0 0 43 12 0 0 20 0 19 0 445810055 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250631895792 140251163568770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26276] ppid=26267 vsize=15417412 memory=7668613591371245650 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26276/stat : 26276 (java) S 26267 26267 25893 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 445810055 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250630842080 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26277] ppid=26267 vsize=15417412 memory=7451312684438476393 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26277/stat : 26277 (java) S 26267 26267 25893 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 445810056 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250629788928 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26278] ppid=26267 vsize=15417412 memory=7235429073965573226 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26278/stat : 26278 (java) S 26267 26267 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445810058 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250628737488 140251163576219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26279] ppid=26267 vsize=15417412 memory=7596557075353200448 CPUtime=0.99 cores=1,3,5,7
/proc/26269/task/26279/stat : 26279 (java) S 26267 26267 25893 0 -1 1077944384 6079 0 0 0 99 0 0 0 20 0 19 0 445810058 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250627684592 140251163568770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26280] ppid=26267 vsize=15417412 memory=7588966029828122469 CPUtime=1.09 cores=1,3,5,7
/proc/26269/task/26280/stat : 26280 (java) S 26267 26267 25893 0 -1 1077944384 8424 0 0 0 109 0 0 0 20 0 19 0 445810058 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250626632048 140251163568770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26281] ppid=26267 vsize=15417412 memory=6084481210080912743 CPUtime=0.44 cores=1,3,5,7
/proc/26269/task/26281/stat : 26281 (java) S 26267 26267 25893 0 -1 1077944384 5595 0 0 0 43 1 0 0 20 0 19 0 445810058 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250625578992 140251163568770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26282] ppid=26267 vsize=15417412 memory=7229219015097674086 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26282/stat : 26282 (java) S 26267 26267 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445810058 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250624526688 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26283] ppid=26267 vsize=15417412 memory=7956285217963534439 CPUtime=0.11 cores=1,3,5,7
/proc/26269/task/26283/stat : 26283 (java) S 26267 26267 25893 0 -1 1077944384 508 0 0 0 0 11 0 0 20 0 19 0 445810059 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250623474736 140251163568770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26284] ppid=26267 vsize=15417412 memory=7085682174517141609 CPUtime=323.9 cores=1,3,5,7
/proc/26269/task/26284/stat : 26284 (java) R 26267 26267 25893 0 -1 4202560 1685 0 0 0 32387 3 0 0 20 0 19 0 445810104 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250546425960 140251144963940 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26285] ppid=26267 vsize=15417412 memory=5940081235490924135 CPUtime=323.52 cores=1,3,5,7
/proc/26269/task/26285/stat : 26285 (java) R 26267 26267 25893 0 -1 4202560 17898 0 0 0 32336 16 0 0 20 0 19 0 445810104 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250545373264 140250768934795 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26286] ppid=26267 vsize=15417412 memory=7157154854021524331 CPUtime=323.59 cores=1,3,5,7
/proc/26269/task/26286/stat : 26286 (java) R 26267 26267 25893 0 -1 4202560 1683 0 0 0 32355 4 0 0 20 0 19 0 445810104 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250544323696 140250768107054 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26287] ppid=26267 vsize=15417412 memory=7453288510559381608 CPUtime=323.99 cores=1,3,5,7
/proc/26269/task/26287/stat : 26287 (java) R 26267 26267 25893 0 -1 4202560 8050 0 0 0 32390 9 0 0 20 0 19 0 445810104 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250543267512 140250768934871 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
Current children cumulated CPU time: 1305.39 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1469452 KiB
[startup+329.41 s]
/proc/loadavg: 8.84 8.37 5.98 9/237 26480
/proc/meminfo: memFree=28502036/32770624 swapFree=66917056/67108860
[pid=26267] ppid=26264 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26267/stat : 26267 (xcsp3-exec) S 26264 26267 25893 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445810052 115843072 362 33554432000 4194304 5098028 140721527995936 140721527994040 140531464422012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33374208 140721527997307 140721527997549 140721527997549 140721528000458 0
/proc/26267/statm: 28282 362 304 221 0 87 0
[pid=26269] ppid=26267 vsize=15417412 memory=1468004 CPUtime=1306.2 cores=1,3,5,7
/proc/26269/stat : 26269 (java) S 26267 26267 25893 0 -1 1077944320 80121 0 0 0 130524 96 0 0 20 0 19 0 445810053 15787429888 367001 33554432000 4194304 4196468 140735865528544 140735865511088 140251163557623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
/proc/26269/statm: 3854353 367001 3521 1 0 3815453 0
[pid=26269/tid=26270] ppid=26267 vsize=15417412 memory=1468520 CPUtime=0.49 cores=1,3,5,7
/proc/26269/task/26270/stat : 26270 (java) S 26267 26267 25893 0 -1 1077944384 9057 0 0 0 44 5 0 0 20 0 19 0 445810053 15787429888 367001 33554432000 4194304 4196468 140735865528544 140251167798400 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26271] ppid=26267 vsize=15417412 memory=1560 CPUtime=1.65 cores=1,3,5,7
/proc/26269/task/26271/stat : 26271 (java) S 26267 26267 25893 0 -1 1077944384 2329 0 0 0 154 11 0 0 20 0 19 0 445810054 15787429888 367001 33554432000 4194304 4196468 140735865528544 140251091597840 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26272] ppid=26267 vsize=15417412 memory=4040 CPUtime=1.66 cores=1,3,5,7
/proc/26269/task/26272/stat : 26272 (java) S 26267 26267 25893 0 -1 1077944384 2132 0 0 0 155 11 0 0 20 0 19 0 445810054 15787429888 367001 33554432000 4194304 4196468 140735865528544 140251090545296 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26273] ppid=26267 vsize=15417412 memory=1112 CPUtime=1.64 cores=1,3,5,7
/proc/26269/task/26273/stat : 26273 (java) S 26267 26267 25893 0 -1 1077944384 3289 0 0 0 153 11 0 0 20 0 19 0 445810054 15787429888 367001 33554432000 4194304 4196468 140735865528544 140251089492240 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26274] ppid=26267 vsize=15417412 memory=2828 CPUtime=1.65 cores=1,3,5,7
/proc/26269/task/26274/stat : 26274 (java) S 26267 26267 25893 0 -1 1077944384 3380 0 0 0 152 13 0 0 20 0 19 0 445810054 15787429888 367001 33554432000 4194304 4196468 140735865528544 140251088439696 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26275] ppid=26267 vsize=15417412 memory=1212 CPUtime=0.55 cores=1,3,5,7
/proc/26269/task/26275/stat : 26275 (java) S 26267 26267 25893 0 -1 1077944384 8632 0 0 0 43 12 0 0 20 0 19 0 445810055 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250631895792 140251163568770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26276] ppid=26267 vsize=15417412 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26276/stat : 26276 (java) S 26267 26267 25893 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 445810055 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250630842080 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26277] ppid=26267 vsize=15417412 memory=12040 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26277/stat : 26277 (java) S 26267 26267 25893 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 445810056 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250629788928 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26278] ppid=26267 vsize=15417412 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26278/stat : 26278 (java) S 26267 26267 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445810058 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250628737488 140251163576219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26279] ppid=26267 vsize=15417412 memory=25820 CPUtime=0.99 cores=1,3,5,7
/proc/26269/task/26279/stat : 26279 (java) S 26267 26267 25893 0 -1 1077944384 6079 0 0 0 99 0 0 0 20 0 19 0 445810058 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250627684592 140251163568770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26280] ppid=26267 vsize=15417412 memory=492 CPUtime=1.09 cores=1,3,5,7
/proc/26269/task/26280/stat : 26280 (java) S 26267 26267 25893 0 -1 1077944384 8424 0 0 0 109 0 0 0 20 0 19 0 445810058 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250626632048 140251163568770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26281] ppid=26267 vsize=15417412 memory=1560 CPUtime=0.44 cores=1,3,5,7
/proc/26269/task/26281/stat : 26281 (java) S 26267 26267 25893 0 -1 1077944384 5595 0 0 0 43 1 0 0 20 0 19 0 445810058 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250625578992 140251163568770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26282] ppid=26267 vsize=15417412 memory=932 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26282/stat : 26282 (java) S 26267 26267 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445810058 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250624526688 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26283] ppid=26267 vsize=15417412 memory=1636 CPUtime=0.11 cores=1,3,5,7
/proc/26269/task/26283/stat : 26283 (java) S 26267 26267 25893 0 -1 1077944384 508 0 0 0 0 11 0 0 20 0 19 0 445810059 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250623474736 140251163568770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26284] ppid=26267 vsize=15417412 memory=1436 CPUtime=324.1 cores=1,3,5,7
/proc/26269/task/26284/stat : 26284 (java) R 26267 26267 25893 0 -1 4202560 1685 0 0 0 32407 3 0 0 20 0 19 0 445810104 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250546425960 140250768652960 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26285] ppid=26267 vsize=15417412 memory=896 CPUtime=323.72 cores=1,3,5,7
/proc/26269/task/26285/stat : 26285 (java) R 26267 26267 25893 0 -1 4202560 17898 0 0 0 32356 16 0 0 20 0 19 0 445810104 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250545373264 140250768899144 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26286] ppid=26267 vsize=15417412 memory=1980 CPUtime=323.79 cores=1,3,5,7
/proc/26269/task/26286/stat : 26286 (java) R 26267 26267 25893 0 -1 4202560 1683 0 0 0 32375 4 0 0 20 0 19 0 445810104 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250544323696 140250768655920 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26287] ppid=26267 vsize=15417412 memory=2520 CPUtime=324.19 cores=1,3,5,7
/proc/26269/task/26287/stat : 26287 (java) R 26267 26267 25893 0 -1 4202560 8050 0 0 0 32410 9 0 0 20 0 19 0 445810104 15787429888 367001 33554432000 4194304 4196468 140735865528544 140250543267512 140250768761245 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
Current children cumulated CPU time: 1306.2 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1469452 KiB
[startup+329.502 s]
/proc/loadavg: 8.84 8.37 5.98 9/237 26480
/proc/meminfo: memFree=28502036/32770624 swapFree=66917056/67108860
[pid=26267] ppid=26264 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26267/stat : 26267 (xcsp3-exec) S 26264 26267 25893 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445810052 115843072 362 33554432000 4194304 5098028 140721527995936 140721527994040 140531464422012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33374208 140721527997307 140721527997549 140721527997549 140721528000458 0
/proc/26267/statm: 28282 362 304 221 0 87 0
[pid=26269] ppid=26267 vsize=15417412 memory=1467500 CPUtime=1306.54 cores=1,3,5,7
/proc/26269/stat : 26269 (java) S 26267 26267 25893 0 -1 1077944320 80262 0 0 0 130558 96 0 0 20 0 19 0 445810053 15787429888 366875 33554432000 4194304 4196468 140735865528544 140735865511088 140251163557623 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
/proc/26269/statm: 3854353 366875 3521 1 0 3815453 0
[pid=26269/tid=26270] ppid=26267 vsize=15417412 memory=1468004 CPUtime=0.49 cores=1,3,5,7
/proc/26269/task/26270/stat : 26270 (java) S 26267 26267 25893 0 -1 1077944384 9057 0 0 0 44 5 0 0 20 0 19 0 445810053 15787429888 366875 33554432000 4194304 4196468 140735865528544 140251167798400 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26271] ppid=26267 vsize=15417412 memory=1468004 CPUtime=1.66 cores=1,3,5,7
/proc/26269/task/26271/stat : 26271 (java) S 26267 26267 25893 0 -1 1077944384 2329 0 0 0 155 11 0 0 20 0 19 0 445810054 15787429888 366875 33554432000 4194304 4196468 140735865528544 140251091597840 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26272] ppid=26267 vsize=15417412 memory=1448 CPUtime=1.66 cores=1,3,5,7
/proc/26269/task/26272/stat : 26272 (java) S 26267 26267 25893 0 -1 1077944384 2133 0 0 0 155 11 0 0 20 0 19 0 445810054 15787429888 366875 33554432000 4194304 4196468 140735865528544 140251090545296 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26273] ppid=26267 vsize=15417412 memory=0 CPUtime=1.64 cores=1,3,5,7
/proc/26269/task/26273/stat : 26273 (java) S 26267 26267 25893 0 -1 1077944384 3289 0 0 0 153 11 0 0 20 0 19 0 445810054 15787429888 366875 33554432000 4194304 4196468 140735865528544 140251089492240 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26274] ppid=26267 vsize=15417412 memory=1469032 CPUtime=1.65 cores=1,3,5,7
/proc/26269/task/26274/stat : 26274 (java) S 26267 26267 25893 0 -1 1077944384 3380 0 0 0 152 13 0 0 20 0 19 0 445810054 15787429888 366875 33554432000 4194304 4196468 140735865528544 140251088439696 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26275] ppid=26267 vsize=15417412 memory=1469032 CPUtime=0.55 cores=1,3,5,7
/proc/26269/task/26275/stat : 26275 (java) S 26267 26267 25893 0 -1 1077944384 8632 0 0 0 43 12 0 0 20 0 19 0 445810055 15787429888 366875 33554432000 4194304 4196468 140735865528544 140250631895792 140251163568770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26276] ppid=26267 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26276/stat : 26276 (java) S 26267 26267 25893 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 445810055 15787429888 366875 33554432000 4194304 4196468 140735865528544 140250630842080 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26277] ppid=26267 vsize=15417412 memory=932 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26277/stat : 26277 (java) S 26267 26267 25893 0 -1 1077944384 78 0 0 0 0 0 0 0 20 0 19 0 445810056 15787429888 366875 33554432000 4194304 4196468 140735865528544 140250629788928 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26278] ppid=26267 vsize=15417412 memory=1636 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26278/stat : 26278 (java) S 26267 26267 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445810058 15787429888 366875 33554432000 4194304 4196468 140735865528544 140250628737488 140251163576219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26279] ppid=26267 vsize=15417412 memory=1495696 CPUtime=0.99 cores=1,3,5,7
/proc/26269/task/26279/stat : 26279 (java) S 26267 26267 25893 0 -1 1077944384 6079 0 0 0 99 0 0 0 20 0 19 0 445810058 15787429888 366875 33554432000 4194304 4196468 140735865528544 140250627684592 140251163568770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26280] ppid=26267 vsize=15417412 memory=3512 CPUtime=1.09 cores=1,3,5,7
/proc/26269/task/26280/stat : 26280 (java) S 26267 26267 25893 0 -1 1077944384 8424 0 0 0 109 0 0 0 20 0 19 0 445810058 15787429888 366875 33554432000 4194304 4196468 140735865528544 140250626632048 140251163568770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26281] ppid=26267 vsize=15417412 memory=1448 CPUtime=0.44 cores=1,3,5,7
/proc/26269/task/26281/stat : 26281 (java) S 26267 26267 25893 0 -1 1077944384 5595 0 0 0 43 1 0 0 20 0 19 0 445810058 15787429888 366875 33554432000 4194304 4196468 140735865528544 140250625578992 140251163568770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26282] ppid=26267 vsize=15417412 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/26269/task/26282/stat : 26282 (java) S 26267 26267 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445810058 15787429888 366875 33554432000 4194304 4196468 140735865528544 140250624526688 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26283] ppid=26267 vsize=15417412 memory=1448 CPUtime=0.11 cores=1,3,5,7
/proc/26269/task/26283/stat : 26283 (java) S 26267 26267 25893 0 -1 1077944384 508 0 0 0 0 11 0 0 20 0 19 0 445810059 15787429888 366875 33554432000 4194304 4196468 140735865528544 140250623474736 140251163568770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 30 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26284] ppid=26267 vsize=15417412 memory=1470056 CPUtime=324.18 cores=1,3,5,7
/proc/26269/task/26284/stat : 26284 (java) S 26267 26267 25893 0 -1 1077944384 1746 0 0 0 32415 3 0 0 20 0 19 0 445810104 15787429888 366875 33554432000 4194304 4196468 140735865528544 140250546430144 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26285] ppid=26267 vsize=15417412 memory=1470572 CPUtime=323.8 cores=1,3,5,7
/proc/26269/task/26285/stat : 26285 (java) S 26267 26267 25893 0 -1 1077944384 17937 0 0 0 32364 16 0 0 20 0 19 0 445810104 15787429888 366875 33554432000 4194304 4196468 140735865528544 140250545378512 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26286] ppid=26267 vsize=15417412 memory=1448 CPUtime=323.87 cores=1,3,5,7
/proc/26269/task/26286/stat : 26286 (java) S 26267 26267 25893 0 -1 1077944384 1722 0 0 0 32383 4 0 0 20 0 19 0 445810104 15787429888 366875 33554432000 4194304 4196468 140735865528544 140250544325968 140251163567829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
[pid=26269/tid=26287] ppid=26267 vsize=15417412 memory=1475688 CPUtime=324.28 cores=1,3,5,7
/proc/26269/task/26287/stat : 26287 (java) R 26267 26267 25893 0 -1 4202560 8051 0 0 0 32419 9 0 0 20 0 19 0 445810104 15787429888 366875 33554432000 4194304 4196468 140735865528544 140250543270576 140250769184505 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18550784 140735865533423 140735865533594 140735865533594 140735865536463 0
Current children cumulated CPU time: 1306.54 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1468948 KiB
Child status: 0
Real time (s): 329.53
CPU time (s): 1306.58
CPU user time (s): 1305.6
CPU system time (s): 0.977551
CPU usage (%): 396.499
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 1814632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1305.6
system time used= 0.977551
maximum resident set size= 1815232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81493
page faults= 0
swaps= 0
block input operations= 0
block output operations= 480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26074
involuntary context switches= 28067
# summary of solver processes directly reported to runsolver:
# pid: 26267
# total CPU time (s): 1306.58
# total CPU user time (s): 1305.6
# total CPU system time (s): 0.977551
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.03734 second user time and 3.91575 second system time
The end