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 (14454 MiB free)
memory of node 1: 16384 MiB (15447 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281939-1503114769/watcher-4281939-1503114769 -o /tmp/evaluation-result-4281939-1503114769/solver-4281939-1503114769 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503095799-28951 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1385007708 HOME/instance-4281939-1503114769.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=32181, runsolver pid=32178
Current StackSize limit: 8192 KiB
[startup+0.100218 s]*
/proc/loadavg: 2.00 2.02 2.01 2/198 32184
/proc/meminfo: memFree=30615952/32770624 swapFree=67108860/67108860
[pid=32181] ppid=32178 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32181/stat : 32181 (xcsp3-exec) S 32178 32181 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113669975 9740288 345 18446744073709551615 4194304 5098028 140721850410896 140721850409000 139822627418748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 31604736 140721850417528 140721850417733 140721850417733 140721850421227 0
/proc/32181/statm: 2378 345 289 221 0 87 0
[pid=32183] ppid=32181 vsize=13358712 memory=14108 CPUtime=0 cores=1,3,5,7
/proc/32183/stat : 32183 (java) S 32181 32181 28892 0 -1 1077944320 3320 0 0 0 0 0 0 0 20 0 6 0 113669984 13679321088 3527 18446744073709551615 4194304 4196468 140723644906832 140723644889376 140014859325175 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
/proc/32183/statm: 3339678 3527 1892 1 0 3329175 0
[pid=32183/tid=32184] ppid=32181 vsize=13358712 memory=-8713483618642852700 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32184/stat : 32184 (java) R 32181 32181 28892 0 -1 4202560 2083 0 0 0 0 0 0 0 20 0 6 0 113669985 13679321088 3527 18446744073709551615 4194304 4196468 140723644906832 140014863561296 140014845007701 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32185] ppid=32181 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32185/stat : 32185 (java) S 32181 32181 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 113669985 13679321088 3527 18446744073709551615 4194304 4196468 140723644906832 140014459205904 140014859335381 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32186] ppid=32181 vsize=13358712 memory=139798498047616 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32186/stat : 32186 (java) S 32181 32181 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 113669985 13679321088 3527 18446744073709551615 4194304 4196468 140723644906832 140014458153360 140014859335381 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32187] ppid=32181 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32187/stat : 32187 (java) S 32181 32181 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 113669985 13679321088 3527 18446744073709551615 4194304 4196468 140723644906832 140014457100816 140014859335381 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32188] ppid=32181 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32188/stat : 32188 (java) S 32181 32181 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 113669985 13679321088 3527 18446744073709551615 4194304 4196468 140723644906832 140014456048272 140014859335381 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15488 KiB
[startup+0.209918 s]*
/proc/loadavg: 2.00 2.02 2.01 4/211 32197
/proc/meminfo: memFree=30604660/32770624 swapFree=67108860/67108860
[pid=32181] ppid=32178 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32181/stat : 32181 (xcsp3-exec) S 32178 32181 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113669975 9740288 345 18446744073709551615 4194304 5098028 140721850410896 140721850409000 139822627418748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 31604736 140721850417528 140721850417733 140721850417733 140721850421227 0
/proc/32181/statm: 2378 345 289 221 0 87 0
[pid=32183] ppid=32181 vsize=13974352 memory=28012 CPUtime=0.09 cores=1,3,5,7
/proc/32183/stat : 32183 (java) S 32181 32181 28892 0 -1 1077944320 5401 0 0 0 8 1 0 0 20 0 15 0 113669984 14309736448 7003 18446744073709551615 4194304 4196468 140723644906832 140723644889376 140014859325175 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
/proc/32183/statm: 3493588 7003 2751 1 0 3482964 0
[pid=32183/tid=32184] ppid=32181 vsize=13974352 memory=7311146985107750967 CPUtime=0.07 cores=1,3,5,7
/proc/32183/task/32184/stat : 32184 (java) R 32181 32181 28892 0 -1 4202560 3545 0 0 0 7 0 0 0 20 0 15 0 113669985 14309736448 7003 18446744073709551615 4194304 4196468 140723644906832 140014863538352 140014859347101 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32185] ppid=32181 vsize=13974352 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32185/stat : 32185 (java) S 32181 32181 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113669985 14309736448 7003 18446744073709551615 4194304 4196468 140723644906832 140014459205904 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32186] ppid=32181 vsize=13974352 memory=3904820290413459104 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32186/stat : 32186 (java) S 32181 32181 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113669985 14309736448 7003 18446744073709551615 4194304 4196468 140723644906832 140014458153360 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32187] ppid=32181 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32187/stat : 32187 (java) S 32181 32181 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113669985 14309736448 7003 18446744073709551615 4194304 4196468 140723644906832 140014457100816 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32188] ppid=32181 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32188/stat : 32188 (java) S 32181 32181 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113669985 14309736448 7003 18446744073709551615 4194304 4196468 140723644906832 140014456048272 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32189] ppid=32181 vsize=13974352 memory=139798498047616 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32189/stat : 32189 (java) S 32181 32181 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113669987 14309736448 7003 18446744073709551615 4194304 4196468 140723644906832 140014405003760 140014859336322 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32190] ppid=32181 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32190/stat : 32190 (java) S 32181 32181 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113669987 14309736448 7003 18446744073709551615 4194304 4196468 140723644906832 140014403949984 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32191] ppid=32181 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32191/stat : 32191 (java) S 32181 32181 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113669987 14309736448 7003 18446744073709551615 4194304 4196468 140723644906832 140014402897392 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32192] ppid=32181 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32192/stat : 32192 (java) S 32181 32181 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113669990 14309736448 7003 18446744073709551615 4194304 4196468 140723644906832 140014401845968 140014859343771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32193] ppid=32181 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32193/stat : 32193 (java) S 32181 32181 28892 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 113669990 14309736448 7003 18446744073709551615 4194304 4196468 140723644906832 140014400792560 140014859336322 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32194] ppid=32181 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32194/stat : 32194 (java) S 32181 32181 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113669990 14309736448 7003 18446744073709551615 4194304 4196468 140723644906832 140014399740016 140014859336322 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32195] ppid=32181 vsize=13974352 memory=139798498047616 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32195/stat : 32195 (java) R 32181 32181 28892 0 -1 4202560 244 0 0 0 0 0 0 0 20 0 15 0 113669990 14309736448 7003 18446744073709551615 4194304 4196468 140723644906832 140014398687472 140014852042327 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32196] ppid=32181 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32196/stat : 32196 (java) S 32181 32181 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113669990 14309736448 7003 18446744073709551615 4194304 4196468 140723644906832 140014397635168 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32197] ppid=32181 vsize=13974352 memory=139798498047616 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32197/stat : 32197 (java) S 32181 32181 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113669994 14309736448 7003 18446744073709551615 4194304 4196468 140723644906832 140014396582704 140014859336322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29392 KiB
[startup+0.312488 s]*
/proc/loadavg: 2.00 2.02 2.01 4/211 32197
/proc/meminfo: memFree=30591204/32770624 swapFree=67108860/67108860
[pid=32181] ppid=32178 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32181/stat : 32181 (xcsp3-exec) S 32178 32181 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113669975 9740288 345 18446744073709551615 4194304 5098028 140721850410896 140721850409000 139822627418748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 31604736 140721850417528 140721850417733 140721850417733 140721850421227 0
/proc/32181/statm: 2378 345 289 221 0 87 0
[pid=32183] ppid=32181 vsize=13974352 memory=37388 CPUtime=0.28 cores=1,3,5,7
/proc/32183/stat : 32183 (java) S 32181 32181 28892 0 -1 1077944320 8981 0 0 0 26 2 0 0 20 0 15 0 113669984 14309736448 9347 18446744073709551615 4194304 4196468 140723644906832 140723644889376 140014859325175 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
/proc/32183/statm: 3493588 9347 2955 1 0 3482964 0
[pid=32183/tid=32184] ppid=32181 vsize=13974352 memory=-8774313645642428999 CPUtime=0.17 cores=1,3,5,7
/proc/32183/task/32184/stat : 32184 (java) R 32181 32181 28892 0 -1 4202560 6168 0 0 0 16 1 0 0 20 0 15 0 113669985 14309736448 9347 18446744073709551615 4194304 4196468 140723644906832 140014863562336 140014474319150 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32185] ppid=32181 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32185/stat : 32185 (java) S 32181 32181 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113669985 14309736448 9347 18446744073709551615 4194304 4196468 140723644906832 140014459205904 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32186] ppid=32181 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32186/stat : 32186 (java) S 32181 32181 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113669985 14309736448 9347 18446744073709551615 4194304 4196468 140723644906832 140014458153360 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32187] ppid=32181 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32187/stat : 32187 (java) S 32181 32181 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113669985 14309736448 9347 18446744073709551615 4194304 4196468 140723644906832 140014457100816 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32188] ppid=32181 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32188/stat : 32188 (java) S 32181 32181 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113669985 14309736448 9347 18446744073709551615 4194304 4196468 140723644906832 140014456048272 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32189] ppid=32181 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32189/stat : 32189 (java) S 32181 32181 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113669987 14309736448 9347 18446744073709551615 4194304 4196468 140723644906832 140014405003760 140014859336322 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32190] ppid=32181 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32190/stat : 32190 (java) S 32181 32181 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113669987 14309736448 9347 18446744073709551615 4194304 4196468 140723644906832 140014403949984 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32191] ppid=32181 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32191/stat : 32191 (java) S 32181 32181 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113669987 14309736448 9347 18446744073709551615 4194304 4196468 140723644906832 140014402897392 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32192] ppid=32181 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32192/stat : 32192 (java) S 32181 32181 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113669990 14309736448 9347 18446744073709551615 4194304 4196468 140723644906832 140014401845968 140014859343771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32193] ppid=32181 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/32183/task/32193/stat : 32193 (java) R 32181 32181 28892 0 -1 1077944384 439 0 0 0 1 0 0 0 20 0 15 0 113669990 14309736448 9347 18446744073709551615 4194304 4196468 140723644906832 140014400792560 140014859336322 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32194] ppid=32181 vsize=13974352 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/32183/task/32194/stat : 32194 (java) R 32181 32181 28892 0 -1 4202560 324 0 0 0 2 0 0 0 20 0 15 0 113669990 14309736448 9347 18446744073709551615 4194304 4196468 140723644906832 140014399740016 140014845339496 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32195] ppid=32181 vsize=13974352 memory=139798498047616 CPUtime=0.06 cores=1,3,5,7
/proc/32183/task/32195/stat : 32195 (java) R 32181 32181 28892 0 -1 4202560 743 0 0 0 6 0 0 0 20 0 15 0 113669990 14309736448 9347 18446744073709551615 4194304 4196468 140723644906832 140014398687472 140014851562302 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32196] ppid=32181 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32196/stat : 32196 (java) S 32181 32181 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113669990 14309736448 9347 18446744073709551615 4194304 4196468 140723644906832 140014397635168 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32197] ppid=32181 vsize=13974352 memory=139798498047616 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32197/stat : 32197 (java) S 32181 32181 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113669994 14309736448 9347 18446744073709551615 4194304 4196468 140723644906832 140014396582704 140014859336322 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38768 KiB
[startup+0.700827 s]
/proc/loadavg: 2.00 2.02 2.01 4/211 32197
/proc/meminfo: memFree=30580784/32770624 swapFree=67108860/67108860
[pid=32181] ppid=32178 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32181/stat : 32181 (xcsp3-exec) S 32178 32181 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113669975 9740288 345 18446744073709551615 4194304 5098028 140721850410896 140721850409000 139822627418748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 31604736 140721850417528 140721850417733 140721850417733 140721850421227 0
/proc/32181/statm: 2378 345 289 221 0 87 0
[pid=32183] ppid=32181 vsize=13980732 memory=66032 CPUtime=1.17 cores=1,3,5,7
/proc/32183/stat : 32183 (java) S 32181 32181 28892 0 -1 1077944320 11719 0 0 0 112 5 0 0 20 0 15 0 113669984 14316269568 16508 18446744073709551615 4194304 4196468 140723644906832 140723644889376 140014859325175 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
/proc/32183/statm: 3495183 16508 3159 1 0 3483476 0
[pid=32183/tid=32184] ppid=32181 vsize=13980732 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/32183/task/32184/stat : 32184 (java) R 32181 32181 28892 0 -1 4202560 8005 0 0 0 52 3 0 0 20 0 15 0 113669985 14316269568 16508 18446744073709551615 4194304 4196468 140723644906832 140014863562880 140014477846028 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32185] ppid=32181 vsize=13980732 memory=139798367054833 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32185/stat : 32185 (java) S 32181 32181 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113669985 14316269568 16508 18446744073709551615 4194304 4196468 140723644906832 140014459205904 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32186] ppid=32181 vsize=13980732 memory=279596734423200 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32186/stat : 32186 (java) S 32181 32181 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113669985 14316269568 16508 18446744073709551615 4194304 4196468 140723644906832 140014458153360 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32187] ppid=32181 vsize=13980732 memory=3472463695739930231 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32187/stat : 32187 (java) S 32181 32181 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113669985 14316269568 16508 18446744073709551615 4194304 4196468 140723644906832 140014457100816 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32188] ppid=32181 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32188/stat : 32188 (java) S 32181 32181 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113669985 14316269568 16508 18446744073709551615 4194304 4196468 140723644906832 140014456048272 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32189] ppid=32181 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32189/stat : 32189 (java) S 32181 32181 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 113669987 14316269568 16508 18446744073709551615 4194304 4196468 140723644906832 140014405003760 140014859336322 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32190] ppid=32181 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32190/stat : 32190 (java) S 32181 32181 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113669987 14316269568 16508 18446744073709551615 4194304 4196468 140723644906832 140014403949984 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32191] ppid=32181 vsize=13980732 memory=513 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32191/stat : 32191 (java) S 32181 32181 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113669987 14316269568 16508 18446744073709551615 4194304 4196468 140723644906832 140014402897392 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32192] ppid=32181 vsize=13980732 memory=1449 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32192/stat : 32192 (java) S 32181 32181 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113669990 14316269568 16508 18446744073709551615 4194304 4196468 140723644906832 140014401845968 140014859343771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32193] ppid=32181 vsize=13980732 memory=99 CPUtime=0.15 cores=1,3,5,7
/proc/32183/task/32193/stat : 32193 (java) R 32181 32181 28892 0 -1 4202560 638 0 0 0 15 0 0 0 20 0 15 0 113669990 14316269568 16508 18446744073709551615 4194304 4196468 140723644906832 140014400792560 140014842822014 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32194] ppid=32181 vsize=13980732 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/32183/task/32194/stat : 32194 (java) S 32181 32181 28892 0 -1 1077944384 547 0 0 0 16 0 0 0 20 0 15 0 113669990 14316269568 16508 18446744073709551615 4194304 4196468 140723644906832 140014399740016 140014859336322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32195] ppid=32181 vsize=13980732 memory=187 CPUtime=0.28 cores=1,3,5,7
/proc/32183/task/32195/stat : 32195 (java) R 32181 32181 28892 0 -1 4202560 1219 0 0 0 28 0 0 0 20 0 15 0 113669990 14316269568 16508 18446744073709551615 4194304 4196468 140723644906832 140014398687472 140014839039990 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32196] ppid=32181 vsize=13980732 memory=375 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32196/stat : 32196 (java) S 32181 32181 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113669990 14316269568 16508 18446744073709551615 4194304 4196468 140723644906832 140014397635168 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32197] ppid=32181 vsize=13980732 memory=7 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32197/stat : 32197 (java) S 32181 32181 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113669994 14316269568 16508 18446744073709551615 4194304 4196468 140723644906832 140014396582704 140014859336322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 67412 KiB
[startup+1.50085 s]
/proc/loadavg: 2.00 2.02 2.01 4/211 32197
/proc/meminfo: memFree=30549044/32770624 swapFree=67108860/67108860
[pid=32181] ppid=32178 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32181/stat : 32181 (xcsp3-exec) S 32178 32181 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113669975 9740288 345 18446744073709551615 4194304 5098028 140721850410896 140721850409000 139822627418748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 31604736 140721850417528 140721850417733 140721850417733 140721850421227 0
/proc/32181/statm: 2378 345 289 221 0 87 0
[pid=32183] ppid=32181 vsize=13980732 memory=87052 CPUtime=3.07 cores=1,3,5,7
/proc/32183/stat : 32183 (java) S 32181 32181 28892 0 -1 1077944320 17946 0 0 0 301 6 0 0 20 0 15 0 113669984 14316269568 21763 18446744073709551615 4194304 4196468 140723644906832 140723644889376 140014859325175 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
/proc/32183/statm: 3495183 21763 3189 1 0 3483476 0
[pid=32183/tid=32184] ppid=32181 vsize=13980732 memory=0 CPUtime=1.35 cores=1,3,5,7
/proc/32183/task/32184/stat : 32184 (java) R 32181 32181 28892 0 -1 4202560 8684 0 0 0 131 4 0 0 20 0 15 0 113669985 14316269568 21763 18446744073709551615 4194304 4196468 140723644906832 140014863559696 140014478972815 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32185] ppid=32181 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32185/stat : 32185 (java) S 32181 32181 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113669985 14316269568 21763 18446744073709551615 4194304 4196468 140723644906832 140014459205904 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32186] ppid=32181 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32186/stat : 32186 (java) S 32181 32181 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113669985 14316269568 21763 18446744073709551615 4194304 4196468 140723644906832 140014458153360 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32187] ppid=32181 vsize=13980732 memory=1399103955520229747 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32187/stat : 32187 (java) S 32181 32181 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113669985 14316269568 21763 18446744073709551615 4194304 4196468 140723644906832 140014457100816 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32188] ppid=32181 vsize=13980732 memory=279596733901056 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32188/stat : 32188 (java) S 32181 32181 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113669985 14316269568 21763 18446744073709551615 4194304 4196468 140723644906832 140014456048272 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32189] ppid=32181 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32189/stat : 32189 (java) S 32181 32181 28892 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 113669987 14316269568 21763 18446744073709551615 4194304 4196468 140723644906832 140014405003760 140014859336322 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32190] ppid=32181 vsize=13980732 memory=279596733828232 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32190/stat : 32190 (java) S 32181 32181 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113669987 14316269568 21763 18446744073709551615 4194304 4196468 140723644906832 140014403949984 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32191] ppid=32181 vsize=13980732 memory=279596734081376 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=32183/tid=32189] ppid=32181 vsize=13980732 memory=161064 CPUtime=0.17 cores=1,3,5,7
/proc/32183/task/32189/stat : 32189 (java) S 32181 32181 28892 0 -1 1077944384 3226 0 0 0 14 3 0 0 20 0 15 0 113669987 14316269568 40266 18446744073709551615 4194304 4196468 140723644906832 140014405003760 140014859336322 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32190] ppid=32181 vsize=13980732 memory=161064 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32190/stat : 32190 (java) S 32181 32181 28892 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 113669987 14316269568 40266 18446744073709551615 4194304 4196468 140723644906832 140014403949984 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32191] ppid=32181 vsize=13980732 memory=161064 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32191/stat : 32191 (java) S 32181 32181 28892 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 113669987 14316269568 40266 18446744073709551615 4194304 4196468 140723644906832 140014402897392 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32192] ppid=32181 vsize=13980732 memory=161064 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32192/stat : 32192 (java) S 32181 32181 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113669990 14316269568 40266 18446744073709551615 4194304 4196468 140723644906832 140014401845968 140014859343771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32193] ppid=32181 vsize=13980732 memory=1380 CPUtime=2.9 cores=1,3,5,7
/proc/32183/task/32193/stat : 32193 (java) S 32181 32181 28892 0 -1 1077944384 12720 0 0 0 289 1 0 0 20 0 15 0 113669990 14316269568 40266 18446744073709551615 4194304 4196468 140723644906832 140014400792560 140014859336322 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32194] ppid=32181 vsize=13980732 memory=0 CPUtime=2.46 cores=1,3,5,7
/proc/32183/task/32194/stat : 32194 (java) S 32181 32181 28892 0 -1 1077944384 13834 0 0 0 244 2 0 0 20 0 15 0 113669990 14316269568 40266 18446744073709551615 4194304 4196468 140723644906832 140014399740016 140014859336322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32195] ppid=32181 vsize=13980732 memory=1380 CPUtime=0.64 cores=1,3,5,7
/proc/32183/task/32195/stat : 32195 (java) S 32181 32181 28892 0 -1 1077944384 7074 0 0 0 63 1 0 0 20 0 15 0 113669990 14316269568 40266 18446744073709551615 4194304 4196468 140723644906832 140014398687472 140014859336322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32196] ppid=32181 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32196/stat : 32196 (java) S 32181 32181 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113669990 14316269568 40266 18446744073709551615 4194304 4196468 140723644906832 140014397635168 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32197] ppid=32181 vsize=13980732 memory=4028 CPUtime=0.55 cores=1,3,5,7
/proc/32183/task/32197/stat : 32197 (java) S 32181 32181 28892 0 -1 1077944384 994 0 0 0 27 28 0 0 20 0 15 0 113669994 14316269568 40266 18446744073709551615 4194304 4196468 140723644906832 140014396582704 140014859336322 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
Current children cumulated CPU time: 2389.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 162444 KiB
[startup+2442.3 s]
/proc/loadavg: 1.75 1.80 1.75 3/211 32437
/proc/meminfo: memFree=30735224/32770624 swapFree=67108860/67108860
[pid=32181] ppid=32178 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32181/stat : 32181 (xcsp3-exec) S 32178 32181 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113669975 9740288 345 18446744073709551615 4194304 5098028 140721850410896 140721850409000 139822627418748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 31604736 140721850417528 140721850417733 140721850417733 140721850421227 0
/proc/32181/statm: 2378 345 289 221 0 87 0
[pid=32183] ppid=32181 vsize=13980732 memory=161064 CPUtime=2449.09 cores=1,3,5,7
/proc/32183/stat : 32183 (java) S 32181 32181 28892 0 -1 1077944320 71826 0 0 0 244861 48 0 0 20 0 15 0 113669984 14316269568 40266 18446744073709551615 4194304 4196468 140723644906832 140723644889376 140014859325175 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
/proc/32183/statm: 3495183 40266 3243 1 0 3483476 0
[pid=32183/tid=32184] ppid=32181 vsize=13980732 memory=1380 CPUtime=2441.68 cores=1,3,5,7
/proc/32183/task/32184/stat : 32184 (java) R 32181 32181 28892 0 -1 4202560 22824 0 0 0 244162 6 0 0 20 0 15 0 113669985 14316269568 40266 18446744073709551615 4194304 4196468 140723644906832 140014863563856 140014478972176 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32185] ppid=32181 vsize=13980732 memory=161064 CPUtime=0.14 cores=1,3,5,7
/proc/32183/task/32185/stat : 32185 (java) S 32181 32181 28892 0 -1 1077944384 2821 0 0 0 11 3 0 0 20 0 15 0 113669985 14316269568 40266 18446744073709551615 4194304 4196468 140723644906832 140014459205904 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32186] ppid=32181 vsize=13980732 memory=161064 CPUtime=0.14 cores=1,3,5,7
/proc/32183/task/32186/stat : 32186 (java) S 32181 32181 28892 0 -1 1077944384 3426 0 0 0 12 2 0 0 20 0 15 0 113669985 14316269568 40266 18446744073709551615 4194304 4196468 140723644906832 140014458153360 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32187] ppid=32181 vsize=13980732 memory=161064 CPUtime=0.14 cores=1,3,5,7
/proc/32183/task/32187/stat : 32187 (java) S 32181 32181 28892 0 -1 1077944384 1716 0 0 0 11 3 0 0 20 0 15 0 113669985 14316269568 40266 18446744073709551615 4194304 4196468 140723644906832 140014457100816 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32188] ppid=32181 vsize=13980732 memory=1380 CPUtime=0.14 cores=1,3,5,7
/proc/32183/task/32188/stat : 32188 (java) S 32181 32181 28892 0 -1 1077944384 1657 0 0 0 12 2 0 0 20 0 15 0 113669985 14316269568 40266 18446744073709551615 4194304 4196468 140723644906832 140014456048272 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32189] ppid=32181 vsize=13980732 memory=1380 CPUtime=0.17 cores=1,3,5,7
/proc/32183/task/32189/stat : 32189 (java) S 32181 32181 28892 0 -1 1077944384 3350 0 0 0 14 3 0 0 20 0 15 0 113669987 14316269568 40266 18446744073709551615 4194304 4196468 140723644906832 140014405003760 140014859336322 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32190] ppid=32181 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32190/stat : 32190 (java) S 32181 32181 28892 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 113669987 14316269568 40266 18446744073709551615 4194304 4196468 140723644906832 140014403949984 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32191] ppid=32181 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32191/stat : 32191 (java) S 32181 32181 28892 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 113669987 14316269568 40266 18446744073709551615 4194304 4196468 140723644906832 140014402897392 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32192] ppid=32181 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32192/stat : 32192 (java) S 32181 32181 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113669990 14316269568 40266 18446744073709551615 4194304 4196468 140723644906832 140014401845968 140014859343771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32193] ppid=32181 vsize=13980732 memory=61380 CPUtime=2.91 cores=1,3,5,7
/proc/32183/task/32193/stat : 32193 (java) S 32181 32181 28892 0 -1 1077944384 12722 0 0 0 290 1 0 0 20 0 15 0 113669990 14316269568 40266 18446744073709551615 4194304 4196468 140723644906832 140014400792560 140014859336322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32194] ppid=32181 vsize=13980732 memory=1380 CPUtime=2.46 cores=1,3,5,7
/proc/32183/task/32194/stat : 32194 (java) S 32181 32181 28892 0 -1 1077944384 13837 0 0 0 244 2 0 0 20 0 15 0 113669990 14316269568 40266 18446744073709551615 4194304 4196468 140723644906832 140014399740016 140014859336322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32195] ppid=32181 vsize=13980732 memory=161064 CPUtime=0.64 cores=1,3,5,7
/proc/32183/task/32195/stat : 32195 (java) S 32181 32181 28892 0 -1 1077944384 7076 0 0 0 63 1 0 0 20 0 15 0 113669990 14316269568 40266 18446744073709551615 4194304 4196468 140723644906832 140014398687472 140014859336322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32196] ppid=32181 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32196/stat : 32196 (java) S 32181 32181 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113669990 14316269568 40266 18446744073709551615 4194304 4196468 140723644906832 140014397635168 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32197] ppid=32181 vsize=13980732 memory=161064 CPUtime=0.56 cores=1,3,5,7
/proc/32183/task/32197/stat : 32197 (java) S 32181 32181 28892 0 -1 1077944384 1022 0 0 0 28 28 0 0 20 0 15 0 113669994 14316269568 40266 18446744073709551615 4194304 4196468 140723644906832 140014396582704 140014859336322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
Current children cumulated CPU time: 2449.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 162444 KiB
[startup+2502.3 s]
/proc/loadavg: 1.75 1.78 1.75 3/214 32453
/proc/meminfo: memFree=30730652/32770624 swapFree=67108860/67108860
[pid=32181] ppid=32178 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32181/stat : 32181 (xcsp3-exec) S 32178 32181 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113669975 9740288 345 18446744073709551615 4194304 5098028 140721850410896 140721850409000 139822627418748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 31604736 140721850417528 140721850417733 140721850417733 140721850421227 0
/proc/32181/statm: 2378 345 289 221 0 87 0
[pid=32183] ppid=32181 vsize=13980732 memory=161088 CPUtime=2509.15 cores=1,3,5,7
/proc/32183/stat : 32183 (java) S 32181 32181 28892 0 -1 1077944320 72154 0 0 0 250866 49 0 0 20 0 15 0 113669984 14316269568 40272 18446744073709551615 4194304 4196468 140723644906832 140723644889376 140014859325175 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
/proc/32183/statm: 3495183 40272 3243 1 0 3483476 0
[pid=32183/tid=32184] ppid=32181 vsize=13980732 memory=161088 CPUtime=2501.67 cores=1,3,5,7
/proc/32183/task/32184/stat : 32184 (java) R 32181 32181 28892 0 -1 4202560 22859 0 0 0 250161 6 0 0 20 0 15 0 113669985 14316269568 40272 18446744073709551615 4194304 4196468 140723644906832 140014863562424 140014478973561 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32185] ppid=32181 vsize=13980732 memory=1380 CPUtime=0.15 cores=1,3,5,7
/proc/32183/task/32185/stat : 32185 (java) S 32181 32181 28892 0 -1 1077944384 2823 0 0 0 12 3 0 0 20 0 15 0 113669985 14316269568 40272 18446744073709551615 4194304 4196468 140723644906832 140014459205904 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32186] ppid=32181 vsize=13980732 memory=161064 CPUtime=0.15 cores=1,3,5,7
/proc/32183/task/32186/stat : 32186 (java) S 32181 32181 28892 0 -1 1077944384 3426 0 0 0 13 2 0 0 20 0 15 0 113669985 14316269568 40272 18446744073709551615 4194304 4196468 140723644906832 140014458153360 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32187] ppid=32181 vsize=13980732 memory=161088 CPUtime=0.15 cores=1,3,5,7
/proc/32183/task/32187/stat : 32187 (java) S 32181 32181 28892 0 -1 1077944384 1716 0 0 0 12 3 0 0 20 0 15 0 113669985 14316269568 40272 18446744073709551615 4194304 4196468 140723644906832 140014457100816 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32188] ppid=32181 vsize=13980732 memory=161088 CPUtime=0.15 cores=1,3,5,7
/proc/32183/task/32188/stat : 32188 (java) S 32181 32181 28892 0 -1 1077944384 1657 0 0 0 13 2 0 0 20 0 15 0 113669985 14316269568 40272 18446744073709551615 4194304 4196468 140723644906832 140014456048272 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32189] ppid=32181 vsize=13980732 memory=4060 CPUtime=0.18 cores=1,3,5,7
/proc/32183/task/32189/stat : 32189 (java) S 32181 32181 28892 0 -1 1077944384 3358 0 0 0 15 3 0 0 20 0 15 0 113669987 14316269568 40272 18446744073709551615 4194304 4196468 140723644906832 140014405003760 140014859336322 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32190] ppid=32181 vsize=13980732 memory=161088 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32190/stat : 32190 (java) S 32181 32181 28892 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 113669987 14316269568 40272 18446744073709551615 4194304 4196468 140723644906832 140014403949984 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32191] ppid=32181 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32191/stat : 32191 (java) S 32181 32181 28892 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 113669987 14316269568 40272 18446744073709551615 4194304 4196468 140723644906832 140014402897392 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32192] ppid=32181 vsize=13980732 memory=960 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32192/stat : 32192 (java) S 32181 32181 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113669990 14316269568 40272 18446744073709551615 4194304 4196468 140723644906832 140014401845968 140014859343771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32193] ppid=32181 vsize=13980732 memory=1232 CPUtime=2.91 cores=1,3,5,7
/proc/32183/task/32193/stat : 32193 (java) S 32181 32181 28892 0 -1 1077944384 12868 0 0 0 290 1 0 0 20 0 15 0 113669990 14316269568 40272 18446744073709551615 4194304 4196468 140723644906832 140014400792560 140014859336322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32194] ppid=32181 vsize=13980732 memory=-8774313645642428999 CPUtime=2.49 cores=1,3,5,7
/proc/32183/task/32194/stat : 32194 (java) S 32181 32181 28892 0 -1 1077944384 13970 0 0 0 247 2 0 0 20 0 15 0 113669990 14316269568 40272 18446744073709551615 4194304 4196468 140723644906832 140014399740016 140014859336322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32195] ppid=32181 vsize=13980732 memory=4300 CPUtime=0.64 cores=1,3,5,7
/proc/32183/task/32195/stat : 32195 (java) S 32181 32181 28892 0 -1 1077944384 7076 0 0 0 63 1 0 0 20 0 15 0 113669990 14316269568 40272 18446744073709551615 4194304 4196468 140723644906832 140014398687472 140014859336322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32196] ppid=32181 vsize=13980732 memory=61380 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32196/stat : 32196 (java) S 32181 32181 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113669990 14316269568 40272 18446744073709551615 4194304 4196468 140723644906832 140014397635168 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32197] ppid=32181 vsize=13980732 memory=4612 CPUtime=0.57 cores=1,3,5,7
/proc/32183/task/32197/stat : 32197 (java) S 32181 32181 28892 0 -1 1077944384 1026 0 0 0 28 29 0 0 20 0 15 0 113669994 14316269568 40272 18446744073709551615 4194304 4196468 140723644906832 140014396582704 140014859336322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
Current children cumulated CPU time: 2509.15 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 162468 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.2 s]
/proc/loadavg: 1.79 1.79 1.75 3/214 32453
/proc/meminfo: memFree=30729280/32770624 swapFree=67108860/67108860
[pid=32181] ppid=32178 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/32181/stat : 32181 (xcsp3-exec) S 32178 32181 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 113669975 9740288 345 18446744073709551615 4194304 5098028 140721850410896 140721850409000 139822627418748 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 9 0 0 7196144 7232144 31604736 140721850417528 140721850417733 140721850417733 140721850421227 0
/proc/32181/statm: 2378 345 289 221 0 87 0
[pid=32183] ppid=32181 vsize=13980732 memory=163136 CPUtime=2520.06 cores=1,3,5,7
/proc/32183/stat : 32183 (java) S 32181 32181 28892 0 -1 1077944320 72166 0 0 0 251957 49 0 0 20 0 15 0 113669984 14316269568 40784 18446744073709551615 4194304 4196468 140723644906832 140723644889376 140014859325175 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
/proc/32183/statm: 3495183 40784 3243 1 0 3483476 0
[pid=32183/tid=32184] ppid=32181 vsize=13980732 memory=3276 CPUtime=2512.57 cores=1,3,5,7
/proc/32183/task/32184/stat : 32184 (java) R 32181 32181 28892 0 -1 4202560 22861 0 0 0 251251 6 0 0 20 0 15 0 113669985 14316269568 40784 18446744073709551615 4194304 4196468 140723644906832 140014863564592 140014480526557 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32185] ppid=32181 vsize=13980732 memory=1380 CPUtime=0.15 cores=1,3,5,7
/proc/32183/task/32185/stat : 32185 (java) S 32181 32181 28892 0 -1 1077944384 2824 0 0 0 12 3 0 0 20 0 15 0 113669985 14316269568 40784 18446744073709551615 4194304 4196468 140723644906832 140014459205904 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32186] ppid=32181 vsize=13980732 memory=161088 CPUtime=0.15 cores=1,3,5,7
/proc/32183/task/32186/stat : 32186 (java) S 32181 32181 28892 0 -1 1077944384 3427 0 0 0 13 2 0 0 20 0 15 0 113669985 14316269568 40784 18446744073709551615 4194304 4196468 140723644906832 140014458153360 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32187] ppid=32181 vsize=13980732 memory=4112 CPUtime=0.15 cores=1,3,5,7
/proc/32183/task/32187/stat : 32187 (java) S 32181 32181 28892 0 -1 1077944384 1719 0 0 0 12 3 0 0 20 0 15 0 113669985 14316269568 40784 18446744073709551615 4194304 4196468 140723644906832 140014457100816 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32188] ppid=32181 vsize=13980732 memory=4076 CPUtime=0.15 cores=1,3,5,7
/proc/32183/task/32188/stat : 32188 (java) S 32181 32181 28892 0 -1 1077944384 1658 0 0 0 13 2 0 0 20 0 15 0 113669985 14316269568 40784 18446744073709551615 4194304 4196468 140723644906832 140014456048272 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32189] ppid=32181 vsize=13980732 memory=4584 CPUtime=0.18 cores=1,3,5,7
/proc/32183/task/32189/stat : 32189 (java) S 32181 32181 28892 0 -1 1077944384 3360 0 0 0 15 3 0 0 20 0 15 0 113669987 14316269568 40784 18446744073709551615 4194304 4196468 140723644906832 140014405003760 140014859336322 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32190] ppid=32181 vsize=13980732 memory=-8195925453750481479 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32190/stat : 32190 (java) S 32181 32181 28892 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 15 0 113669987 14316269568 40784 18446744073709551615 4194304 4196468 140723644906832 140014403949984 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32191] ppid=32181 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32191/stat : 32191 (java) S 32181 32181 28892 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 113669987 14316269568 40784 18446744073709551615 4194304 4196468 140723644906832 140014402897392 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32192] ppid=32181 vsize=13980732 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32192/stat : 32192 (java) S 32181 32181 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113669990 14316269568 40784 18446744073709551615 4194304 4196468 140723644906832 140014401845968 140014859343771 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32193] ppid=32181 vsize=13980732 memory=6628 CPUtime=2.91 cores=1,3,5,7
/proc/32183/task/32193/stat : 32193 (java) S 32181 32181 28892 0 -1 1077944384 12868 0 0 0 290 1 0 0 20 0 15 0 113669990 14316269568 40784 18446744073709551615 4194304 4196468 140723644906832 140014400792560 140014859336322 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32194] ppid=32181 vsize=13980732 memory=8836 CPUtime=2.49 cores=1,3,5,7
/proc/32183/task/32194/stat : 32194 (java) S 32181 32181 28892 0 -1 1077944384 13970 0 0 0 247 2 0 0 20 0 15 0 113669990 14316269568 40784 18446744073709551615 4194304 4196468 140723644906832 140014399740016 140014859336322 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32195] ppid=32181 vsize=13980732 memory=11044 CPUtime=0.64 cores=1,3,5,7
/proc/32183/task/32195/stat : 32195 (java) S 32181 32181 28892 0 -1 1077944384 7076 0 0 0 63 1 0 0 20 0 15 0 113669990 14316269568 40784 18446744073709551615 4194304 4196468 140723644906832 140014398687472 140014859336322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 13 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32196] ppid=32181 vsize=13980732 memory=13252 CPUtime=0 cores=1,3,5,7
/proc/32183/task/32196/stat : 32196 (java) S 32181 32181 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113669990 14316269568 40784 18446744073709551615 4194304 4196468 140723644906832 140014397635168 140014859335381 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
[pid=32183/tid=32197] ppid=32181 vsize=13980732 memory=15460 CPUtime=0.58 cores=1,3,5,7
/proc/32183/task/32197/stat : 32197 (java) S 32181 32181 28892 0 -1 1077944384 1028 0 0 0 29 29 0 0 20 0 15 0 113669994 14316269568 40784 18446744073709551615 4194304 4196468 140723644906832 140014396582704 140014859336322 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 37928960 140723644912049 140723644912225 140723644912225 140723644915663 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 164516 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.21 s]
# the end of solver process 32181 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.58 s, system=0.496923 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2513.21
CPU time (s): 2520.08
CPU user time (s): 2519.58
CPU system time (s): 0.496923
CPU usage (%): 100.273
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 240112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.58
system time used= 0.496923
maximum resident set size= 241300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72860
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61167
involuntary context switches= 878
# summary of solver processes directly reported to runsolver:
# pid: 32181
# total CPU time (s): 2520.08
# total CPU user time (s): 2519.58
# total CPU system time (s): 0.496923
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.309 second user time and 21.7538 second system time
The end