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 (15290 MiB free)
memory of node 1: 16384 MiB (15244 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284077-1503222597/watcher-4284077-1503222597 -o /tmp/evaluation-result-4284077-1503222597/solver-4284077-1503222597 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node130-1503172050-30419 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1224386188 HOME/instance-4284077-1503222597.xml
running on 4 cores: 0,2,4,6
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=7577, runsolver pid=7574
Current StackSize limit: 8192 KiB
[startup+0.100209 s]*
/proc/loadavg: 1.58 1.33 1.36 3/205 7587
/proc/meminfo: memFree=31259888/32770624 swapFree=67108860/67108860
[pid=7577] ppid=7574 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7577/stat : 7577 (xcsp3-exec) S 7574 7577 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 20667734 9740288 345 18446744073709551615 4194304 5098028 140736839201712 140736839199816 140195494916732 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 12533760 140736839209337 140736839209542 140736839209542 140736839213035 0
/proc/7577/statm: 2378 345 289 221 0 87 0
[pid=7579] ppid=7577 vsize=13574484 memory=19348 CPUtime=0.03 cores=0,2,4,6
/proc/7579/stat : 7579 (java) S 7577 7577 15523 0 -1 1077944320 4190 0 0 0 3 0 0 0 20 0 9 0 20667740 13900271616 4837 18446744073709551615 4194304 4196468 140723360779104 140723360761648 140201875382007 0 0 1 16800970 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
/proc/7579/statm: 3393621 4837 2104 1 0 3383118 0
[pid=7579/tid=7580] ppid=7577 vsize=13574484 memory=1404226546353086858 CPUtime=0.03 cores=0,2,4,6
/proc/7579/task/7580/stat : 7580 (java) R 7577 7577 15523 0 -1 4202560 2900 0 0 0 3 0 0 0 20 0 9 0 20667741 13900271616 4837 18446744073709551615 4194304 4196468 140723360779104 140201879619952 140201859462494 0 4 1 16800970 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7581] ppid=7577 vsize=13574484 memory=3691042058319900680 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7581/stat : 7581 (java) S 7577 7577 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 20667741 13900271616 4837 18446744073709551615 4194304 4196468 140723360779104 140201832348432 140201875392213 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7582] ppid=7577 vsize=13574484 memory=140601010124416 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7582/stat : 7582 (java) S 7577 7577 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 20667741 13900271616 4837 18446744073709551615 4194304 4196468 140723360779104 140201831295888 140201875392213 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7583] ppid=7577 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7583/stat : 7583 (java) S 7577 7577 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 20667741 13900271616 4837 18446744073709551615 4194304 4196468 140723360779104 140201830243344 140201875392213 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7584] ppid=7577 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7584/stat : 7584 (java) S 7577 7577 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 20667741 13900271616 4837 18446744073709551615 4194304 4196468 140723360779104 140201829190800 140201875392213 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7585] ppid=7577 vsize=13574484 memory=140601010124416 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7585/stat : 7585 (java) S 7577 7577 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 20667743 13900271616 4837 18446744073709551615 4194304 4196468 140723360779104 140201353529328 140201875393154 0 0 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7586] ppid=7577 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7586/stat : 7586 (java) S 7577 7577 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 20667743 13900271616 4837 18446744073709551615 4194304 4196468 140723360779104 140201352475552 140201875392213 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7587] ppid=7577 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7587/stat : 7587 (java) S 7577 7577 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 20667743 13900271616 4837 18446744073709551615 4194304 4196468 140723360779104 140201351422960 140201875392213 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20728 KiB
[startup+0.212896 s]*
/proc/loadavg: 1.58 1.33 1.36 4/211 7593
/proc/meminfo: memFree=31251416/32770624 swapFree=67108860/67108860
[pid=7577] ppid=7574 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7577/stat : 7577 (xcsp3-exec) S 7574 7577 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 20667734 9740288 345 18446744073709551615 4194304 5098028 140736839201712 140736839199816 140195494916732 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 12533760 140736839209337 140736839209542 140736839209542 140736839213035 0
/proc/7577/statm: 2378 345 289 221 0 87 0
[pid=7579] ppid=7577 vsize=13974352 memory=28736 CPUtime=0.15 cores=0,2,4,6
/proc/7579/stat : 7579 (java) S 7577 7577 15523 0 -1 1077944320 5592 0 0 0 14 1 0 0 20 0 15 0 20667740 14309736448 7184 18446744073709551615 4194304 4196468 140723360779104 140723360761648 140201875382007 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
/proc/7579/statm: 3493588 7184 2913 1 0 3482964 0
[pid=7579/tid=7580] ppid=7577 vsize=13974352 memory=7022364594140610616 CPUtime=0.1 cores=0,2,4,6
/proc/7579/task/7580/stat : 7580 (java) R 7577 7577 15523 0 -1 4202560 3468 0 0 0 10 0 0 0 20 0 15 0 20667741 14309736448 7184 18446744073709551615 4194304 4196468 140723360779104 140201879612000 140201507800970 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7581] ppid=7577 vsize=13974352 memory=4294976238 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7581/stat : 7581 (java) S 7577 7577 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20667741 14309736448 7184 18446744073709551615 4194304 4196468 140723360779104 140201832348432 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7582] ppid=7577 vsize=13974352 memory=140601010346892 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7582/stat : 7582 (java) S 7577 7577 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20667741 14309736448 7184 18446744073709551615 4194304 4196468 140723360779104 140201831295888 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7583] ppid=7577 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7583/stat : 7583 (java) S 7577 7577 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20667741 14309736448 7184 18446744073709551615 4194304 4196468 140723360779104 140201830243344 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7584] ppid=7577 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7584/stat : 7584 (java) S 7577 7577 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20667741 14309736448 7184 18446744073709551615 4194304 4196468 140723360779104 140201829190800 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7585] ppid=7577 vsize=13974352 memory=140601010124416 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7585/stat : 7585 (java) S 7577 7577 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20667743 14309736448 7184 18446744073709551615 4194304 4196468 140723360779104 140201353529328 140201875393154 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7586] ppid=7577 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7586/stat : 7586 (java) S 7577 7577 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 20667743 14309736448 7184 18446744073709551615 4194304 4196468 140723360779104 140201352475552 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7587] ppid=7577 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7587/stat : 7587 (java) S 7577 7577 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 20667743 14309736448 7184 18446744073709551615 4194304 4196468 140723360779104 140201351422960 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7588] ppid=7577 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7588/stat : 7588 (java) S 7577 7577 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20667746 14309736448 7184 18446744073709551615 4194304 4196468 140723360779104 140201350371536 140201875400603 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7589] ppid=7577 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7589/stat : 7589 (java) R 7577 7577 15523 0 -1 1077944384 310 0 0 0 0 0 0 0 20 0 15 0 20667746 14309736448 7184 18446744073709551615 4194304 4196468 140723360779104 140201349319152 140201875393154 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7590] ppid=7577 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7590/stat : 7590 (java) S 7577 7577 15523 0 -1 1077944384 174 0 0 0 0 0 0 0 20 0 15 0 20667746 14309736448 7184 18446744073709551615 4194304 4196468 140723360779104 140201348266608 140201875393154 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7591] ppid=7577 vsize=13974352 memory=140601010124416 CPUtime=0.02 cores=0,2,4,6
/proc/7579/task/7591/stat : 7591 (java) S 7577 7577 15523 0 -1 1077944384 336 0 0 0 2 0 0 0 20 0 15 0 20667746 14309736448 7184 18446744073709551615 4194304 4196468 140723360779104 140201347214064 140201875393154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7592] ppid=7577 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7592/stat : 7592 (java) S 7577 7577 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20667746 14309736448 7184 18446744073709551615 4194304 4196468 140723360779104 140201346161760 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7593] ppid=7577 vsize=13974352 memory=140601010124416 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7593/stat : 7593 (java) S 7577 7577 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20667750 14309736448 7184 18446744073709551615 4194304 4196468 140723360779104 140201345108272 140201875393154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30116 KiB
[startup+0.310379 s]*
/proc/loadavg: 1.58 1.33 1.36 4/211 7593
/proc/meminfo: memFree=31239448/32770624 swapFree=67108860/67108860
[pid=7577] ppid=7574 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7577/stat : 7577 (xcsp3-exec) S 7574 7577 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 20667734 9740288 345 18446744073709551615 4194304 5098028 140736839201712 140736839199816 140195494916732 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 12533760 140736839209337 140736839209542 140736839209542 140736839213035 0
/proc/7577/statm: 2378 345 289 221 0 87 0
[pid=7579] ppid=7577 vsize=13978608 memory=39708 CPUtime=0.33 cores=0,2,4,6
/proc/7579/stat : 7579 (java) S 7577 7577 15523 0 -1 1077944320 9128 0 0 0 30 3 0 0 20 0 15 0 20667740 14314094592 9927 18446744073709551615 4194304 4196468 140723360779104 140723360761648 140201875382007 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
/proc/7579/statm: 3494652 9927 3037 1 0 3482964 0
[pid=7579/tid=7580] ppid=7577 vsize=13978608 memory=6933928925625698159 CPUtime=0.2 cores=0,2,4,6
/proc/7579/task/7580/stat : 7580 (java) R 7577 7577 15523 0 -1 4202560 6395 0 0 0 18 2 0 0 20 0 15 0 20667741 14314094592 9927 18446744073709551615 4194304 4196468 140723360779104 140201879603000 140201859462494 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7581] ppid=7577 vsize=13978608 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7581/stat : 7581 (java) S 7577 7577 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20667741 14314094592 9927 18446744073709551615 4194304 4196468 140723360779104 140201832348432 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7582] ppid=7577 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7582/stat : 7582 (java) S 7577 7577 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20667741 14314094592 9927 18446744073709551615 4194304 4196468 140723360779104 140201831295888 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7583] ppid=7577 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7583/stat : 7583 (java) S 7577 7577 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20667741 14314094592 9927 18446744073709551615 4194304 4196468 140723360779104 140201830243344 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7584] ppid=7577 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7584/stat : 7584 (java) S 7577 7577 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20667741 14314094592 9927 18446744073709551615 4194304 4196468 140723360779104 140201829190800 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7585] ppid=7577 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7585/stat : 7585 (java) S 7577 7577 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20667743 14314094592 9927 18446744073709551615 4194304 4196468 140723360779104 140201353529328 140201875393154 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7586] ppid=7577 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7586/stat : 7586 (java) S 7577 7577 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 20667743 14314094592 9927 18446744073709551615 4194304 4196468 140723360779104 140201352475552 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7587] ppid=7577 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7587/stat : 7587 (java) S 7577 7577 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 20667743 14314094592 9927 18446744073709551615 4194304 4196468 140723360779104 140201351422960 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7588] ppid=7577 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7588/stat : 7588 (java) S 7577 7577 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20667746 14314094592 9927 18446744073709551615 4194304 4196468 140723360779104 140201350371536 140201875400603 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7589] ppid=7577 vsize=13978608 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/7579/task/7589/stat : 7589 (java) S 7577 7577 15523 0 -1 1077944384 422 0 0 0 3 0 0 0 20 0 15 0 20667746 14314094592 9927 18446744073709551615 4194304 4196468 140723360779104 140201349319152 140201875393154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7590] ppid=7577 vsize=13978608 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/7579/task/7590/stat : 7590 (java) S 7577 7577 15523 0 -1 1077944384 332 0 0 0 1 0 0 0 20 0 15 0 20667746 14314094592 9927 18446744073709551615 4194304 4196468 140723360779104 140201348266608 140201875393154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7591] ppid=7577 vsize=13978608 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/7579/task/7591/stat : 7591 (java) S 7577 7577 15523 0 -1 1077944384 678 0 0 0 7 0 0 0 20 0 15 0 20667746 14314094592 9927 18446744073709551615 4194304 4196468 140723360779104 140201347214064 140201875393154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7592] ppid=7577 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7592/stat : 7592 (java) S 7577 7577 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20667746 14314094592 9927 18446744073709551615 4194304 4196468 140723360779104 140201346161760 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7593] ppid=7577 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7593/stat : 7593 (java) S 7577 7577 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20667750 14314094592 9927 18446744073709551615 4194304 4196468 140723360779104 140201345108272 140201875393154 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41088 KiB
[startup+0.70077 s]
/proc/loadavg: 1.58 1.33 1.36 6/211 7593
/proc/meminfo: memFree=31220776/32770624 swapFree=67108860/67108860
[pid=7577] ppid=7574 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7577/stat : 7577 (xcsp3-exec) S 7574 7577 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 20667734 9740288 345 18446744073709551615 4194304 5098028 140736839201712 140736839199816 140195494916732 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 12533760 140736839209337 140736839209542 140736839209542 140736839213035 0
/proc/7577/statm: 2378 345 289 221 0 87 0
[pid=7579] ppid=7577 vsize=13978684 memory=93256 CPUtime=1.45 cores=0,2,4,6
/proc/7579/stat : 7579 (java) S 7577 7577 15523 0 -1 1077944320 13380 0 0 0 140 5 0 0 20 0 15 0 20667740 14314172416 23314 18446744073709551615 4194304 4196468 140723360779104 140723360761648 140201875382007 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
/proc/7579/statm: 3494671 23314 3159 1 0 3482964 0
[pid=7579/tid=7580] ppid=7577 vsize=13978684 memory=-7886167514736700194 CPUtime=0.58 cores=0,2,4,6
/proc/7579/task/7580/stat : 7580 (java) R 7577 7577 15523 0 -1 4202560 7897 0 0 0 54 4 0 0 20 0 15 0 20667741 14314172416 23314 18446744073709551615 4194304 4196468 140723360779104 140201879615920 140201859425637 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7581] ppid=7577 vsize=13978684 memory=7295938433506105757 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7581/stat : 7581 (java) S 7577 7577 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20667741 14314172416 23314 18446744073709551615 4194304 4196468 140723360779104 140201832348432 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7582] ppid=7577 vsize=13978684 memory=6296988215980156496 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7582/stat : 7582 (java) S 7577 7577 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20667741 14314172416 23314 18446744073709551615 4194304 4196468 140723360779104 140201831295888 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7583] ppid=7577 vsize=13978684 memory=7380106142448641111 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7583/stat : 7583 (java) S 7577 7577 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20667741 14314172416 23314 18446744073709551615 4194304 4196468 140723360779104 140201830243344 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7584] ppid=7577 vsize=13978684 memory=8514726395715219349 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7584/stat : 7584 (java) S 7577 7577 15523 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20667741 14314172416 23314 18446744073709551615 4194304 4196468 140723360779104 140201829190800 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7585] ppid=7577 vsize=13978684 memory=8031735012220349003 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7585/stat : 7585 (java) S 7577 7577 15523 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 20667743 14314172416 23314 18446744073709551615 4194304 4196468 140723360779104 140201353529328 140201875393154 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7586] ppid=7577 vsize=13978684 memory=-7522837583045875833 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7586/stat : 7586 (java) S 7577 7577 15523 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 20667743 14314172416 23314 18446744073709551615 4194304 4196468 140723360779104 140201352475552 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7587] ppid=7577 vsize=13978684 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7587/stat : 7587 (java) S 7577 7577 15523 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 20667743 14314172416 23314 18446744073709551615 4194304 4196468 140723360779104 140201351422960 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7588] ppid=7577 vsize=13978684 memory=281201709419888 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7588/stat : 7588 (java) S 7577 7577 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20667746 14314172416 23314 18446744073709551615 4194304 4196468 140723360779104 140201350371536 140201875400603 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7589] ppid=7577 vsize=13978684 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/7579/task/7589/stat : 7589 (java) R 7577 7577 15523 0 -1 4202560 1209 0 0 0 29 0 0 0 20 0 15 0 20667746 14314172416 23314 18446744073709551615 4194304 4196468 140723360779104 140201349310480 140201856117311 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7590] ppid=7577 vsize=13978684 memory=4124 CPUtime=0.3 cores=0,2,4,6
/proc/7579/task/7590/stat : 7590 (java) R 7577 7577 15523 0 -1 4202560 1463 0 0 0 30 0 0 0 20 0 15 0 20667746 14314172416 23314 18446744073709551615 4194304 4196468 140723360779104 140201348256464 140201856926160 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7591] ppid=7577 vsize=13978684 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/7579/task/7591/stat : 7591 (java) S 7577 7577 15523 0 -1 1077944384 1504 0 0 0 26 0 0 0 20 0 15 0 20667746 14314172416 23314 18446744073709551615 4194304 4196468 140723360779104 140201347214064 140201875393154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7592] ppid=7577 vsize=13978684 memory=140600854717040 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7592/stat : 7592 (java) S 7577 7577 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20667746 14314172416 23314 18446744073709551615 4194304 4196468 140723360779104 140201346161760 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7593] ppid=7577 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7593/stat : 7593 (java) S 7577 7577 15523 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20667750 14314172416 23314 18446744073709551615 4194304 4196468 140723360779104 140201345108272 140201875393154 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 94636 KiB
[startup+1.50086 s]
/proc/loadavg: 1.58 1.33 1.36 5/211 7593
/proc/meminfo: memFree=31089896/32770624 swapFree=67108860/67108860
[pid=7577] ppid=7574 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7577/stat : 7577 (xcsp3-exec) S 7574 7577 15523 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 20667734 9740288 345 18446744073709551615 4194304 5098028 140736839201712 140736839199816 140195494916732 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 6 0 0 7196144 7232144 12533760 140736839209337 140736839209542 140736839209542 140736839213035 0
/proc/7577/statm: 2378 345 289 221 0 87 0
[pid=7579] ppid=7577 vsize=13980732 memory=393300 CPUtime=3.01 cores=0,2,4,6
/proc/7579/stat : 7579 (java) S 7577 7577 15523 0 -1 1077944320 14600 0 0 0 281 20 0 0 20 0 15 0 20667740 14316269568 98325 18446744073709551615 4194304 4196468 140723360779104 140723360761648 140201875382007 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
/proc/7579/statm: 3495183 98325 3205 1 0 3483476 0
[pid=7579/tid=7580] ppid=7577 vsize=13980732 memory=36894574381556 CPUtime=1.27 cores=0,2,4,6
/proc/7579/task/7580/stat : 7580 (java) R 7577 7577 15523 0 -1 4202560 8137 0 0 0 120 7 0 0 20 0 15 0 20667741 14316269568 98325 18446744073709551615 4194304 4196468 140723360779104 140201879620336 140201510377056 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7581] ppid=7577 vsize=13980732 memory=7680170660397595203 CPUtime=0.08 cores=0,2,4,6
/proc/7579/task/7581/stat : 7581 (java) S 7577 7577 15523 0 -1 1077944384 112 0 0 0 6 2 0 0 20 0 15 0 20667741 14316269568 98325 18446744073709551615 4194304 4196468 140723360779104 140201832348432 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7582] ppid=7577 vsize=13980732 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7579/task/7582/stat : 7582 (java) S 7577 7577 15523 0 -1 1077944384 132 0 0 0 6 3 0 0 20 0 15 0 20667741 14316269568 98325 18446744073709551615 4194304 4196468 140723360779104 140201831295888 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7583] ppid=7577 vsize=13980732 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/7579/task/7583/stat : 7583 (java) S 7577 7577 15523 0 -1 1077944384 125 0 0 0 7 2 0 0 20 0 15 0 20667741 14316269568 98325 18446744073709551615 4194304 4196468 140723360779104 140201830243344 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7584] ppid=7577 vsize=13980732 memory=0 CPUtime=0.08 cores=0,2,4,6
################
# More data... #
################
/proc/7579/task/7583/stat : 7583 (java) R 7577 7577 15523 0 -1 4202560 86209 0 0 0 57590 131 0 0 20 0 15 0 20667741 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201830243232 140201860079782 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7584] ppid=7577 vsize=13980732 memory=1228 CPUtime=577.51 cores=0,2,4,6
/proc/7579/task/7584/stat : 7584 (java) R 7577 7577 15523 0 -1 4202560 185626 0 0 0 57577 174 0 0 20 0 15 0 20667741 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201829191000 140201860079782 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7585] ppid=7577 vsize=13980732 memory=1704 CPUtime=63.94 cores=0,2,4,6
/proc/7579/task/7585/stat : 7585 (java) S 7577 7577 15523 0 -1 1077944384 136603 0 0 0 6387 7 0 0 20 0 15 0 20667743 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201353527648 140201875392213 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7586] ppid=7577 vsize=13980732 memory=11952 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7586/stat : 7586 (java) S 7577 7577 15523 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 20667743 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201352475616 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7587] ppid=7577 vsize=13980732 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7587/stat : 7587 (java) S 7577 7577 15523 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 20667743 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201351422976 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7588] ppid=7577 vsize=13980732 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7588/stat : 7588 (java) S 7577 7577 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20667746 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201350371536 140201875400603 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7589] ppid=7577 vsize=13980732 memory=8696 CPUtime=1.08 cores=0,2,4,6
/proc/7579/task/7589/stat : 7589 (java) S 7577 7577 15523 0 -1 1077944384 5507 0 0 0 107 1 0 0 20 0 15 0 20667746 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201349319200 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7590] ppid=7577 vsize=13980732 memory=792 CPUtime=1.07 cores=0,2,4,6
/proc/7579/task/7590/stat : 7590 (java) S 7577 7577 15523 0 -1 1077944384 5101 0 0 0 107 0 0 0 20 0 15 0 20667746 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201348266368 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7591] ppid=7577 vsize=13980732 memory=5412 CPUtime=0.46 cores=0,2,4,6
/proc/7579/task/7591/stat : 7591 (java) S 7577 7577 15523 0 -1 1077944384 7461 0 0 0 45 1 0 0 20 0 15 0 20667746 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201347214112 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7592] ppid=7577 vsize=13980732 memory=11494080 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7592/stat : 7592 (java) S 7577 7577 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20667746 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201346161760 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7593] ppid=7577 vsize=13980732 memory=1296 CPUtime=0.47 cores=0,2,4,6
/proc/7579/task/7593/stat : 7593 (java) S 7577 7577 15523 0 -1 1077944384 781 0 0 0 23 24 0 0 20 0 15 0 20667750 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201345108272 140201875393154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
Current children cumulated CPU time: 2520.12 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 11495464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+788.029 s]
# the end of solver process 7577 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001943 s, system=0 s
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+790.067 s]
# the end of solver process 7579 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2521.3 s, system=6.87919 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
Dumping a history of the last processes samples
[startup+788.801 s]
/proc/loadavg: 4.83 5.45 3.84 6/210 7863
/proc/meminfo: memFree=18812832/32770624 swapFree=67108860/67108860
[pid=7579] ppid=7574 vsize=13980732 memory=11494084 CPUtime=2523.27 cores=0,2,4,6
/proc/7579/stat : 7579 (java) S 7574 7577 15523 0 -1 1077944320 753437 0 0 0 251644 683 0 0 20 0 15 0 20667740 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140723360761648 140201875382007 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
/proc/7579/statm: 3495183 2873521 3222 1 0 3483476 0
[pid=7579/tid=7580] ppid=7574 vsize=13980732 memory=11952 CPUtime=143.31 cores=0,2,4,6
/proc/7579/task/7580/stat : 7580 (java) S 7574 7577 15523 0 -1 1077944384 30820 0 0 0 14286 45 0 0 20 0 15 0 20667741 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201879620320 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7581] ppid=7574 vsize=13980732 memory=7680170660397595203 CPUtime=578.65 cores=0,2,4,6
/proc/7579/task/7581/stat : 7581 (java) R 7574 7577 15523 0 -1 4202560 199525 0 0 0 57701 164 0 0 20 0 15 0 20667741 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201832348632 140201860079646 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7582] ppid=7574 vsize=13980732 memory=2412 CPUtime=577.88 cores=0,2,4,6
/proc/7579/task/7582/stat : 7582 (java) R 7574 7577 15523 0 -1 4202560 94434 0 0 0 57637 151 0 0 20 0 15 0 20667741 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201831296088 140201860079646 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7583] ppid=7574 vsize=13980732 memory=1724 CPUtime=578.01 cores=0,2,4,6
/proc/7579/task/7583/stat : 7583 (java) R 7574 7577 15523 0 -1 4202560 86209 0 0 0 57670 131 0 0 20 0 15 0 20667741 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201830243232 140201860367248 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7584] ppid=7574 vsize=13980732 memory=1008 CPUtime=578.3 cores=0,2,4,6
/proc/7579/task/7584/stat : 7584 (java) R 7574 7577 15523 0 -1 4202560 185685 0 0 0 57656 174 0 0 20 0 15 0 20667741 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201829191000 140201860079782 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7585] ppid=7574 vsize=13980732 memory=1444492 CPUtime=63.94 cores=0,2,4,6
/proc/7579/task/7585/stat : 7585 (java) S 7574 7577 15523 0 -1 1077944384 136603 0 0 0 6387 7 0 0 20 0 15 0 20667743 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201353527648 140201875392213 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7586] ppid=7574 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7586/stat : 7586 (java) S 7574 7577 15523 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 20667743 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201352475616 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7587] ppid=7574 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7587/stat : 7587 (java) S 7574 7577 15523 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 20667743 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201351422976 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7588] ppid=7574 vsize=13980732 memory=11494084 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7588/stat : 7588 (java) S 7574 7577 15523 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 20667746 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201350371184 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7589] ppid=7574 vsize=13980732 memory=1228 CPUtime=1.08 cores=0,2,4,6
/proc/7579/task/7589/stat : 7589 (java) S 7574 7577 15523 0 -1 1077944384 5507 0 0 0 107 1 0 0 20 0 15 0 20667746 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201349319200 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7590] ppid=7574 vsize=13980732 memory=792 CPUtime=1.07 cores=0,2,4,6
/proc/7579/task/7590/stat : 7590 (java) S 7574 7577 15523 0 -1 1077944384 5101 0 0 0 107 0 0 0 20 0 15 0 20667746 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201348266368 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7591] ppid=7574 vsize=13980732 memory=5412 CPUtime=0.46 cores=0,2,4,6
/proc/7579/task/7591/stat : 7591 (java) S 7574 7577 15523 0 -1 1077944384 7461 0 0 0 45 1 0 0 20 0 15 0 20667746 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201347214112 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7592] ppid=7574 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7592/stat : 7592 (java) S 7574 7577 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20667746 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201346161760 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7593] ppid=7574 vsize=13980732 memory=11494084 CPUtime=0.47 cores=0,2,4,6
/proc/7579/task/7593/stat : 7593 (java) S 7574 7577 15523 0 -1 1077944384 781 0 0 0 23 24 0 0 20 0 15 0 20667750 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201345108272 140201875393154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
Current cumulated CPU time of completed processes: 0.001943 s
Current children cumulated CPU time: 2523.27 s
Current children cumulated vsize: 13980732 KiB
Current children cumulated memory: 11494084 KiB
[startup+789.601 s]
/proc/loadavg: 4.83 5.45 3.84 6/210 7863
/proc/meminfo: memFree=18808532/32770624 swapFree=67108860/67108860
[pid=7579] ppid=7574 vsize=13980732 memory=11494084 CPUtime=2526.46 cores=0,2,4,6
/proc/7579/stat : 7579 (java) S 7574 7577 15523 0 -1 1077944320 753482 0 0 0 251963 683 0 0 20 0 15 0 20667740 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140723360761648 140201875382007 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
/proc/7579/statm: 3495183 2873521 3222 1 0 3483476 0
[pid=7579/tid=7580] ppid=7574 vsize=13980732 memory=6933928925625698159 CPUtime=143.31 cores=0,2,4,6
/proc/7579/task/7580/stat : 7580 (java) S 7574 7577 15523 0 -1 1077944384 30820 0 0 0 14286 45 0 0 20 0 15 0 20667741 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201879620320 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7581] ppid=7574 vsize=13980732 memory=7680170660397595203 CPUtime=579.44 cores=0,2,4,6
/proc/7579/task/7581/stat : 7581 (java) R 7574 7577 15523 0 -1 4202560 199525 0 0 0 57780 164 0 0 20 0 15 0 20667741 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201832348632 140201860079841 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7582] ppid=7574 vsize=13980732 memory=14316 CPUtime=578.68 cores=0,2,4,6
/proc/7579/task/7582/stat : 7582 (java) R 7574 7577 15523 0 -1 4202560 94458 0 0 0 57717 151 0 0 20 0 15 0 20667741 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201831296088 140201860079732 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7583] ppid=7574 vsize=13980732 memory=1296 CPUtime=578.81 cores=0,2,4,6
/proc/7579/task/7583/stat : 7583 (java) R 7574 7577 15523 0 -1 4202560 86230 0 0 0 57750 131 0 0 20 0 15 0 20667741 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201830243232 140201860079617 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7584] ppid=7574 vsize=13980732 memory=2412 CPUtime=579.1 cores=0,2,4,6
/proc/7579/task/7584/stat : 7584 (java) R 7574 7577 15523 0 -1 4202560 185685 0 0 0 57736 174 0 0 20 0 15 0 20667741 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201829191000 140201860335535 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7585] ppid=7574 vsize=13980732 memory=1724 CPUtime=63.94 cores=0,2,4,6
/proc/7579/task/7585/stat : 7585 (java) S 7574 7577 15523 0 -1 1077944384 136603 0 0 0 6387 7 0 0 20 0 15 0 20667743 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201353527648 140201875392213 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7586] ppid=7574 vsize=13980732 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7586/stat : 7586 (java) S 7574 7577 15523 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 20667743 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201352475616 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7587] ppid=7574 vsize=13980732 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7587/stat : 7587 (java) S 7574 7577 15523 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 20667743 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201351422976 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7588] ppid=7574 vsize=13980732 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7588/stat : 7588 (java) S 7574 7577 15523 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 20667746 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201350371184 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7589] ppid=7574 vsize=13980732 memory=11952 CPUtime=1.08 cores=0,2,4,6
/proc/7579/task/7589/stat : 7589 (java) S 7574 7577 15523 0 -1 1077944384 5507 0 0 0 107 1 0 0 20 0 15 0 20667746 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201349319200 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7590] ppid=7574 vsize=13980732 memory=1996 CPUtime=1.07 cores=0,2,4,6
/proc/7579/task/7590/stat : 7590 (java) S 7574 7577 15523 0 -1 1077944384 5101 0 0 0 107 0 0 0 20 0 15 0 20667746 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201348266368 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7591] ppid=7574 vsize=13980732 memory=1440 CPUtime=0.46 cores=0,2,4,6
/proc/7579/task/7591/stat : 7591 (java) S 7574 7577 15523 0 -1 1077944384 7461 0 0 0 45 1 0 0 20 0 15 0 20667746 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201347214112 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7592] ppid=7574 vsize=13980732 memory=8696 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7592/stat : 7592 (java) S 7574 7577 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20667746 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201346161760 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7593] ppid=7574 vsize=13980732 memory=792 CPUtime=0.48 cores=0,2,4,6
/proc/7579/task/7593/stat : 7593 (java) S 7574 7577 15523 0 -1 1077944384 781 0 0 0 23 25 0 0 20 0 15 0 20667750 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201345108272 140201875393154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
Current cumulated CPU time of completed processes: 0.001943 s
Current children cumulated CPU time: 2526.46 s
Current children cumulated vsize: 13980732 KiB
Current children cumulated memory: 11494084 KiB
[startup+790.001 s]*
/proc/loadavg: 4.84 5.45 3.85 6/210 7863
/proc/meminfo: memFree=18808532/32770624 swapFree=67108860/67108860
[pid=7579] ppid=7574 vsize=13980732 memory=11494084 CPUtime=2528.08 cores=0,2,4,6
/proc/7579/stat : 7579 (java) S 7574 7577 15523 0 -1 1077944320 754099 0 0 0 252125 683 0 0 20 0 15 0 20667740 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140723360761648 140201875382007 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
/proc/7579/statm: 3495183 2873521 3222 1 0 3483476 0
[pid=7579/tid=7580] ppid=7574 vsize=13980732 memory=6933928925625698159 CPUtime=143.31 cores=0,2,4,6
/proc/7579/task/7580/stat : 7580 (java) S 7574 7577 15523 0 -1 1077944384 30820 0 0 0 14286 45 0 0 20 0 15 0 20667741 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201879620320 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7581] ppid=7574 vsize=13980732 memory=4126316290023845779 CPUtime=579.83 cores=0,2,4,6
/proc/7579/task/7581/stat : 7581 (java) R 7574 7577 15523 0 -1 4202560 199572 0 0 0 57819 164 0 0 20 0 15 0 20667741 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201832348632 140201860367027 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7582] ppid=7574 vsize=13980732 memory=7372762397046498368 CPUtime=579.08 cores=0,2,4,6
/proc/7579/task/7582/stat : 7582 (java) R 7574 7577 15523 0 -1 4202560 94464 0 0 0 57757 151 0 0 20 0 15 0 20667741 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201831296088 140201860079646 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7583] ppid=7574 vsize=13980732 memory=7811591828302485349 CPUtime=579.21 cores=0,2,4,6
/proc/7579/task/7583/stat : 7583 (java) R 7574 7577 15523 0 -1 4202560 86794 0 0 0 57790 131 0 0 20 0 15 0 20667741 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201830243232 140201860367303 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7584] ppid=7574 vsize=13980732 memory=-8412656567318647667 CPUtime=579.51 cores=0,2,4,6
/proc/7579/task/7584/stat : 7584 (java) R 7574 7577 15523 0 -1 4202560 185685 0 0 0 57777 174 0 0 20 0 15 0 20667741 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201829191000 140201855408465 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7585] ppid=7574 vsize=13980732 memory=4427205132082312746 CPUtime=63.94 cores=0,2,4,6
/proc/7579/task/7585/stat : 7585 (java) S 7574 7577 15523 0 -1 1077944384 136603 0 0 0 6387 7 0 0 20 0 15 0 20667743 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201353527648 140201875392213 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7586] ppid=7574 vsize=13980732 memory=-8486080722631693414 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7586/stat : 7586 (java) S 7574 7577 15523 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 15 0 20667743 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201352475616 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7587] ppid=7574 vsize=13980732 memory=2160 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7587/stat : 7587 (java) S 7574 7577 15523 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 15 0 20667743 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201351422976 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7588] ppid=7574 vsize=13980732 memory=840 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7588/stat : 7588 (java) S 7574 7577 15523 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 20667746 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201350371184 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7589] ppid=7574 vsize=13980732 memory=4068 CPUtime=1.08 cores=0,2,4,6
/proc/7579/task/7589/stat : 7589 (java) S 7574 7577 15523 0 -1 1077944384 5507 0 0 0 107 1 0 0 20 0 15 0 20667746 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201349319200 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7590] ppid=7574 vsize=13980732 memory=1160 CPUtime=1.07 cores=0,2,4,6
/proc/7579/task/7590/stat : 7590 (java) S 7574 7577 15523 0 -1 1077944384 5101 0 0 0 107 0 0 0 20 0 15 0 20667746 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201348266368 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7591] ppid=7574 vsize=13980732 memory=3208 CPUtime=0.46 cores=0,2,4,6
/proc/7579/task/7591/stat : 7591 (java) S 7574 7577 15523 0 -1 1077944384 7461 0 0 0 45 1 0 0 20 0 15 0 20667746 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201347214112 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7592] ppid=7574 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/7579/task/7592/stat : 7592 (java) S 7574 7577 15523 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20667746 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201346161760 140201875392213 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
[pid=7579/tid=7593] ppid=7574 vsize=13980732 memory=11494084 CPUtime=0.48 cores=0,2,4,6
/proc/7579/task/7593/stat : 7593 (java) S 7574 7577 15523 0 -1 1077944384 781 0 0 0 23 25 0 0 20 0 15 0 20667750 14316269568 2873521 18446744073709551615 4194304 4196468 140723360779104 140201345108272 140201875393154 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35274752 140723360784818 140723360784994 140723360784994 140723360788431 0
Current cumulated CPU time of completed processes: 0.001943 s
Current children cumulated CPU time: 2528.08 s
Current children cumulated vsize: 13980732 KiB
Current children cumulated memory: 11494084 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 790.067
CPU time (s): 2528.18
CPU user time (s): 2521.3
CPU system time (s): 6.87919
CPU usage (%): 319.995
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 11495464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2521.3
system time used= 6.87919
maximum resident set size= 11494420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 754618
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28401
involuntary context switches= 30064
# summary of solver processes directly reported to runsolver:
# pid: 7577,7579
# total CPU time (s): 2528.18
# total CPU user time (s): 2521.3
# total CPU system time (s): 6.87919
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.9971 second user time and 7.96434 second system time
The end