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 (2397 MiB free)
memory of node 1: 16384 MiB (5162 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403465-1568988940/watcher-4403465-1568988940 -o /tmp/evaluation-result-4403465-1568988940/solver-4403465-1568988940 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568988008-30878 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1688237013 HOME/instance-4403465-1568988940.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=32536, runsolver pid=32533
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 7.03 7.90 5.95 7/231 32552
/proc/meminfo: memFree=7723660/32770624 swapFree=66938892/67108860
[pid=32536] ppid=32533 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32536/stat : 32536 (xcsp3-exec) S 32533 32536 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475163721 115843072 363 33554432000 4194304 5098028 140723169039584 140723169037688 139727509893756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32686080 140723169043322 140723169043565 140723169043565 140723169046474 0
/proc/32536/statm: 28282 363 304 221 0 87 0
[pid=32538] ppid=32536 vsize=15144776 memory=30204 CPUtime=0.13 cores=1,3,5,7
/proc/32538/stat : 32538 (java) S 32536 32536 30846 0 -1 1077944320 5482 0 0 0 12 1 0 0 20 0 15 0 475163721 15508250624 7551 33554432000 4194304 4196468 140732362284832 140732362267376 139730748342007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
/proc/32538/statm: 3786194 7551 3150 1 0 3748377 0
[pid=32538/tid=32539] ppid=32536 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/32538/task/32539/stat : 32539 (java) R 32536 32536 30846 0 -1 4202560 3377 0 0 0 8 1 0 0 20 0 15 0 475163722 15508250624 7551 33554432000 4194304 4196468 140732362284832 139730752574736 139730740583397 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32540] ppid=32536 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32540/stat : 32540 (java) S 32536 32536 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475163722 15508250624 7551 33554432000 4194304 4196468 140732362284832 139730659998608 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32541] ppid=32536 vsize=15144776 memory=140330953307776 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32541/stat : 32541 (java) S 32536 32536 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475163722 15508250624 7551 33554432000 4194304 4196468 140732362284832 139730658945808 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32542] ppid=32536 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32542/stat : 32542 (java) S 32536 32536 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475163722 15508250624 7551 33554432000 4194304 4196468 140732362284832 139730657893520 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32543] ppid=32536 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32543/stat : 32543 (java) S 32536 32536 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475163722 15508250624 7551 33554432000 4194304 4196468 140732362284832 139730656840720 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32544] ppid=32536 vsize=15144776 memory=140330953307776 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32544/stat : 32544 (java) S 32536 32536 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475163724 15508250624 7551 33554432000 4194304 4196468 140732362284832 139729622546544 139730748353154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32545] ppid=32536 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32545/stat : 32545 (java) S 32536 32536 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475163724 15508250624 7551 33554432000 4194304 4196468 140732362284832 139729621492512 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32546] ppid=32536 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32546/stat : 32546 (java) S 32536 32536 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475163724 15508250624 7551 33554432000 4194304 4196468 140732362284832 139729620440176 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32547] ppid=32536 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32547/stat : 32547 (java) S 32536 32536 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475163727 15508250624 7551 33554432000 4194304 4196468 140732362284832 139729619388496 139730748360603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32548] ppid=32536 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32548/stat : 32548 (java) R 32536 32536 30846 0 -1 4202560 455 0 0 0 0 0 0 0 20 0 15 0 475163727 15508250624 7551 33554432000 4194304 4196468 140732362284832 139729618336368 139730740579134 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32549] ppid=32536 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32549/stat : 32549 (java) R 32536 32536 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475163727 15508250624 7551 33554432000 4194304 4196468 140732362284832 139729617283568 139730748353154 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32550] ppid=32536 vsize=15144776 memory=140330953307776 CPUtime=0.02 cores=1,3,5,7
/proc/32538/task/32550/stat : 32550 (java) R 32536 32536 30846 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 15 0 475163727 15508250624 7551 33554432000 4194304 4196468 140732362284832 139729616231280 139730727007350 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32551] ppid=32536 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32551/stat : 32551 (java) S 32536 32536 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475163727 15508250624 7551 33554432000 4194304 4196468 140732362284832 139729615178720 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32552] ppid=32536 vsize=15144776 memory=140330953307776 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32552/stat : 32552 (java) S 32536 32536 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475163727 15508250624 7551 33554432000 4194304 4196468 140732362284832 139729614125488 139730748353154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31656 KiB
[startup+0.210807 s]*
/proc/loadavg: 7.03 7.90 5.95 7/231 32552
/proc/meminfo: memFree=7711288/32770624 swapFree=66938892/67108860
[pid=32536] ppid=32533 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32536/stat : 32536 (xcsp3-exec) S 32533 32536 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475163721 115843072 363 33554432000 4194304 5098028 140723169039584 140723169037688 139727509893756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32686080 140723169043322 140723169043565 140723169043565 140723169046474 0
/proc/32536/statm: 28282 363 304 221 0 87 0
[pid=32538] ppid=32536 vsize=15144776 memory=41392 CPUtime=0.34 cores=1,3,5,7
/proc/32538/stat : 32538 (java) S 32536 32536 30846 0 -1 1077944320 9001 0 0 0 31 3 0 0 20 0 15 0 475163721 15508250624 10348 33554432000 4194304 4196468 140732362284832 140732362267376 139730748342007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
/proc/32538/statm: 3786194 10348 3310 1 0 3748377 0
[pid=32538/tid=32539] ppid=32536 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/32538/task/32539/stat : 32539 (java) R 32536 32536 30846 0 -1 4202560 6192 0 0 0 18 2 0 0 20 0 15 0 475163722 15508250624 10348 33554432000 4194304 4196468 140732362284832 139730752579472 139730748363933 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32540] ppid=32536 vsize=15144776 memory=12641 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32540/stat : 32540 (java) S 32536 32536 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475163722 15508250624 10348 33554432000 4194304 4196468 140732362284832 139730659998608 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32541] ppid=32536 vsize=15144776 memory=4121270647569741472 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32541/stat : 32541 (java) S 32536 32536 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475163722 15508250624 10348 33554432000 4194304 4196468 140732362284832 139730658945808 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32542] ppid=32536 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32542/stat : 32542 (java) S 32536 32536 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475163722 15508250624 10348 33554432000 4194304 4196468 140732362284832 139730657893520 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32543] ppid=32536 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32543/stat : 32543 (java) S 32536 32536 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475163722 15508250624 10348 33554432000 4194304 4196468 140732362284832 139730656840720 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32544] ppid=32536 vsize=15144776 memory=140330953307776 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32544/stat : 32544 (java) S 32536 32536 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475163724 15508250624 10348 33554432000 4194304 4196468 140732362284832 139729622546544 139730748353154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32545] ppid=32536 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32545/stat : 32545 (java) S 32536 32536 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475163724 15508250624 10348 33554432000 4194304 4196468 140732362284832 139729621492512 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32546] ppid=32536 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32546/stat : 32546 (java) S 32536 32536 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475163724 15508250624 10348 33554432000 4194304 4196468 140732362284832 139729620440176 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32547] ppid=32536 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32547/stat : 32547 (java) S 32536 32536 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475163727 15508250624 10348 33554432000 4194304 4196468 140732362284832 139729619388496 139730748360603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32548] ppid=32536 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/32538/task/32548/stat : 32548 (java) R 32536 32536 30846 0 -1 1077944384 555 0 0 0 3 0 0 0 20 0 15 0 475163727 15508250624 10348 33554432000 4194304 4196468 140732362284832 139729618336368 139730748353154 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32549] ppid=32536 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/32538/task/32549/stat : 32549 (java) S 32536 32536 30846 0 -1 1077944384 212 0 0 0 1 0 0 0 20 0 15 0 475163727 15508250624 10348 33554432000 4194304 4196468 140732362284832 139729617283568 139730748353154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32550] ppid=32536 vsize=15144776 memory=140330953307776 CPUtime=0.08 cores=1,3,5,7
/proc/32538/task/32550/stat : 32550 (java) R 32536 32536 30846 0 -1 4202560 736 0 0 0 8 0 0 0 20 0 15 0 475163727 15508250624 10348 33554432000 4194304 4196468 140732362284832 139729616231280 139730729116606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32551] ppid=32536 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32551/stat : 32551 (java) S 32536 32536 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475163727 15508250624 10348 33554432000 4194304 4196468 140732362284832 139729615178720 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32552] ppid=32536 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32552/stat : 32552 (java) S 32536 32536 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475163727 15508250624 10348 33554432000 4194304 4196468 140732362284832 139729614125488 139730748353154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42844 KiB
[startup+0.310746 s]*
/proc/loadavg: 7.03 7.90 5.95 6/231 32552
/proc/meminfo: memFree=7704264/32770624 swapFree=66938892/67108860
[pid=32536] ppid=32533 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32536/stat : 32536 (xcsp3-exec) S 32533 32536 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475163721 115843072 363 33554432000 4194304 5098028 140723169039584 140723169037688 139727509893756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32686080 140723169043322 140723169043565 140723169043565 140723169046474 0
/proc/32536/statm: 28282 363 304 221 0 87 0
[pid=32538] ppid=32536 vsize=15149032 memory=49928 CPUtime=0.51 cores=1,3,5,7
/proc/32538/stat : 32538 (java) S 32536 32536 30846 0 -1 1077944320 10339 0 0 0 48 3 0 0 20 0 15 0 475163721 15512608768 12482 33554432000 4194304 4196468 140732362284832 140732362267376 139730748342007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
/proc/32538/statm: 3787258 12482 3343 1 0 3748377 0
[pid=32538/tid=32539] ppid=32536 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/32538/task/32539/stat : 32539 (java) R 32536 32536 30846 0 -1 4202560 7377 0 0 0 27 3 0 0 20 0 15 0 475163722 15512608768 12482 33554432000 4194304 4196468 140732362284832 139730752573120 139730748353942 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32540] ppid=32536 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32540/stat : 32540 (java) S 32536 32536 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475163722 15512608768 12482 33554432000 4194304 4196468 140732362284832 139730659998608 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32541] ppid=32536 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32541/stat : 32541 (java) S 32536 32536 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475163722 15512608768 12482 33554432000 4194304 4196468 140732362284832 139730658945808 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32542] ppid=32536 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32542/stat : 32542 (java) S 32536 32536 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475163722 15512608768 12482 33554432000 4194304 4196468 140732362284832 139730657893520 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32543] ppid=32536 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32543/stat : 32543 (java) S 32536 32536 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475163722 15512608768 12482 33554432000 4194304 4196468 140732362284832 139730656840720 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32544] ppid=32536 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32544/stat : 32544 (java) S 32536 32536 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475163724 15512608768 12482 33554432000 4194304 4196468 140732362284832 139729622546544 139730748353154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32545] ppid=32536 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32545/stat : 32545 (java) S 32536 32536 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475163724 15512608768 12482 33554432000 4194304 4196468 140732362284832 139729621492512 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32546] ppid=32536 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32546/stat : 32546 (java) S 32536 32536 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475163724 15512608768 12482 33554432000 4194304 4196468 140732362284832 139729620440176 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32547] ppid=32536 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32547/stat : 32547 (java) S 32536 32536 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475163727 15512608768 12482 33554432000 4194304 4196468 140732362284832 139729619388496 139730748360603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32548] ppid=32536 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/32538/task/32548/stat : 32548 (java) S 32536 32536 30846 0 -1 1077944384 562 0 0 0 4 0 0 0 20 0 15 0 475163727 15512608768 12482 33554432000 4194304 4196468 140732362284832 139729618336368 139730748353154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32549] ppid=32536 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/32538/task/32549/stat : 32549 (java) S 32536 32536 30846 0 -1 1077944384 248 0 0 0 3 0 0 0 20 0 15 0 475163727 15512608768 12482 33554432000 4194304 4196468 140732362284832 139729617283568 139730748353154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32550] ppid=32536 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/32538/task/32550/stat : 32550 (java) R 32536 32536 30846 0 -1 4202560 846 0 0 0 12 0 0 0 20 0 15 0 475163727 15512608768 12482 33554432000 4194304 4196468 140732362284832 139729616231280 139730748363354 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32551] ppid=32536 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32551/stat : 32551 (java) S 32536 32536 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475163727 15512608768 12482 33554432000 4194304 4196468 140732362284832 139729615178720 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32552] ppid=32536 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32552/stat : 32552 (java) S 32536 32536 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475163727 15512608768 12482 33554432000 4194304 4196468 140732362284832 139729614125488 139730748353154 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51380 KiB
[startup+0.700789 s]
/proc/loadavg: 7.03 7.90 5.95 8/231 32552
/proc/meminfo: memFree=7677940/32770624 swapFree=66938892/67108860
[pid=32536] ppid=32533 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32536/stat : 32536 (xcsp3-exec) S 32533 32536 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475163721 115843072 363 33554432000 4194304 5098028 140723169039584 140723169037688 139727509893756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32686080 140723169043322 140723169043565 140723169043565 140723169046474 0
/proc/32536/statm: 28282 363 304 221 0 87 0
[pid=32538] ppid=32536 vsize=15151156 memory=130132 CPUtime=1.74 cores=1,3,5,7
/proc/32538/stat : 32538 (java) S 32536 32536 30846 0 -1 1077944320 13418 0 0 0 169 5 0 0 20 0 15 0 475163721 15514783744 32533 33554432000 4194304 4196468 140732362284832 140732362267376 139730748342007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
/proc/32538/statm: 3787789 32533 3448 1 0 3748889 0
[pid=32538/tid=32539] ppid=32536 vsize=15151156 memory=53488 CPUtime=0.68 cores=1,3,5,7
/proc/32538/task/32539/stat : 32539 (java) R 32536 32536 30846 0 -1 4202560 7896 0 0 0 64 4 0 0 20 0 15 0 475163722 15514783744 32533 33554432000 4194304 4196468 140732362284832 139730752577936 139730339242120 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32540] ppid=32536 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32540/stat : 32540 (java) S 32536 32536 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475163722 15514783744 32533 33554432000 4194304 4196468 140732362284832 139730659998608 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32541] ppid=32536 vsize=15151156 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32541/stat : 32541 (java) S 32536 32536 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475163722 15514783744 32533 33554432000 4194304 4196468 140732362284832 139730658945808 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32542] ppid=32536 vsize=15151156 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32542/stat : 32542 (java) S 32536 32536 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475163722 15514783744 32533 33554432000 4194304 4196468 140732362284832 139730657893520 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32543] ppid=32536 vsize=15151156 memory=10728 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32543/stat : 32543 (java) S 32536 32536 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475163722 15514783744 32533 33554432000 4194304 4196468 140732362284832 139730656840720 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32544] ppid=32536 vsize=15151156 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32544/stat : 32544 (java) S 32536 32536 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475163724 15514783744 32533 33554432000 4194304 4196468 140732362284832 139729622546544 139730748353154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32545] ppid=32536 vsize=15151156 memory=3640 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32545/stat : 32545 (java) S 32536 32536 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475163724 15514783744 32533 33554432000 4194304 4196468 140732362284832 139729621492512 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32546] ppid=32536 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32546/stat : 32546 (java) S 32536 32536 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475163724 15514783744 32533 33554432000 4194304 4196468 140732362284832 139729620440176 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32547] ppid=32536 vsize=15151156 memory=784 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32547/stat : 32547 (java) S 32536 32536 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475163727 15514783744 32533 33554432000 4194304 4196468 140732362284832 139729619388496 139730748360603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32548] ppid=32536 vsize=15151156 memory=1060 CPUtime=0.34 cores=1,3,5,7
/proc/32538/task/32548/stat : 32548 (java) R 32536 32536 30846 0 -1 4202560 1529 0 0 0 34 0 0 0 20 0 15 0 475163727 15514783744 32533 33554432000 4194304 4196468 140732362284832 139729618318208 139730731728544 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32549] ppid=32536 vsize=15151156 memory=1720 CPUtime=0.34 cores=1,3,5,7
/proc/32538/task/32549/stat : 32549 (java) R 32536 32536 30846 0 -1 4202560 1065 0 0 0 34 0 0 0 20 0 15 0 475163727 15514783744 32533 33554432000 4194304 4196468 140732362284832 139729617269760 139730733507679 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32550] ppid=32536 vsize=15151156 memory=1096 CPUtime=0.35 cores=1,3,5,7
/proc/32538/task/32550/stat : 32550 (java) R 32536 32536 30846 0 -1 1077944384 1622 0 0 0 35 0 0 0 20 0 15 0 475163727 15514783744 32533 33554432000 4194304 4196468 140732362284832 139729616231280 139730748353154 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32551] ppid=32536 vsize=15151156 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32551/stat : 32551 (java) S 32536 32536 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475163727 15514783744 32533 33554432000 4194304 4196468 140732362284832 139729615178720 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32552] ppid=32536 vsize=15151156 memory=6112 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32552/stat : 32552 (java) S 32536 32536 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475163727 15514783744 32533 33554432000 4194304 4196468 140732362284832 139729614125488 139730748353154 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 131584 KiB
[startup+1.50103 s]
/proc/loadavg: 7.03 7.90 5.95 9/231 32552
/proc/meminfo: memFree=7542100/32770624 swapFree=66938892/67108860
[pid=32536] ppid=32533 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32536/stat : 32536 (xcsp3-exec) S 32533 32536 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475163721 115843072 363 33554432000 4194304 5098028 140723169039584 140723169037688 139727509893756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32686080 140723169043322 140723169043565 140723169043565 140723169046474 0
/proc/32536/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/32538/task/32552/stat : 32552 (java) S 32536 32536 30846 0 -1 1077944384 837 0 0 0 9 0 0 0 20 0 19 0 475163727 15787429888 289814 33554432000 4194304 4196468 140732362284832 139729614125488 139730748353154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32553] ppid=32536 vsize=15417412 memory=1748 CPUtime=364.04 cores=1,3,5,7
/proc/32538/task/32553/stat : 32553 (java) R 32536 32536 30846 0 -1 4202560 816 0 0 0 36403 1 0 0 20 0 19 0 475163828 15787429888 289814 33554432000 4194304 4196468 140732362284832 139729604905896 139730341025435 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32554] ppid=32536 vsize=15417412 memory=1160280 CPUtime=364.51 cores=1,3,5,7
/proc/32538/task/32554/stat : 32554 (java) R 32536 32536 30846 0 -1 4202560 3245 0 0 0 36445 6 0 0 20 0 19 0 475163828 15787429888 289814 33554432000 4194304 4196468 140732362284832 139729603854256 139730341025528 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32555] ppid=32536 vsize=15417412 memory=1060 CPUtime=364.34 cores=1,3,5,7
/proc/32538/task/32555/stat : 32555 (java) R 32536 32536 30846 0 -1 4202560 834 0 0 0 36433 1 0 0 20 0 19 0 475163828 15787429888 289814 33554432000 4194304 4196468 140732362284832 139729602804560 139730341591335 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32556] ppid=32536 vsize=15417412 memory=1720 CPUtime=364.29 cores=1,3,5,7
/proc/32538/task/32556/stat : 32556 (java) R 32536 32536 30846 0 -1 4202560 3570 0 0 0 36422 7 0 0 20 0 19 0 475163828 15787429888 289814 33554432000 4194304 4196468 140732362284832 139729601749464 139730341948731 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
Current children cumulated CPU time: 1463.53 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1160708 KiB
[startup+368.801 s]
/proc/loadavg: 7.84 7.95 6.62 9/236 1041
/proc/meminfo: memFree=8373192/32770624 swapFree=66938896/67108860
[pid=32536] ppid=32533 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32536/stat : 32536 (xcsp3-exec) S 32533 32536 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475163721 115843072 363 33554432000 4194304 5098028 140723169039584 140723169037688 139727509893756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32686080 140723169043322 140723169043565 140723169043565 140723169046474 0
/proc/32536/statm: 28282 363 304 221 0 87 0
[pid=32538] ppid=32536 vsize=15417412 memory=1160276 CPUtime=1466.67 cores=1,3,5,7
/proc/32538/stat : 32538 (java) S 32536 32536 30846 0 -1 1077944320 46341 0 0 0 146604 63 0 0 20 0 19 0 475163721 15787429888 290069 33554432000 4194304 4196468 140732362284832 140732362267376 139730748342007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
/proc/32538/statm: 3854353 290069 3511 1 0 3815453 0
[pid=32538/tid=32539] ppid=32536 vsize=15417412 memory=6112 CPUtime=1.01 cores=1,3,5,7
/proc/32538/task/32539/stat : 32539 (java) S 32536 32536 30846 0 -1 1077944384 8614 0 0 0 96 5 0 0 20 0 19 0 475163722 15787429888 290069 33554432000 4194304 4196468 140732362284832 139730752582784 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32540] ppid=32536 vsize=15417412 memory=780 CPUtime=0.22 cores=1,3,5,7
/proc/32538/task/32540/stat : 32540 (java) S 32536 32536 30846 0 -1 1077944384 1330 0 0 0 13 9 0 0 20 0 19 0 475163722 15787429888 290069 33554432000 4194304 4196468 140732362284832 139730659998608 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32541] ppid=32536 vsize=15417412 memory=14008 CPUtime=0.2 cores=1,3,5,7
/proc/32538/task/32541/stat : 32541 (java) S 32536 32536 30846 0 -1 1077944384 1073 0 0 0 12 8 0 0 20 0 19 0 475163722 15787429888 290069 33554432000 4194304 4196468 140732362284832 139730658945808 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32542] ppid=32536 vsize=15417412 memory=1158752 CPUtime=0.21 cores=1,3,5,7
/proc/32538/task/32542/stat : 32542 (java) S 32536 32536 30846 0 -1 1077944384 1132 0 0 0 12 9 0 0 20 0 19 0 475163722 15787429888 290069 33554432000 4194304 4196468 140732362284832 139730657893520 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32543] ppid=32536 vsize=15417412 memory=53492 CPUtime=0.21 cores=1,3,5,7
/proc/32538/task/32543/stat : 32543 (java) S 32536 32536 30846 0 -1 1077944384 2897 0 0 0 12 9 0 0 20 0 19 0 475163722 15787429888 290069 33554432000 4194304 4196468 140732362284832 139730656840720 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32544] ppid=32536 vsize=15417412 memory=988 CPUtime=0.06 cores=1,3,5,7
/proc/32538/task/32544/stat : 32544 (java) S 32536 32536 30846 0 -1 1077944384 2926 0 0 0 5 1 0 0 20 0 19 0 475163724 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729622546544 139730748353154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32545] ppid=32536 vsize=15417412 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32545/stat : 32545 (java) S 32536 32536 30846 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475163724 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729621492576 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32546] ppid=32536 vsize=15417412 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32546/stat : 32546 (java) S 32536 32536 30846 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 475163724 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729620440192 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32547] ppid=32536 vsize=15417412 memory=10728 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32547/stat : 32547 (java) S 32536 32536 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475163727 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729619388496 139730748360603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32548] ppid=32536 vsize=15417412 memory=928 CPUtime=1.81 cores=1,3,5,7
/proc/32538/task/32548/stat : 32548 (java) S 32536 32536 30846 0 -1 1077944384 7397 0 0 0 180 1 0 0 20 0 19 0 475163727 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729618336368 139730748353154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32549] ppid=32536 vsize=15417412 memory=1984 CPUtime=1.74 cores=1,3,5,7
/proc/32538/task/32549/stat : 32549 (java) S 32536 32536 30846 0 -1 1077944384 6026 0 0 0 174 0 0 0 20 0 19 0 475163727 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729617283568 139730748353154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32550] ppid=32536 vsize=15417412 memory=2364 CPUtime=0.68 cores=1,3,5,7
/proc/32538/task/32550/stat : 32550 (java) S 32536 32536 30846 0 -1 1077944384 4313 0 0 0 67 1 0 0 20 0 19 0 475163727 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729616231280 139730748353154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32551] ppid=32536 vsize=15417412 memory=1744 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32551/stat : 32551 (java) S 32536 32536 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475163727 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729615178720 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32552] ppid=32536 vsize=15417412 memory=924 CPUtime=0.09 cores=1,3,5,7
/proc/32538/task/32552/stat : 32552 (java) S 32536 32536 30846 0 -1 1077944384 837 0 0 0 9 0 0 0 20 0 19 0 475163727 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729614125488 139730748353154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32553] ppid=32536 vsize=15417412 memory=1448 CPUtime=364.82 cores=1,3,5,7
/proc/32538/task/32553/stat : 32553 (java) R 32536 32536 30846 0 -1 4202560 816 0 0 0 36481 1 0 0 20 0 19 0 475163828 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729604905520 139730341591335 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32554] ppid=32536 vsize=15417412 memory=1748 CPUtime=365.29 cores=1,3,5,7
/proc/32538/task/32554/stat : 32554 (java) R 32536 32536 30846 0 -1 4202560 3245 0 0 0 36523 6 0 0 20 0 19 0 475163828 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729603854256 139730341380801 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32555] ppid=32536 vsize=15417412 memory=111632 CPUtime=365.12 cores=1,3,5,7
/proc/32538/task/32555/stat : 32555 (java) R 32536 32536 30846 0 -1 4202560 834 0 0 0 36511 1 0 0 20 0 19 0 475163828 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729602801704 139730341381853 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32556] ppid=32536 vsize=15417412 memory=808 CPUtime=365.07 cores=1,3,5,7
/proc/32538/task/32556/stat : 32556 (java) R 32536 32536 30846 0 -1 4202560 3572 0 0 0 36500 7 0 0 20 0 19 0 475163828 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729601751952 139730729748228 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
Current children cumulated CPU time: 1466.67 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1161728 KiB
[startup+369.201 s]
/proc/loadavg: 7.77 7.94 6.62 9/236 1041
/proc/meminfo: memFree=8372260/32770624 swapFree=66938896/67108860
[pid=32536] ppid=32533 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32536/stat : 32536 (xcsp3-exec) S 32533 32536 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475163721 115843072 363 33554432000 4194304 5098028 140723169039584 140723169037688 139727509893756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32686080 140723169043322 140723169043565 140723169043565 140723169046474 0
/proc/32536/statm: 28282 363 304 221 0 87 0
[pid=32538] ppid=32536 vsize=15417412 memory=1160276 CPUtime=1468.26 cores=1,3,5,7
/proc/32538/stat : 32538 (java) S 32536 32536 30846 0 -1 1077944320 46341 0 0 0 146763 63 0 0 20 0 19 0 475163721 15787429888 290069 33554432000 4194304 4196468 140732362284832 140732362267376 139730748342007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
/proc/32538/statm: 3854353 290069 3511 1 0 3815453 0
[pid=32538/tid=32539] ppid=32536 vsize=15417412 memory=1452 CPUtime=1.01 cores=1,3,5,7
/proc/32538/task/32539/stat : 32539 (java) S 32536 32536 30846 0 -1 1077944384 8614 0 0 0 96 5 0 0 20 0 19 0 475163722 15787429888 290069 33554432000 4194304 4196468 140732362284832 139730752582784 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32540] ppid=32536 vsize=15417412 memory=1160280 CPUtime=0.22 cores=1,3,5,7
/proc/32538/task/32540/stat : 32540 (java) S 32536 32536 30846 0 -1 1077944384 1330 0 0 0 13 9 0 0 20 0 19 0 475163722 15787429888 290069 33554432000 4194304 4196468 140732362284832 139730659998608 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32541] ppid=32536 vsize=15417412 memory=1452 CPUtime=0.2 cores=1,3,5,7
/proc/32538/task/32541/stat : 32541 (java) S 32536 32536 30846 0 -1 1077944384 1073 0 0 0 12 8 0 0 20 0 19 0 475163722 15787429888 290069 33554432000 4194304 4196468 140732362284832 139730658945808 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32542] ppid=32536 vsize=15417412 memory=1452 CPUtime=0.21 cores=1,3,5,7
/proc/32538/task/32542/stat : 32542 (java) S 32536 32536 30846 0 -1 1077944384 1132 0 0 0 12 9 0 0 20 0 19 0 475163722 15787429888 290069 33554432000 4194304 4196468 140732362284832 139730657893520 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32543] ppid=32536 vsize=15417412 memory=1160276 CPUtime=0.21 cores=1,3,5,7
/proc/32538/task/32543/stat : 32543 (java) S 32536 32536 30846 0 -1 1077944384 2897 0 0 0 12 9 0 0 20 0 19 0 475163722 15787429888 290069 33554432000 4194304 4196468 140732362284832 139730656840720 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32544] ppid=32536 vsize=15417412 memory=1744 CPUtime=0.06 cores=1,3,5,7
/proc/32538/task/32544/stat : 32544 (java) S 32536 32536 30846 0 -1 1077944384 2926 0 0 0 5 1 0 0 20 0 19 0 475163724 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729622546544 139730748353154 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32545] ppid=32536 vsize=15417412 memory=924 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32545/stat : 32545 (java) S 32536 32536 30846 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475163724 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729621492576 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32546] ppid=32536 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32546/stat : 32546 (java) S 32536 32536 30846 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 475163724 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729620440192 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32547] ppid=32536 vsize=15417412 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32547/stat : 32547 (java) S 32536 32536 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475163727 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729619388496 139730748360603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32548] ppid=32536 vsize=15417412 memory=1552 CPUtime=1.81 cores=1,3,5,7
/proc/32538/task/32548/stat : 32548 (java) S 32536 32536 30846 0 -1 1077944384 7397 0 0 0 180 1 0 0 20 0 19 0 475163727 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729618336368 139730748353154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32549] ppid=32536 vsize=15417412 memory=3640 CPUtime=1.74 cores=1,3,5,7
/proc/32538/task/32549/stat : 32549 (java) S 32536 32536 30846 0 -1 1077944384 6026 0 0 0 174 0 0 0 20 0 19 0 475163727 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729617283568 139730748353154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32550] ppid=32536 vsize=15417412 memory=2832 CPUtime=0.68 cores=1,3,5,7
/proc/32538/task/32550/stat : 32550 (java) S 32536 32536 30846 0 -1 1077944384 4313 0 0 0 67 1 0 0 20 0 19 0 475163727 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729616231280 139730748353154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32551] ppid=32536 vsize=15417412 memory=784 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32551/stat : 32551 (java) S 32536 32536 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475163727 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729615178720 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32552] ppid=32536 vsize=15417412 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/32538/task/32552/stat : 32552 (java) S 32536 32536 30846 0 -1 1077944384 837 0 0 0 9 0 0 0 20 0 19 0 475163727 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729614125488 139730748353154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32553] ppid=32536 vsize=15417412 memory=1448 CPUtime=365.22 cores=1,3,5,7
/proc/32538/task/32553/stat : 32553 (java) R 32536 32536 30846 0 -1 4202560 816 0 0 0 36521 1 0 0 20 0 19 0 475163828 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729604905520 139730341380830 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32554] ppid=32536 vsize=15417412 memory=1748 CPUtime=365.69 cores=1,3,5,7
/proc/32538/task/32554/stat : 32554 (java) R 32536 32536 30846 0 -1 4202560 3245 0 0 0 36563 6 0 0 20 0 19 0 475163828 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729603854256 139730342738707 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32555] ppid=32536 vsize=15417412 memory=111632 CPUtime=365.51 cores=1,3,5,7
/proc/32538/task/32555/stat : 32555 (java) R 32536 32536 30846 0 -1 4202560 834 0 0 0 36550 1 0 0 20 0 19 0 475163828 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729602801704 139730341380902 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32556] ppid=32536 vsize=15417412 memory=808 CPUtime=365.47 cores=1,3,5,7
/proc/32538/task/32556/stat : 32556 (java) R 32536 32536 30846 0 -1 4202560 3572 0 0 0 36540 7 0 0 20 0 19 0 475163828 15787429888 290069 33554432000 4194304 4196468 140732362284832 139729601751952 139730341381446 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
Current children cumulated CPU time: 1468.26 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1161728 KiB
[startup+369.401 s]
/proc/loadavg: 7.77 7.94 6.62 9/236 1041
/proc/meminfo: memFree=8372260/32770624 swapFree=66938896/67108860
[pid=32536] ppid=32533 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32536/stat : 32536 (xcsp3-exec) S 32533 32536 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475163721 115843072 363 33554432000 4194304 5098028 140723169039584 140723169037688 139727509893756 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32686080 140723169043322 140723169043565 140723169043565 140723169046474 0
/proc/32536/statm: 28282 363 304 221 0 87 0
[pid=32538] ppid=32536 vsize=15417412 memory=1159252 CPUtime=1469.06 cores=1,3,5,7
/proc/32538/stat : 32538 (java) S 32536 32536 30846 0 -1 1077944320 46345 0 0 0 146843 63 0 0 20 0 19 0 475163721 15787429888 289813 33554432000 4194304 4196468 140732362284832 140732362267376 139730748342007 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
/proc/32538/statm: 3854353 289813 3511 1 0 3815453 0
[pid=32538/tid=32539] ppid=32536 vsize=15417412 memory=6791534058613427641 CPUtime=1.01 cores=1,3,5,7
/proc/32538/task/32539/stat : 32539 (java) S 32536 32536 30846 0 -1 1077944384 8614 0 0 0 96 5 0 0 20 0 19 0 475163722 15787429888 289813 33554432000 4194304 4196468 140732362284832 139730752582784 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32540] ppid=32536 vsize=15417412 memory=288230596050944315 CPUtime=0.22 cores=1,3,5,7
/proc/32538/task/32540/stat : 32540 (java) S 32536 32536 30846 0 -1 1077944384 1331 0 0 0 13 9 0 0 20 0 19 0 475163722 15787429888 289813 33554432000 4194304 4196468 140732362284832 139730659998608 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32541] ppid=32536 vsize=15417412 memory=13850793610578140 CPUtime=0.2 cores=1,3,5,7
/proc/32538/task/32541/stat : 32541 (java) S 32536 32536 30846 0 -1 1077944384 1073 0 0 0 12 8 0 0 20 0 19 0 475163722 15787429888 289813 33554432000 4194304 4196468 140732362284832 139730658945808 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32542] ppid=32536 vsize=15417412 memory=500 CPUtime=0.21 cores=1,3,5,7
/proc/32538/task/32542/stat : 32542 (java) S 32536 32536 30846 0 -1 1077944384 1133 0 0 0 12 9 0 0 20 0 19 0 475163722 15787429888 289813 33554432000 4194304 4196468 140732362284832 139730657893520 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32543] ppid=32536 vsize=15417412 memory=928 CPUtime=0.21 cores=1,3,5,7
/proc/32538/task/32543/stat : 32543 (java) S 32536 32536 30846 0 -1 1077944384 2898 0 0 0 12 9 0 0 20 0 19 0 475163722 15787429888 289813 33554432000 4194304 4196468 140732362284832 139730656840720 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32544] ppid=32536 vsize=15417412 memory=1984 CPUtime=0.06 cores=1,3,5,7
/proc/32538/task/32544/stat : 32544 (java) S 32536 32536 30846 0 -1 1077944384 2926 0 0 0 5 1 0 0 20 0 19 0 475163724 15787429888 289813 33554432000 4194304 4196468 140732362284832 139729622546544 139730748353154 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32545] ppid=32536 vsize=15417412 memory=2364 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32545/stat : 32545 (java) S 32536 32536 30846 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 475163724 15787429888 289813 33554432000 4194304 4196468 140732362284832 139729621492576 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32546] ppid=32536 vsize=15417412 memory=1744 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32546/stat : 32546 (java) S 32536 32536 30846 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 19 0 475163724 15787429888 289813 33554432000 4194304 4196468 140732362284832 139729620440192 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32547] ppid=32536 vsize=15417412 memory=924 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32547/stat : 32547 (java) S 32536 32536 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475163727 15787429888 289813 33554432000 4194304 4196468 140732362284832 139729619388496 139730748360603 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32548] ppid=32536 vsize=15417412 memory=1448 CPUtime=1.81 cores=1,3,5,7
/proc/32538/task/32548/stat : 32548 (java) S 32536 32536 30846 0 -1 1077944384 7397 0 0 0 180 1 0 0 20 0 19 0 475163727 15787429888 289813 33554432000 4194304 4196468 140732362284832 139729618336368 139730748353154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32549] ppid=32536 vsize=15417412 memory=1748 CPUtime=1.74 cores=1,3,5,7
/proc/32538/task/32549/stat : 32549 (java) S 32536 32536 30846 0 -1 1077944384 6026 0 0 0 174 0 0 0 20 0 19 0 475163727 15787429888 289813 33554432000 4194304 4196468 140732362284832 139729617283568 139730748353154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32550] ppid=32536 vsize=15417412 memory=111632 CPUtime=0.68 cores=1,3,5,7
/proc/32538/task/32550/stat : 32550 (java) S 32536 32536 30846 0 -1 1077944384 4313 0 0 0 67 1 0 0 20 0 19 0 475163727 15787429888 289813 33554432000 4194304 4196468 140732362284832 139729616231280 139730748353154 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32551] ppid=32536 vsize=15417412 memory=808 CPUtime=0 cores=1,3,5,7
/proc/32538/task/32551/stat : 32551 (java) S 32536 32536 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475163727 15787429888 289813 33554432000 4194304 4196468 140732362284832 139729615178720 139730748352213 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32552] ppid=32536 vsize=15417412 memory=4100 CPUtime=0.09 cores=1,3,5,7
/proc/32538/task/32552/stat : 32552 (java) S 32536 32536 30846 0 -1 1077944384 837 0 0 0 9 0 0 0 20 0 19 0 475163727 15787429888 289813 33554432000 4194304 4196468 140732362284832 139729614125488 139730748353154 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32553] ppid=32536 vsize=15417412 memory=288230574492221466 CPUtime=365.42 cores=1,3,5,7
/proc/32538/task/32553/stat : 32553 (java) R 32536 32536 30846 0 -1 4202560 816 0 0 0 36541 1 0 0 20 0 19 0 475163828 15787429888 289813 33554432000 4194304 4196468 140732362284832 139729604905688 139730341380245 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32554] ppid=32536 vsize=15417412 memory=288230596050944315 CPUtime=365.89 cores=1,3,5,7
/proc/32538/task/32554/stat : 32554 (java) R 32536 32536 30846 0 -1 4202560 3245 0 0 0 36583 6 0 0 20 0 19 0 475163828 15787429888 289813 33554432000 4194304 4196468 140732362284832 139729603854400 139730341380733 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32555] ppid=32536 vsize=15417412 memory=13850793610578140 CPUtime=365.71 cores=1,3,5,7
/proc/32538/task/32555/stat : 32555 (java) R 32536 32536 30846 0 -1 4202560 834 0 0 0 36570 1 0 0 20 0 19 0 475163828 15787429888 289813 33554432000 4194304 4196468 140732362284832 139729602801568 139730341025551 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
[pid=32538/tid=32556] ppid=32536 vsize=15417412 memory=4126316290023845779 CPUtime=365.67 cores=1,3,5,7
/proc/32538/task/32556/stat : 32556 (java) R 32536 32536 30846 0 -1 4202560 3573 0 0 0 36560 7 0 0 20 0 19 0 475163828 15787429888 289813 33554432000 4194304 4196468 140732362284832 139729601751856 139730729748306 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20811776 140732362286063 140732362286234 140732362286234 140732362289103 0
Current children cumulated CPU time: 1469.06 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1160704 KiB
Child status: 0
Real time (s): 369.428
CPU time (s): 1469.14
CPU user time (s): 1468.5
CPU system time (s): 0.644526
CPU usage (%): 397.681
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 1161732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1468.5
system time used= 0.644526
maximum resident set size= 1163784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49116
page faults= 0
swaps= 0
block input operations= 0
block output operations= 520
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11569
involuntary context switches= 26646
# summary of solver processes directly reported to runsolver:
# pid: 32536
# total CPU time (s): 1469.14
# total CPU user time (s): 1468.5
# total CPU system time (s): 0.644526
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.28754 second user time and 4.24021 second system time
The end