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 (12737 MiB free)
memory of node 1: 16384 MiB (12000 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405809-1569412484/watcher-4405809-1569412484 -o /var/tmp/evaluation-result-4405809-1569412484/solver-4405809-1569412484 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1569392969-18884 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1694143276 HOME/instance-4405809-1569412484.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23832, runsolver pid=23829
[startup+0.100058 s]*
/proc/loadavg: 1.35 1.45 1.53 4/229 23848
/proc/meminfo: memFree=25316268/32770624 swapFree=66956964/67108860
[pid=23832] ppid=23829 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23832/stat : 23832 (xcsp3-exec) S 23829 23832 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517506108 115843072 364 33554432000 4194304 5098028 140734368688752 140734368686856 140123434300028 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30220288 140734368691030 140734368691289 140734368691289 140734368694214 0
/proc/23832/statm: 28282 364 305 221 0 87 0
[pid=23834] ppid=23832 vsize=15144776 memory=27600 CPUtime=0.12 cores=1,3,5,7
/proc/23834/stat : 23834 (java) S 23832 23832 18852 0 -1 1077944320 5849 0 0 0 11 1 0 0 20 0 15 0 517506108 15508250624 6900 33554432000 4194304 4196468 140723509676544 140723509659088 140210718183159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
/proc/23834/statm: 3786194 6900 3141 1 0 3748377 0
[pid=23834/tid=23835] ppid=23832 vsize=15144776 memory=-2698085374278620574 CPUtime=0.09 cores=1,3,5,7
/proc/23834/task/23835/stat : 23835 (java) R 23832 23832 18852 0 -1 4202560 3713 0 0 0 8 1 0 0 20 0 15 0 517506108 15508250624 6900 33554432000 4194304 4196468 140723509676544 140210722414304 140210718204506 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23836] ppid=23832 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23836/stat : 23836 (java) S 23832 23832 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517506109 15508250624 6900 33554432000 4194304 4196468 140723509676544 140210685741968 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23837] ppid=23832 vsize=15144776 memory=140420166903424 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23837/stat : 23837 (java) S 23832 23832 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517506109 15508250624 6900 33554432000 4194304 4196468 140723509676544 140210309098256 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23838] ppid=23832 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23838/stat : 23838 (java) S 23832 23832 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517506109 15508250624 6900 33554432000 4194304 4196468 140723509676544 140210308045968 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23839] ppid=23832 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23839/stat : 23839 (java) S 23832 23832 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517506109 15508250624 6900 33554432000 4194304 4196468 140723509676544 140210306993168 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23840] ppid=23832 vsize=15144776 memory=140420166903424 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23840/stat : 23840 (java) S 23832 23832 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517506110 15508250624 6900 33554432000 4194304 4196468 140723509676544 140210186270832 140210718194306 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23841] ppid=23832 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23841/stat : 23841 (java) S 23832 23832 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517506111 15508250624 6900 33554432000 4194304 4196468 140723509676544 140210185216800 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23842] ppid=23832 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23842/stat : 23842 (java) S 23832 23832 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517506111 15508250624 6900 33554432000 4194304 4196468 140723509676544 140210184164464 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23843] ppid=23832 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23843/stat : 23843 (java) S 23832 23832 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517506113 15508250624 6900 33554432000 4194304 4196468 140723509676544 140210183112784 140210718201755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23844] ppid=23832 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23844/stat : 23844 (java) R 23832 23832 18852 0 -1 4202560 357 0 0 0 0 0 0 0 20 0 15 0 517506113 15508250624 6900 33554432000 4194304 4196468 140723509676544 140210182059840 140210699706127 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23845] ppid=23832 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23845/stat : 23845 (java) R 23832 23832 18852 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 517506113 15508250624 6900 33554432000 4194304 4196468 140723509676544 140210181007952 140210718193365 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23846] ppid=23832 vsize=15144776 memory=140420166903424 CPUtime=0.01 cores=1,3,5,7
/proc/23834/task/23846/stat : 23846 (java) R 23832 23832 18852 0 -1 4202560 370 0 0 0 1 0 0 0 20 0 15 0 517506113 15508250624 6900 33554432000 4194304 4196468 140723509676544 140210179955568 140210696708523 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23847] ppid=23832 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23847/stat : 23847 (java) S 23832 23832 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517506114 15508250624 6900 33554432000 4194304 4196468 140723509676544 140210178903008 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23848] ppid=23832 vsize=15144776 memory=140420166903424 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23848/stat : 23848 (java) S 23832 23832 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517506114 15508250624 6900 33554432000 4194304 4196468 140723509676544 140210177849776 140210718194306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 29056 KiB
[startup+0.210785 s]*
/proc/loadavg: 1.35 1.45 1.53 3/229 23848
/proc/meminfo: memFree=25303028/32770624 swapFree=66956964/67108860
[pid=23832] ppid=23829 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23832/stat : 23832 (xcsp3-exec) S 23829 23832 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517506108 115843072 364 33554432000 4194304 5098028 140734368688752 140734368686856 140123434300028 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30220288 140734368691030 140734368691289 140734368691289 140734368694214 0
/proc/23832/statm: 28282 364 305 221 0 87 0
[pid=23834] ppid=23832 vsize=15144776 memory=38932 CPUtime=0.34 cores=1,3,5,7
/proc/23834/stat : 23834 (java) S 23832 23832 18852 0 -1 1077944320 9541 0 0 0 30 4 0 0 20 0 15 0 517506108 15508250624 9733 33554432000 4194304 4196468 140723509676544 140723509659088 140210718183159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
/proc/23834/statm: 3786194 9733 3275 1 0 3748377 0
[pid=23834/tid=23835] ppid=23832 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/23834/task/23835/stat : 23835 (java) R 23832 23832 18852 0 -1 4202560 6620 0 0 0 18 2 0 0 20 0 15 0 517506108 15508250624 9733 33554432000 4194304 4196468 140723509676544 140210722417280 140210718195094 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23836] ppid=23832 vsize=15144776 memory=1899191 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23836/stat : 23836 (java) S 23832 23832 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517506109 15508250624 9733 33554432000 4194304 4196468 140723509676544 140210685741968 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23837] ppid=23832 vsize=15144776 memory=288370796318615168 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23837/stat : 23837 (java) S 23832 23832 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517506109 15508250624 9733 33554432000 4194304 4196468 140723509676544 140210309098256 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23838] ppid=23832 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23838/stat : 23838 (java) S 23832 23832 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517506109 15508250624 9733 33554432000 4194304 4196468 140723509676544 140210308045968 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23839] ppid=23832 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23839/stat : 23839 (java) S 23832 23832 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517506109 15508250624 9733 33554432000 4194304 4196468 140723509676544 140210306993168 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23840] ppid=23832 vsize=15144776 memory=140420166903424 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23840/stat : 23840 (java) S 23832 23832 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517506110 15508250624 9733 33554432000 4194304 4196468 140723509676544 140210186270832 140210718194306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23841] ppid=23832 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23841/stat : 23841 (java) S 23832 23832 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517506111 15508250624 9733 33554432000 4194304 4196468 140723509676544 140210185216800 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23842] ppid=23832 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23842/stat : 23842 (java) S 23832 23832 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517506111 15508250624 9733 33554432000 4194304 4196468 140723509676544 140210184164464 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23843] ppid=23832 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23843/stat : 23843 (java) S 23832 23832 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517506113 15508250624 9733 33554432000 4194304 4196468 140723509676544 140210183112784 140210718201755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23844] ppid=23832 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23834/task/23844/stat : 23844 (java) S 23832 23832 18852 0 -1 1077944384 446 0 0 0 2 0 0 0 20 0 15 0 517506113 15508250624 9733 33554432000 4194304 4196468 140723509676544 140210182060656 140210718194306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23845] ppid=23832 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23834/task/23845/stat : 23845 (java) S 23832 23832 18852 0 -1 1077944384 245 0 0 0 2 0 0 0 20 0 15 0 517506113 15508250624 9733 33554432000 4194304 4196468 140723509676544 140210181007856 140210718194306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23846] ppid=23832 vsize=15144776 memory=140420166903424 CPUtime=0.07 cores=1,3,5,7
/proc/23834/task/23846/stat : 23846 (java) R 23832 23832 18852 0 -1 4202560 921 0 0 0 7 0 0 0 20 0 15 0 517506113 15508250624 9733 33554432000 4194304 4196468 140723509676544 140210179955568 140210697305144 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23847] ppid=23832 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23847/stat : 23847 (java) S 23832 23832 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517506114 15508250624 9733 33554432000 4194304 4196468 140723509676544 140210178903008 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23848] ppid=23832 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23848/stat : 23848 (java) S 23832 23832 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517506114 15508250624 9733 33554432000 4194304 4196468 140723509676544 140210177849776 140210718194306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 40388 KiB
[startup+0.313774 s]*
/proc/loadavg: 1.35 1.45 1.53 4/229 23848
/proc/meminfo: memFree=25295880/32770624 swapFree=66956964/67108860
[pid=23832] ppid=23829 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23832/stat : 23832 (xcsp3-exec) S 23829 23832 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517506108 115843072 364 33554432000 4194304 5098028 140734368688752 140734368686856 140123434300028 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30220288 140734368691030 140734368691289 140734368691289 140734368694214 0
/proc/23832/statm: 28282 364 305 221 0 87 0
[pid=23834] ppid=23832 vsize=15149032 memory=48900 CPUtime=0.53 cores=1,3,5,7
/proc/23834/stat : 23834 (java) S 23832 23832 18852 0 -1 1077944320 11099 0 0 0 49 4 0 0 20 0 15 0 517506108 15512608768 12225 33554432000 4194304 4196468 140723509676544 140723509659088 140210718183159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
/proc/23834/statm: 3787258 12225 3337 1 0 3748377 0
[pid=23834/tid=23835] ppid=23832 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/23834/task/23835/stat : 23835 (java) R 23832 23832 18852 0 -1 4202560 7786 0 0 0 27 3 0 0 20 0 15 0 517506108 15512608768 12225 33554432000 4194304 4196468 140723509676544 140210722414272 140210718205085 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23836] ppid=23832 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23836/stat : 23836 (java) S 23832 23832 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517506109 15512608768 12225 33554432000 4194304 4196468 140723509676544 140210685741968 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23837] ppid=23832 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23837/stat : 23837 (java) S 23832 23832 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517506109 15512608768 12225 33554432000 4194304 4196468 140723509676544 140210309098256 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23838] ppid=23832 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23838/stat : 23838 (java) S 23832 23832 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517506109 15512608768 12225 33554432000 4194304 4196468 140723509676544 140210308045968 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23839] ppid=23832 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23839/stat : 23839 (java) S 23832 23832 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517506109 15512608768 12225 33554432000 4194304 4196468 140723509676544 140210306993168 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23840] ppid=23832 vsize=15149032 memory=-7305852742256935071 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23840/stat : 23840 (java) S 23832 23832 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517506110 15512608768 12225 33554432000 4194304 4196468 140723509676544 140210186270832 140210718194306 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23841] ppid=23832 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23841/stat : 23841 (java) S 23832 23832 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517506111 15512608768 12225 33554432000 4194304 4196468 140723509676544 140210185216800 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23842] ppid=23832 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23842/stat : 23842 (java) S 23832 23832 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517506111 15512608768 12225 33554432000 4194304 4196468 140723509676544 140210184164464 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23843] ppid=23832 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23843/stat : 23843 (java) S 23832 23832 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517506113 15512608768 12225 33554432000 4194304 4196468 140723509676544 140210183112784 140210718201755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23844] ppid=23832 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/23834/task/23844/stat : 23844 (java) R 23832 23832 18852 0 -1 4202560 607 0 0 0 5 0 0 0 20 0 15 0 517506113 15512608768 12225 33554432000 4194304 4196468 140723509676544 140210182051040 140210699704610 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23845] ppid=23832 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/23834/task/23845/stat : 23845 (java) S 23832 23832 18852 0 -1 1077944384 262 0 0 0 3 0 0 0 20 0 15 0 517506113 15512608768 12225 33554432000 4194304 4196468 140723509676544 140210181007856 140210718194306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23846] ppid=23832 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23834/task/23846/stat : 23846 (java) S 23832 23832 18852 0 -1 1077944384 1146 0 0 0 12 0 0 0 20 0 15 0 517506113 15512608768 12225 33554432000 4194304 4196468 140723509676544 140210179955568 140210718194306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23847] ppid=23832 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23847/stat : 23847 (java) S 23832 23832 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517506114 15512608768 12225 33554432000 4194304 4196468 140723509676544 140210178903008 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23848] ppid=23832 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23848/stat : 23848 (java) S 23832 23832 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517506114 15512608768 12225 33554432000 4194304 4196468 140723509676544 140210177849776 140210718194306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50356 KiB
[startup+0.701336 s]
/proc/loadavg: 1.35 1.45 1.53 5/229 23848
/proc/meminfo: memFree=25272660/32770624 swapFree=66956964/67108860
[pid=23832] ppid=23829 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23832/stat : 23832 (xcsp3-exec) S 23829 23832 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517506108 115843072 364 33554432000 4194304 5098028 140734368688752 140734368686856 140123434300028 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30220288 140734368691030 140734368691289 140734368691289 140734368694214 0
/proc/23832/statm: 28282 364 305 221 0 87 0
[pid=23834] ppid=23832 vsize=15151156 memory=102236 CPUtime=1.76 cores=1,3,5,7
/proc/23834/stat : 23834 (java) S 23832 23832 18852 0 -1 1077944320 16610 0 0 0 170 6 0 0 20 0 15 0 517506108 15514783744 25559 33554432000 4194304 4196468 140723509676544 140723509659088 140210718183159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
/proc/23834/statm: 3787789 25559 3442 1 0 3748889 0
[pid=23834/tid=23835] ppid=23832 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/23834/task/23835/stat : 23835 (java) R 23832 23832 18852 0 -1 4202560 8994 0 0 0 64 4 0 0 20 0 15 0 517506108 15514783744 25559 33554432000 4194304 4196468 140723509676544 140210722418776 140210354148954 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23836] ppid=23832 vsize=15151156 memory=55496 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23836/stat : 23836 (java) S 23832 23832 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517506109 15514783744 25559 33554432000 4194304 4196468 140723509676544 140210685741968 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23837] ppid=23832 vsize=15151156 memory=984 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23837/stat : 23837 (java) S 23832 23832 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517506109 15514783744 25559 33554432000 4194304 4196468 140723509676544 140210309098256 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23838] ppid=23832 vsize=15151156 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23838/stat : 23838 (java) S 23832 23832 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517506109 15514783744 25559 33554432000 4194304 4196468 140723509676544 140210308045968 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23839] ppid=23832 vsize=15151156 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23839/stat : 23839 (java) S 23832 23832 18852 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517506109 15514783744 25559 33554432000 4194304 4196468 140723509676544 140210306993168 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23840] ppid=23832 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23840/stat : 23840 (java) S 23832 23832 18852 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517506110 15514783744 25559 33554432000 4194304 4196468 140723509676544 140210186270832 140210718194306 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23841] ppid=23832 vsize=15151156 memory=7552 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23841/stat : 23841 (java) S 23832 23832 18852 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517506111 15514783744 25559 33554432000 4194304 4196468 140723509676544 140210185216800 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23842] ppid=23832 vsize=15151156 memory=3608 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23842/stat : 23842 (java) S 23832 23832 18852 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517506111 15514783744 25559 33554432000 4194304 4196468 140723509676544 140210184164464 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23843] ppid=23832 vsize=15151156 memory=616 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23843/stat : 23843 (java) S 23832 23832 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517506113 15514783744 25559 33554432000 4194304 4196468 140723509676544 140210183112784 140210718201755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23844] ppid=23832 vsize=15151156 memory=2832 CPUtime=0.36 cores=1,3,5,7
/proc/23834/task/23844/stat : 23844 (java) R 23832 23832 18852 0 -1 4202560 2066 0 0 0 36 0 0 0 20 0 15 0 517506113 15514783744 25559 33554432000 4194304 4196468 140723509676544 140210182042248 140210701679947 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23845] ppid=23832 vsize=15151156 memory=1620 CPUtime=0.36 cores=1,3,5,7
/proc/23834/task/23845/stat : 23845 (java) R 23832 23832 18852 0 -1 4202560 1878 0 0 0 36 0 0 0 20 0 15 0 517506113 15514783744 25559 33554432000 4194304 4196468 140723509676544 140210180991328 140210701679947 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23846] ppid=23832 vsize=15151156 memory=1136 CPUtime=0.33 cores=1,3,5,7
/proc/23834/task/23846/stat : 23846 (java) S 23832 23832 18852 0 -1 1077944384 2363 0 0 0 33 0 0 0 20 0 15 0 517506113 15514783744 25559 33554432000 4194304 4196468 140723509676544 140210179955568 140210718194306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23847] ppid=23832 vsize=15151156 memory=1072 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23847/stat : 23847 (java) S 23832 23832 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517506114 15514783744 25559 33554432000 4194304 4196468 140723509676544 140210178903008 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23848] ppid=23832 vsize=15151156 memory=6212 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23848/stat : 23848 (java) S 23832 23832 18852 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517506114 15514783744 25559 33554432000 4194304 4196468 140723509676544 140210177849776 140210718194306 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 103692 KiB
[startup+1.50135 s]
/proc/loadavg: 1.35 1.45 1.53 3/229 23848
/proc/meminfo: memFree=25137760/32770624 swapFree=66956964/67108860
[pid=23832] ppid=23829 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23832/stat : 23832 (xcsp3-exec) S 23829 23832 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517506108 115843072 364 33554432000 4194304 5098028 140734368688752 140734368686856 140123434300028 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30220288 140734368691030 140734368691289 140734368691289 140734368694214 0
/proc/23832/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/23834/task/23841/stat : 23841 (java) S 23832 23832 18852 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 517506111 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210185216864 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23842] ppid=23832 vsize=15217720 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23842/stat : 23842 (java) S 23832 23832 18852 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 517506111 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210184164480 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23843] ppid=23832 vsize=15217720 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23843/stat : 23843 (java) S 23832 23832 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 517506113 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210183112784 140210718201755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23844] ppid=23832 vsize=15217720 memory=1456 CPUtime=1.56 cores=1,3,5,7
/proc/23834/task/23844/stat : 23844 (java) S 23832 23832 18852 0 -1 1077944384 8612 0 0 0 154 2 0 0 20 0 16 0 517506113 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210182060704 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23845] ppid=23832 vsize=15217720 memory=12688780 CPUtime=1.84 cores=1,3,5,7
/proc/23834/task/23845/stat : 23845 (java) S 23832 23832 18852 0 -1 1077944384 14249 0 0 0 182 2 0 0 20 0 16 0 517506113 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210181007904 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23846] ppid=23832 vsize=15217720 memory=1072 CPUtime=0.57 cores=1,3,5,7
/proc/23834/task/23846/stat : 23846 (java) S 23832 23832 18852 0 -1 1077944384 6586 0 0 0 55 2 0 0 20 0 16 0 517506113 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210179955328 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23847] ppid=23832 vsize=15217720 memory=6212 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23847/stat : 23847 (java) S 23832 23832 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 517506114 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210178903008 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23848] ppid=23832 vsize=15217720 memory=784 CPUtime=0.67 cores=1,3,5,7
/proc/23834/task/23848/stat : 23848 (java) S 23832 23832 18852 0 -1 1077944384 759 0 0 0 32 35 0 0 20 0 16 0 517506114 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210177849776 140210718194306 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=24022] ppid=23832 vsize=15217720 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/23834/task/24022/stat : 24022 (java) S 23832 23832 18852 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 517587027 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210168872000 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
Current children cumulated CPU time: 2430.6 s
Current children cumulated vsize: 15330848 KiB
Current children cumulated memory: 12690236 KiB
[startup+815.201 s]
/proc/loadavg: 4.50 4.01 2.84 3/229 24022
/proc/meminfo: memFree=13147440/32770624 swapFree=66956964/67108860
[pid=23832] ppid=23829 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23832/stat : 23832 (xcsp3-exec) S 23829 23832 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517506108 115843072 364 33554432000 4194304 5098028 140734368688752 140734368686856 140123434300028 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30220288 140734368691030 140734368691289 140734368691289 140734368694214 0
/proc/23832/statm: 28282 364 305 221 0 87 0
[pid=23834] ppid=23832 vsize=15217720 memory=12688780 CPUtime=2432.55 cores=1,3,5,7
/proc/23834/stat : 23834 (java) S 23832 23832 18852 0 -1 1077944320 667008 0 0 0 242348 907 0 0 20 0 16 0 517506108 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140723509659088 140210718183159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
/proc/23834/statm: 3804430 3172195 3506 1 0 3765530 0
[pid=23834/tid=23835] ppid=23832 vsize=15217720 memory=928 CPUtime=175.92 cores=1,3,5,7
/proc/23834/task/23835/stat : 23835 (java) S 23832 23832 18852 0 -1 1077944384 35871 0 0 0 17543 49 0 0 20 0 16 0 517506108 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210722423840 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23836] ppid=23832 vsize=15217720 memory=1772 CPUtime=539.84 cores=1,3,5,7
/proc/23834/task/23836/stat : 23836 (java) S 23832 23832 18852 0 -1 1077944384 122718 0 0 0 53782 202 0 0 20 0 16 0 517506109 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210685741968 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23837] ppid=23832 vsize=15217720 memory=900 CPUtime=538.75 cores=1,3,5,7
/proc/23834/task/23837/stat : 23837 (java) S 23832 23832 18852 0 -1 1077944384 158233 0 0 0 53658 217 0 0 20 0 16 0 517506109 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210309098256 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23838] ppid=23832 vsize=15217720 memory=1444 CPUtime=540.32 cores=1,3,5,7
/proc/23834/task/23838/stat : 23838 (java) S 23832 23832 18852 0 -1 1077944384 80331 0 0 0 53822 210 0 0 20 0 16 0 517506109 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210308045968 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23839] ppid=23832 vsize=15217720 memory=1976 CPUtime=538.98 cores=1,3,5,7
/proc/23834/task/23839/stat : 23839 (java) S 23832 23832 18852 0 -1 1077944384 84058 0 0 0 53698 200 0 0 20 0 16 0 517506109 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210306993168 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23840] ppid=23832 vsize=15217720 memory=1456 CPUtime=94 cores=1,3,5,7
/proc/23834/task/23840/stat : 23840 (java) R 23832 23832 18852 0 -1 4202560 154228 0 0 0 9389 11 0 0 20 0 16 0 517506110 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210186269264 140210703179556 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23841] ppid=23832 vsize=15217720 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23841/stat : 23841 (java) S 23832 23832 18852 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 517506111 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210185216864 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23842] ppid=23832 vsize=15217720 memory=55532 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23842/stat : 23842 (java) S 23832 23832 18852 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 517506111 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210184164480 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23843] ppid=23832 vsize=15217720 memory=984 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23843/stat : 23843 (java) S 23832 23832 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 517506113 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210183112784 140210718201755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23844] ppid=23832 vsize=15217720 memory=2016 CPUtime=1.56 cores=1,3,5,7
/proc/23834/task/23844/stat : 23844 (java) S 23832 23832 18852 0 -1 1077944384 8612 0 0 0 154 2 0 0 20 0 16 0 517506113 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210182060704 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23845] ppid=23832 vsize=15217720 memory=1408 CPUtime=1.84 cores=1,3,5,7
/proc/23834/task/23845/stat : 23845 (java) S 23832 23832 18852 0 -1 1077944384 14249 0 0 0 182 2 0 0 20 0 16 0 517506113 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210181007904 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23846] ppid=23832 vsize=15217720 memory=1548 CPUtime=0.57 cores=1,3,5,7
/proc/23834/task/23846/stat : 23846 (java) S 23832 23832 18852 0 -1 1077944384 6586 0 0 0 55 2 0 0 20 0 16 0 517506113 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210179955328 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23847] ppid=23832 vsize=15217720 memory=6212 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23847/stat : 23847 (java) S 23832 23832 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 517506114 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210178903008 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23848] ppid=23832 vsize=15217720 memory=784 CPUtime=0.67 cores=1,3,5,7
/proc/23834/task/23848/stat : 23848 (java) S 23832 23832 18852 0 -1 1077944384 759 0 0 0 32 35 0 0 20 0 16 0 517506114 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210177849776 140210718194306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=24022] ppid=23832 vsize=15217720 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/23834/task/24022/stat : 24022 (java) S 23832 23832 18852 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 517587027 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210168872000 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
Current children cumulated CPU time: 2432.55 s
Current children cumulated vsize: 15330848 KiB
Current children cumulated memory: 12690236 KiB
[startup+816.001 s]*
/proc/loadavg: 4.50 4.01 2.84 3/229 24023
/proc/meminfo: memFree=13147136/32770624 swapFree=66956964/67108860
[pid=23832] ppid=23829 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23832/stat : 23832 (xcsp3-exec) S 23829 23832 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517506108 115843072 364 33554432000 4194304 5098028 140734368688752 140734368686856 140123434300028 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30220288 140734368691030 140734368691289 140734368691289 140734368694214 0
/proc/23832/statm: 28282 364 305 221 0 87 0
[pid=23834] ppid=23832 vsize=15217720 memory=12688780 CPUtime=2433.35 cores=1,3,5,7
/proc/23834/stat : 23834 (java) S 23832 23832 18852 0 -1 1077944320 667142 0 0 0 242428 907 0 0 20 0 16 0 517506108 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140723509659088 140210718183159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
/proc/23834/statm: 3804430 3172195 3506 1 0 3765530 0
[pid=23834/tid=23835] ppid=23832 vsize=15217720 memory=516 CPUtime=175.92 cores=1,3,5,7
/proc/23834/task/23835/stat : 23835 (java) S 23832 23832 18852 0 -1 1077944384 35871 0 0 0 17543 49 0 0 20 0 16 0 517506108 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210722423840 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23836] ppid=23832 vsize=15217720 memory=4872558044660077418 CPUtime=539.84 cores=1,3,5,7
/proc/23834/task/23836/stat : 23836 (java) S 23832 23832 18852 0 -1 1077944384 122718 0 0 0 53782 202 0 0 20 0 16 0 517506109 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210685741968 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23837] ppid=23832 vsize=15217720 memory=7379548634421411940 CPUtime=538.75 cores=1,3,5,7
/proc/23834/task/23837/stat : 23837 (java) S 23832 23832 18852 0 -1 1077944384 158233 0 0 0 53658 217 0 0 20 0 16 0 517506109 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210309098256 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23838] ppid=23832 vsize=15217720 memory=-6812210783619891858 CPUtime=540.32 cores=1,3,5,7
/proc/23834/task/23838/stat : 23838 (java) S 23832 23832 18852 0 -1 1077944384 80331 0 0 0 53822 210 0 0 20 0 16 0 517506109 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210308045968 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23839] ppid=23832 vsize=15217720 memory=7378394147128503910 CPUtime=538.98 cores=1,3,5,7
/proc/23834/task/23839/stat : 23839 (java) S 23832 23832 18852 0 -1 1077944384 84058 0 0 0 53698 200 0 0 20 0 16 0 517506109 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210306993168 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23840] ppid=23832 vsize=15217720 memory=8099842021451918437 CPUtime=94.81 cores=1,3,5,7
/proc/23834/task/23840/stat : 23840 (java) R 23832 23832 18852 0 -1 4202560 154362 0 0 0 9470 11 0 0 20 0 16 0 517506110 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210186269264 140210703179563 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23841] ppid=23832 vsize=15217720 memory=7013625692791857773 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23841/stat : 23841 (java) S 23832 23832 18852 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 517506111 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210185216864 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23842] ppid=23832 vsize=15217720 memory=6443925850439640420 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23842/stat : 23842 (java) S 23832 23832 18852 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 517506111 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210184164480 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23843] ppid=23832 vsize=15217720 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23843/stat : 23843 (java) S 23832 23832 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 517506113 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210183112784 140210718201755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23844] ppid=23832 vsize=15217720 memory=916 CPUtime=1.56 cores=1,3,5,7
/proc/23834/task/23844/stat : 23844 (java) S 23832 23832 18852 0 -1 1077944384 8612 0 0 0 154 2 0 0 20 0 16 0 517506113 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210182060704 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23845] ppid=23832 vsize=15217720 memory=3848 CPUtime=1.84 cores=1,3,5,7
/proc/23834/task/23845/stat : 23845 (java) S 23832 23832 18852 0 -1 1077944384 14249 0 0 0 182 2 0 0 20 0 16 0 517506113 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210181007904 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23846] ppid=23832 vsize=15217720 memory=2596 CPUtime=0.57 cores=1,3,5,7
/proc/23834/task/23846/stat : 23846 (java) S 23832 23832 18852 0 -1 1077944384 6586 0 0 0 55 2 0 0 20 0 16 0 517506113 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210179955328 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23847] ppid=23832 vsize=15217720 memory=2596 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23847/stat : 23847 (java) S 23832 23832 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 517506114 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210178903008 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23848] ppid=23832 vsize=15217720 memory=4100 CPUtime=0.67 cores=1,3,5,7
/proc/23834/task/23848/stat : 23848 (java) S 23832 23832 18852 0 -1 1077944384 759 0 0 0 32 35 0 0 20 0 16 0 517506114 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210177849776 140210718194306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=24022] ppid=23832 vsize=15217720 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/23834/task/24022/stat : 24022 (java) S 23832 23832 18852 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 517587027 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210168872000 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
Current children cumulated CPU time: 2433.35 s
Current children cumulated vsize: 15330848 KiB
Current children cumulated memory: 12690236 KiB
[startup+816.401 s]
/proc/loadavg: 4.50 4.01 2.84 3/229 24023
/proc/meminfo: memFree=13147136/32770624 swapFree=66956964/67108860
[pid=23832] ppid=23829 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23832/stat : 23832 (xcsp3-exec) S 23829 23832 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517506108 115843072 364 33554432000 4194304 5098028 140734368688752 140734368686856 140123434300028 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30220288 140734368691030 140734368691289 140734368691289 140734368694214 0
/proc/23832/statm: 28282 364 305 221 0 87 0
[pid=23834] ppid=23832 vsize=15217720 memory=12688780 CPUtime=2433.75 cores=1,3,5,7
/proc/23834/stat : 23834 (java) S 23832 23832 18852 0 -1 1077944320 667142 0 0 0 242468 907 0 0 20 0 16 0 517506108 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140723509659088 140210718183159 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
/proc/23834/statm: 3804430 3172195 3506 1 0 3765530 0
[pid=23834/tid=23835] ppid=23832 vsize=15217720 memory=6791534058613427641 CPUtime=175.92 cores=1,3,5,7
/proc/23834/task/23835/stat : 23835 (java) S 23832 23832 18852 0 -1 1077944384 35871 0 0 0 17543 49 0 0 20 0 16 0 517506108 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210722423840 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23836] ppid=23832 vsize=15217720 memory=1072 CPUtime=539.84 cores=1,3,5,7
/proc/23834/task/23836/stat : 23836 (java) S 23832 23832 18852 0 -1 1077944384 122718 0 0 0 53782 202 0 0 20 0 16 0 517506109 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210685741968 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23837] ppid=23832 vsize=15217720 memory=6212 CPUtime=538.75 cores=1,3,5,7
/proc/23834/task/23837/stat : 23837 (java) S 23832 23832 18852 0 -1 1077944384 158233 0 0 0 53658 217 0 0 20 0 16 0 517506109 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210309098256 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23838] ppid=23832 vsize=15217720 memory=784 CPUtime=540.32 cores=1,3,5,7
/proc/23834/task/23838/stat : 23838 (java) S 23832 23832 18852 0 -1 1077944384 80331 0 0 0 53822 210 0 0 20 0 16 0 517506109 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210308045968 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23839] ppid=23832 vsize=15217720 memory=1060 CPUtime=538.98 cores=1,3,5,7
/proc/23834/task/23839/stat : 23839 (java) S 23832 23832 18852 0 -1 1077944384 84058 0 0 0 53698 200 0 0 20 0 16 0 517506109 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210306993168 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23840] ppid=23832 vsize=15217720 memory=14012 CPUtime=95.2 cores=1,3,5,7
/proc/23834/task/23840/stat : 23840 (java) R 23832 23832 18852 0 -1 4202560 154362 0 0 0 9509 11 0 0 20 0 16 0 517506110 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210186269264 140210703179563 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23841] ppid=23832 vsize=15217720 memory=12688780 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23841/stat : 23841 (java) S 23832 23832 18852 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 16 0 517506111 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210185216864 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23842] ppid=23832 vsize=15217720 memory=7552 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23842/stat : 23842 (java) S 23832 23832 18852 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 16 0 517506111 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210184164480 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23843] ppid=23832 vsize=15217720 memory=3608 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23843/stat : 23843 (java) S 23832 23832 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 517506113 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210183112784 140210718201755 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23844] ppid=23832 vsize=15217720 memory=616 CPUtime=1.56 cores=1,3,5,7
/proc/23834/task/23844/stat : 23844 (java) S 23832 23832 18852 0 -1 1077944384 8612 0 0 0 154 2 0 0 20 0 16 0 517506113 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210182060704 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23845] ppid=23832 vsize=15217720 memory=2832 CPUtime=1.84 cores=1,3,5,7
/proc/23834/task/23845/stat : 23845 (java) S 23832 23832 18852 0 -1 1077944384 14249 0 0 0 182 2 0 0 20 0 16 0 517506113 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210181007904 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23846] ppid=23832 vsize=15217720 memory=1620 CPUtime=0.57 cores=1,3,5,7
/proc/23834/task/23846/stat : 23846 (java) S 23832 23832 18852 0 -1 1077944384 6586 0 0 0 55 2 0 0 20 0 16 0 517506113 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210179955328 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23847] ppid=23832 vsize=15217720 memory=1136 CPUtime=0 cores=1,3,5,7
/proc/23834/task/23847/stat : 23847 (java) S 23832 23832 18852 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 517506114 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210178903008 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=23848] ppid=23832 vsize=15217720 memory=1072 CPUtime=0.67 cores=1,3,5,7
/proc/23834/task/23848/stat : 23848 (java) S 23832 23832 18852 0 -1 1077944384 759 0 0 0 32 35 0 0 20 0 16 0 517506114 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210177849776 140210718194306 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
[pid=23834/tid=24022] ppid=23832 vsize=15217720 memory=7552 CPUtime=0 cores=1,3,5,7
/proc/23834/task/24022/stat : 24022 (java) S 23832 23832 18852 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 16 0 517587027 15582945280 3172195 33554432000 4194304 4196468 140723509676544 140210168872000 140210718193365 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32391168 140723509679067 140723509679242 140723509679242 140723509682127 0
Current children cumulated CPU time: 2433.75 s
Current children cumulated vsize: 15330848 KiB
Current children cumulated memory: 12690236 KiB
[startup+816.501 s]
/proc/loadavg: 4.50 4.01 2.84 3/229 24023
/proc/meminfo: memFree=13147136/32770624 swapFree=66956964/67108860
[pid=23832] ppid=23829 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/23832/stat : 23832 (xcsp3-exec) S 23829 23832 18852 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517506108 115843072 364 33554432000 4194304 5098028 140734368688752 140734368686856 140123434300028 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 30220288 140734368691030 140734368691289 140734368691289 140734368694214 0
/proc/23832/statm: 28282 364 305 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1456 KiB
Child status: 1
Real time (s): 816.536
CPU time (s): 2433.9
CPU user time (s): 2424.77
CPU system time (s): 9.12863
CPU usage (%): 298.076
Max. virtual memory (cumulated for all children) (KiB): 15330848
Max. memory (cumulated for all children) (KiB): 12690236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2424.77
system time used= 9.12863
maximum resident set size= 12689152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 667770
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35113
involuntary context switches= 23585
# summary of solver processes directly reported to runsolver:
# pid: 23832
# total CPU time (s): 2433.9
# total CPU user time (s): 2424.77
# total CPU system time (s): 9.12863
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.27939 second user time and 8.46105 second system time
The end