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 (15076 MiB free)
memory of node 1: 16384 MiB (15613 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270002-1502623166/watcher-4270002-1502623166 -o /tmp/evaluation-result-4270002-1502623166/solver-4270002-1502623166 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502615937-28321 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 421812990 HOME/instance-4270002-1502623166.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1659, runsolver pid=1656
[startup+0.100112 s]*
/proc/loadavg: 1.69 1.95 1.97 3/205 1669
/proc/meminfo: memFree=31416172/32770624 swapFree=67108860/67108860
[pid=1659] ppid=1656 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1659/stat : 1659 (xcsp3-exec) S 1656 1659 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64509973 9740288 345 18446744073709551615 4194304 5098028 140724435923984 140724435922088 139640076108412 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 29716480 140724435927423 140724435927626 140724435927626 140724435931115 0
/proc/1659/statm: 2378 345 289 221 0 87 0
[pid=1661] ppid=1659 vsize=13574484 memory=19288 CPUtime=0.03 cores=1,3,5,7
/proc/1661/stat : 1661 (java) S 1659 1659 17093 0 -1 1077944320 4174 0 0 0 3 0 0 0 20 0 9 0 64509979 13900271616 4822 18446744073709551615 4194304 4196468 140727736242048 140727736224592 140184330252023 0 0 1 16800970 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
/proc/1661/statm: 3393621 4822 2105 1 0 3383118 0
[pid=1661/tid=1662] ppid=1659 vsize=13574484 memory=9124443767561732153 CPUtime=0.02 cores=1,3,5,7
/proc/1661/task/1662/stat : 1662 (java) R 1659 1659 17093 0 -1 4202560 2899 0 0 0 2 0 0 0 20 0 9 0 64509980 13900271616 4822 18446744073709551615 4194304 4196468 140727736242048 140184334487120 140184330273949 0 4 1 16800970 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1663] ppid=1659 vsize=13574484 memory=3691042058319900680 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1663/stat : 1663 (java) S 1659 1659 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64509980 13900271616 4822 18446744073709551615 4194304 4196468 140727736242048 140184249666064 140184330262229 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1664] ppid=1659 vsize=13574484 memory=140019669497472 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1664/stat : 1664 (java) S 1659 1659 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64509980 13900271616 4822 18446744073709551615 4194304 4196468 140727736242048 140184248613520 140184330262229 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1665] ppid=1659 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1665/stat : 1665 (java) S 1659 1659 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 64509980 13900271616 4822 18446744073709551615 4194304 4196468 140727736242048 140184247560464 140184330262229 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1666] ppid=1659 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1666/stat : 1666 (java) S 1659 1659 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64509980 13900271616 4822 18446744073709551615 4194304 4196468 140727736242048 140184246507920 140184330262229 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1667] ppid=1659 vsize=13574484 memory=140019669497472 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1667/stat : 1667 (java) S 1659 1659 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 64509982 13900271616 4822 18446744073709551615 4194304 4196468 140727736242048 140183515527920 140184330263170 0 0 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1668] ppid=1659 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1668/stat : 1668 (java) S 1659 1659 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 64509982 13900271616 4822 18446744073709551615 4194304 4196468 140727736242048 140183514474144 140184330262229 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1669] ppid=1659 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1669/stat : 1669 (java) S 1659 1659 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 64509982 13900271616 4822 18446744073709551615 4194304 4196468 140727736242048 140183513421040 140184330262229 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 20668 KiB
[startup+0.21023 s]*
/proc/loadavg: 1.69 1.95 1.97 5/211 1675
/proc/meminfo: memFree=31409188/32770624 swapFree=67108860/67108860
[pid=1659] ppid=1656 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1659/stat : 1659 (xcsp3-exec) S 1656 1659 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64509973 9740288 345 18446744073709551615 4194304 5098028 140724435923984 140724435922088 139640076108412 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 29716480 140724435927423 140724435927626 140724435927626 140724435931115 0
/proc/1659/statm: 2378 345 289 221 0 87 0
[pid=1661] ppid=1659 vsize=13974352 memory=29220 CPUtime=0.16 cores=1,3,5,7
/proc/1661/stat : 1661 (java) S 1659 1659 17093 0 -1 1077944320 5724 0 0 0 15 1 0 0 20 0 15 0 64509979 14309736448 7305 18446744073709551615 4194304 4196468 140727736242048 140727736224592 140184330252023 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
/proc/1661/statm: 3493588 7305 2907 1 0 3482964 0
[pid=1661/tid=1662] ppid=1659 vsize=13974352 memory=7022364594140610616 CPUtime=0.11 cores=1,3,5,7
/proc/1661/task/1662/stat : 1662 (java) R 1659 1659 17093 0 -1 4202560 3477 0 0 0 10 1 0 0 20 0 15 0 64509980 14309736448 7634 18446744073709551615 4194304 4196468 140727736242048 140184334480920 140184322489150 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1663] ppid=1659 vsize=13974352 memory=4294981025 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1663/stat : 1663 (java) S 1659 1659 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64509980 14309736448 7634 18446744073709551615 4194304 4196468 140727736242048 140184249666064 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1664] ppid=1659 vsize=13974352 memory=140019669521811 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1664/stat : 1664 (java) S 1659 1659 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64509980 14309736448 7634 18446744073709551615 4194304 4196468 140727736242048 140184248613520 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1665] ppid=1659 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1665/stat : 1665 (java) S 1659 1659 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64509980 14309736448 7634 18446744073709551615 4194304 4196468 140727736242048 140184247560464 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1666] ppid=1659 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1666/stat : 1666 (java) S 1659 1659 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64509980 14309736448 7634 18446744073709551615 4194304 4196468 140727736242048 140184246507920 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1667] ppid=1659 vsize=13974352 memory=140019669497472 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1667/stat : 1667 (java) S 1659 1659 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64509982 14309736448 7634 18446744073709551615 4194304 4196468 140727736242048 140183515527920 140184330263170 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1668] ppid=1659 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1668/stat : 1668 (java) S 1659 1659 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64509982 14309736448 7700 18446744073709551615 4194304 4196468 140727736242048 140183514474144 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1669] ppid=1659 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1669/stat : 1669 (java) S 1659 1659 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64509982 14309736448 7700 18446744073709551615 4194304 4196468 140727736242048 140183513421040 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1670] ppid=1659 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1670/stat : 1670 (java) S 1659 1659 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64509985 14309736448 7700 18446744073709551615 4194304 4196468 140727736242048 140183512369616 140184330270619 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1671] ppid=1659 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1661/task/1671/stat : 1671 (java) S 1659 1659 17093 0 -1 1077944384 478 0 0 0 1 0 0 0 20 0 15 0 64509985 14309736448 7766 18446744073709551615 4194304 4196468 140727736242048 140183511316720 140184330263170 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1672] ppid=1659 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1672/stat : 1672 (java) R 1659 1659 17093 0 -1 4202560 202 0 0 0 0 0 0 0 20 0 15 0 64509985 14309736448 7766 18446744073709551615 4194304 4196468 140727736242048 140183510245080 140184316315414 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1673] ppid=1659 vsize=13974352 memory=140019669497472 CPUtime=0.03 cores=1,3,5,7
/proc/1661/task/1673/stat : 1673 (java) R 1659 1659 17093 0 -1 4202560 663 0 0 0 3 0 0 0 20 0 15 0 64509985 14309736448 7766 18446744073709551615 4194304 4196468 140727736242048 140183509207064 140184309650591 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1674] ppid=1659 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1674/stat : 1674 (java) S 1659 1659 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64509985 14309736448 7766 18446744073709551615 4194304 4196468 140727736242048 140183508158816 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1675] ppid=1659 vsize=13974352 memory=140019669497472 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1675/stat : 1675 (java) S 1659 1659 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64509988 14309736448 7766 18446744073709551615 4194304 4196468 140727736242048 140183507106864 140184330263170 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30600 KiB
[startup+0.310452 s]*
/proc/loadavg: 1.69 1.95 1.97 4/211 1675
/proc/meminfo: memFree=31396184/32770624 swapFree=67108860/67108860
[pid=1659] ppid=1656 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1659/stat : 1659 (xcsp3-exec) S 1656 1659 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64509973 9740288 345 18446744073709551615 4194304 5098028 140724435923984 140724435922088 139640076108412 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 29716480 140724435927423 140724435927626 140724435927626 140724435931115 0
/proc/1659/statm: 2378 345 289 221 0 87 0
[pid=1661] ppid=1659 vsize=13978608 memory=40408 CPUtime=0.35 cores=1,3,5,7
/proc/1661/stat : 1661 (java) S 1659 1659 17093 0 -1 1077944320 9300 0 0 0 32 3 0 0 20 0 15 0 64509979 14314094592 10102 18446744073709551615 4194304 4196468 140727736242048 140727736224592 140184330252023 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
/proc/1661/statm: 3494652 10102 3037 1 0 3482964 0
[pid=1661/tid=1662] ppid=1659 vsize=13978608 memory=7022364594140610616 CPUtime=0.21 cores=1,3,5,7
/proc/1661/task/1662/stat : 1662 (java) R 1659 1659 17093 0 -1 4202560 6421 0 0 0 19 2 0 0 20 0 15 0 64509980 14314094592 10102 18446744073709551615 4194304 4196468 140727736242048 140184334465008 140184330273949 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1663] ppid=1659 vsize=13978608 memory=4294981025 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1663/stat : 1663 (java) S 1659 1659 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64509980 14314094592 10102 18446744073709551615 4194304 4196468 140727736242048 140184249666064 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1664] ppid=1659 vsize=13978608 memory=140019669521811 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1664/stat : 1664 (java) S 1659 1659 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64509980 14314094592 10102 18446744073709551615 4194304 4196468 140727736242048 140184248613520 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1665] ppid=1659 vsize=13978608 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1665/stat : 1665 (java) S 1659 1659 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64509980 14314094592 10102 18446744073709551615 4194304 4196468 140727736242048 140184247560464 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1666] ppid=1659 vsize=13978608 memory=3472328296227680303 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1666/stat : 1666 (java) S 1659 1659 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64509980 14314094592 10102 18446744073709551615 4194304 4196468 140727736242048 140184246507920 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1667] ppid=1659 vsize=13978608 memory=4211961595210620919 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1667/stat : 1667 (java) S 1659 1659 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64509982 14314094592 10102 18446744073709551615 4194304 4196468 140727736242048 140183515527920 140184330263170 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1668] ppid=1659 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1668/stat : 1668 (java) S 1659 1659 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64509982 14314094592 10102 18446744073709551615 4194304 4196468 140727736242048 140183514474144 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1669] ppid=1659 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1669/stat : 1669 (java) S 1659 1659 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64509982 14314094592 10102 18446744073709551615 4194304 4196468 140727736242048 140183513421040 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1670] ppid=1659 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1670/stat : 1670 (java) S 1659 1659 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64509985 14314094592 10102 18446744073709551615 4194304 4196468 140727736242048 140183512369616 140184330270619 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1671] ppid=1659 vsize=13978608 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1661/task/1671/stat : 1671 (java) S 1659 1659 17093 0 -1 1077944384 566 0 0 0 1 0 0 0 20 0 15 0 64509985 14314094592 10102 18446744073709551615 4194304 4196468 140727736242048 140183511316720 140184330263170 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1672] ppid=1659 vsize=13978608 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/1661/task/1672/stat : 1672 (java) S 1659 1659 17093 0 -1 1077944384 274 0 0 0 2 0 0 0 20 0 15 0 64509985 14314094592 10102 18446744073709551615 4194304 4196468 140727736242048 140183510264176 140184330263170 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1673] ppid=1659 vsize=13978608 memory=140019669497472 CPUtime=0.08 cores=1,3,5,7
/proc/1661/task/1673/stat : 1673 (java) S 1659 1659 17093 0 -1 1077944384 747 0 0 0 8 0 0 0 20 0 15 0 64509985 14314094592 10102 18446744073709551615 4194304 4196468 140727736242048 140183509211120 140184330263170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1674] ppid=1659 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1674/stat : 1674 (java) S 1659 1659 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64509985 14314094592 10102 18446744073709551615 4194304 4196468 140727736242048 140183508158816 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1675] ppid=1659 vsize=13978608 memory=140019669497472 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1675/stat : 1675 (java) S 1659 1659 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64509988 14314094592 10102 18446744073709551615 4194304 4196468 140727736242048 140183507106864 140184330263170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41788 KiB
[startup+0.700828 s]
/proc/loadavg: 1.69 1.95 1.97 6/211 1675
/proc/meminfo: memFree=31368212/32770624 swapFree=67108860/67108860
[pid=1659] ppid=1656 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1659/stat : 1659 (xcsp3-exec) S 1656 1659 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64509973 9740288 345 18446744073709551615 4194304 5098028 140724435923984 140724435922088 139640076108412 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 29716480 140724435927423 140724435927626 140724435927626 140724435931115 0
/proc/1659/statm: 2378 345 289 221 0 87 0
[pid=1661] ppid=1659 vsize=13978684 memory=149432 CPUtime=1.31 cores=1,3,5,7
/proc/1661/stat : 1661 (java) S 1659 1659 17093 0 -1 1077944320 13155 0 0 0 125 6 0 0 20 0 15 0 64509979 14314172416 37358 18446744073709551615 4194304 4196468 140727736242048 140727736224592 140184330252023 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
/proc/1661/statm: 3494671 37358 3163 1 0 3482964 0
[pid=1661/tid=1662] ppid=1659 vsize=13978684 memory=280039115614784 CPUtime=0.57 cores=1,3,5,7
/proc/1661/task/1662/stat : 1662 (java) R 1659 1659 17093 0 -1 4202560 7860 0 0 0 53 4 0 0 20 0 15 0 64509980 14314172416 37358 18446744073709551615 4194304 4196468 140727736242048 140184334486304 140183927154795 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1663] ppid=1659 vsize=13978684 memory=2110370164841476 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1663/stat : 1663 (java) S 1659 1659 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64509980 14314172416 37358 18446744073709551615 4194304 4196468 140727736242048 140184249666064 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1664] ppid=1659 vsize=13978684 memory=280039115480128 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1664/stat : 1664 (java) S 1659 1659 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64509980 14314172416 37358 18446744073709551615 4194304 4196468 140727736242048 140184248613520 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1665] ppid=1659 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1665/stat : 1665 (java) S 1659 1659 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64509980 14314172416 37358 18446744073709551615 4194304 4196468 140727736242048 140184247560464 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1666] ppid=1659 vsize=13978684 memory=140019557761009 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1666/stat : 1666 (java) S 1659 1659 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64509980 14314172416 37358 18446744073709551615 4194304 4196468 140727736242048 140184246507920 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1667] ppid=1659 vsize=13978684 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1667/stat : 1667 (java) S 1659 1659 17093 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 64509982 14314172416 37358 18446744073709551615 4194304 4196468 140727736242048 140183515527920 140184330263170 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1668] ppid=1659 vsize=13978684 memory=280039115498176 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1668/stat : 1668 (java) S 1659 1659 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64509982 14314172416 37358 18446744073709551615 4194304 4196468 140727736242048 140183514474144 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1669] ppid=1659 vsize=13978684 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1669/stat : 1669 (java) S 1659 1659 17093 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 64509982 14314172416 37358 18446744073709551615 4194304 4196468 140727736242048 140183513421040 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1670] ppid=1659 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1670/stat : 1670 (java) S 1659 1659 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64509985 14314172416 37358 18446744073709551615 4194304 4196468 140727736242048 140183512369616 140184330270619 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1671] ppid=1659 vsize=13978684 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/1661/task/1671/stat : 1671 (java) R 1659 1659 17093 0 -1 4202560 1532 0 0 0 23 0 0 0 20 0 15 0 64509985 14314172416 37358 18446744073709551615 4194304 4196468 140727736242048 140183511305712 140184315173069 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1672] ppid=1659 vsize=13978684 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/1661/task/1672/stat : 1672 (java) R 1659 1659 17093 0 -1 4202560 1129 0 0 0 25 0 0 0 20 0 15 0 64509985 14314172416 37358 18446744073709551615 4194304 4196468 140727736242048 140183510250200 140184311799411 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1673] ppid=1659 vsize=13978684 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/1661/task/1673/stat : 1673 (java) S 1659 1659 17093 0 -1 1077944384 1330 0 0 0 21 0 0 0 20 0 15 0 64509985 14314172416 37358 18446744073709551615 4194304 4196468 140727736242048 140183509211120 140184330263170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1674] ppid=1659 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1674/stat : 1674 (java) S 1659 1659 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64509985 14314172416 37358 18446744073709551615 4194304 4196468 140727736242048 140183508158816 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1675] ppid=1659 vsize=13978684 memory=-2276395272229541278 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1675/stat : 1675 (java) S 1659 1659 17093 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 64509988 14314172416 37870 18446744073709551615 4194304 4196468 140727736242048 140183507106864 140184330263170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
Current children cumulated CPU time: 1.31 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 150812 KiB
[startup+1.50079 s]
/proc/loadavg: 1.69 1.95 1.97 3/211 1675
/proc/meminfo: memFree=31241368/32770624 swapFree=67108860/67108860
[pid=1659] ppid=1656 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1659/stat : 1659 (xcsp3-exec) S 1656 1659 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64509973 9740288 345 18446744073709551615 4194304 5098028 140724435923984 140724435922088 139640076108412 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 29716480 140724435927423 140724435927626 140724435927626 140724435931115 0
/proc/1659/statm: 2378 345 289 221 0 87 0
[pid=1661] ppid=1659 vsize=13978684 memory=197572 CPUtime=2.37 cores=1,3,5,7
/proc/1661/stat : 1661 (java) S 1659 1659 17093 0 -1 1077944320 13515 0 0 0 229 8 0 0 20 0 15 0 64509979 14314172416 49393 18446744073709551615 4194304 4196468 140727736242048 140727736224592 140184330252023 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
/proc/1661/statm: 3494671 49393 3187 1 0 3482964 0
[pid=1661/tid=1662] ppid=1659 vsize=13978684 memory=6944652027076318631 CPUtime=1.36 cores=1,3,5,7
/proc/1661/task/1662/stat : 1662 (java) R 1659 1659 17093 0 -1 4202560 7942 0 0 0 132 4 0 0 20 0 15 0 64509980 14314172416 49393 18446744073709551615 4194304 4196468 140727736242048 140184334485936 140184312714924 0 4 1 16800974 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1663] ppid=1659 vsize=13978684 memory=7084270341389181760 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1663/stat : 1663 (java) S 1659 1659 17093 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 64509980 14314172416 49393 18446744073709551615 4194304 4196468 140727736242048 140184249666064 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1664] ppid=1659 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1664/stat : 1664 (java) S 1659 1659 17093 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 64509980 14314172416 49393 18446744073709551615 4194304 4196468 140727736242048 140184248613520 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1665] ppid=1659 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1665/stat : 1665 (java) S 1659 1659 17093 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 64509980 14314172416 49393 18446744073709551615 4194304 4196468 140727736242048 140184247560464 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1666] ppid=1659 vsize=13978684 memory=280039115528032 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/1661/task/1669/stat : 1669 (java) S 1659 1659 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 64509982 14316269568 109725 18446744073709551615 4194304 4196468 140727736242048 140183513421056 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1670] ppid=1659 vsize=13980732 memory=4294969504 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1670/stat : 1670 (java) S 1659 1659 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64509985 14316269568 109725 18446744073709551615 4194304 4196468 140727736242048 140183512369616 140184330270619 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1671] ppid=1659 vsize=13980732 memory=438900 CPUtime=1.21 cores=1,3,5,7
/proc/1661/task/1671/stat : 1671 (java) S 1659 1659 17093 0 -1 1077944384 8363 0 0 0 120 1 0 0 20 0 15 0 64509985 14316269568 109725 18446744073709551615 4194304 4196468 140727736242048 140183511316720 140184330263170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1672] ppid=1659 vsize=13980732 memory=1380 CPUtime=1.43 cores=1,3,5,7
/proc/1661/task/1672/stat : 1672 (java) S 1659 1659 17093 0 -1 1077944384 9984 0 0 0 141 2 0 0 20 0 15 0 64509985 14316269568 109725 18446744073709551615 4194304 4196468 140727736242048 140183510264176 140184330263170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1673] ppid=1659 vsize=13980732 memory=1380 CPUtime=0.47 cores=1,3,5,7
/proc/1661/task/1673/stat : 1673 (java) S 1659 1659 17093 0 -1 1077944384 4990 0 0 0 47 0 0 0 20 0 15 0 64509985 14316269568 109725 18446744073709551615 4194304 4196468 140727736242048 140183509211120 140184330263170 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1674] ppid=1659 vsize=13980732 memory=36432 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1674/stat : 1674 (java) S 1659 1659 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64509985 14316269568 109725 18446744073709551615 4194304 4196468 140727736242048 140183508158816 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1675] ppid=1659 vsize=13980732 memory=1296 CPUtime=0.04 cores=1,3,5,7
/proc/1661/task/1675/stat : 1675 (java) S 1659 1659 17093 0 -1 1077944384 288 0 0 0 2 2 0 0 20 0 15 0 64509988 14316269568 109725 18446744073709551615 4194304 4196468 140727736242048 140183507106864 140184330263170 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
Current children cumulated CPU time: 105.66 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 440280 KiB
[startup+162.301 s]
/proc/loadavg: 2.02 1.95 1.96 3/211 1762
/proc/meminfo: memFree=29659020/32770624 swapFree=67108860/67108860
[pid=1659] ppid=1656 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1659/stat : 1659 (xcsp3-exec) S 1656 1659 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64509973 9740288 345 18446744073709551615 4194304 5098028 140724435923984 140724435922088 139640076108412 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 29716480 140724435927423 140724435927626 140724435927626 140724435931115 0
/proc/1659/statm: 2378 345 289 221 0 87 0
[pid=1661] ppid=1659 vsize=13980732 memory=447732 CPUtime=165.89 cores=1,3,5,7
/proc/1661/stat : 1661 (java) S 1659 1659 17093 0 -1 1077944320 42065 0 0 0 16561 28 0 0 20 0 15 0 64509979 14316269568 111933 18446744073709551615 4194304 4196468 140727736242048 140727736224592 140184330252023 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
/proc/1661/statm: 3495183 111933 3220 1 0 3483476 0
[pid=1661/tid=1662] ppid=1659 vsize=13980732 memory=447732 CPUtime=162.06 cores=1,3,5,7
/proc/1661/task/1662/stat : 1662 (java) R 1659 1659 17093 0 -1 4202560 13409 0 0 0 16199 7 0 0 20 0 15 0 64509980 14316269568 111933 18446744073709551615 4194304 4196468 140727736242048 140184334487568 140183929052309 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1663] ppid=1659 vsize=13980732 memory=447732 CPUtime=0.1 cores=1,3,5,7
/proc/1661/task/1663/stat : 1663 (java) S 1659 1659 17093 0 -1 1077944384 310 0 0 0 7 3 0 0 20 0 15 0 64509980 14316269568 111933 18446744073709551615 4194304 4196468 140727736242048 140184249666064 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1664] ppid=1659 vsize=13980732 memory=447732 CPUtime=0.08 cores=1,3,5,7
/proc/1661/task/1664/stat : 1664 (java) S 1659 1659 17093 0 -1 1077944384 83 0 0 0 5 3 0 0 20 0 15 0 64509980 14316269568 111933 18446744073709551615 4194304 4196468 140727736242048 140184248613520 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1665] ppid=1659 vsize=13980732 memory=447732 CPUtime=0.08 cores=1,3,5,7
/proc/1661/task/1665/stat : 1665 (java) S 1659 1659 17093 0 -1 1077944384 173 0 0 0 6 2 0 0 20 0 15 0 64509980 14316269568 111933 18446744073709551615 4194304 4196468 140727736242048 140184247560464 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1666] ppid=1659 vsize=13980732 memory=447732 CPUtime=0.09 cores=1,3,5,7
/proc/1661/task/1666/stat : 1666 (java) S 1659 1659 17093 0 -1 1077944384 353 0 0 0 7 2 0 0 20 0 15 0 64509980 14316269568 111933 18446744073709551615 4194304 4196468 140727736242048 140184246507920 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1667] ppid=1659 vsize=13980732 memory=447732 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1667/stat : 1667 (java) S 1659 1659 17093 0 -1 1077944384 444 0 0 0 0 0 0 0 20 0 15 0 64509982 14316269568 111933 18446744073709551615 4194304 4196468 140727736242048 140183515527920 140184330263170 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1668] ppid=1659 vsize=13980732 memory=447732 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1668/stat : 1668 (java) S 1659 1659 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64509982 14316269568 111933 18446744073709551615 4194304 4196468 140727736242048 140183514474208 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1669] ppid=1659 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1669/stat : 1669 (java) S 1659 1659 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 64509982 14316269568 111933 18446744073709551615 4194304 4196468 140727736242048 140183513421056 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1670] ppid=1659 vsize=13980732 memory=447732 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1670/stat : 1670 (java) S 1659 1659 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64509985 14316269568 111933 18446744073709551615 4194304 4196468 140727736242048 140183512369616 140184330270619 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1671] ppid=1659 vsize=13980732 memory=3906652384401633887 CPUtime=1.39 cores=1,3,5,7
/proc/1661/task/1671/stat : 1671 (java) S 1659 1659 17093 0 -1 1077944384 10647 0 0 0 137 2 0 0 20 0 15 0 64509985 14316269568 111933 18446744073709551615 4194304 4196468 140727736242048 140183511316720 140184330263170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1672] ppid=1659 vsize=13980732 memory=447732 CPUtime=1.44 cores=1,3,5,7
/proc/1661/task/1672/stat : 1672 (java) S 1659 1659 17093 0 -1 1077944384 10023 0 0 0 142 2 0 0 20 0 15 0 64509985 14316269568 111933 18446744073709551615 4194304 4196468 140727736242048 140183510264176 140184330263170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1673] ppid=1659 vsize=13980732 memory=1380 CPUtime=0.47 cores=1,3,5,7
/proc/1661/task/1673/stat : 1673 (java) S 1659 1659 17093 0 -1 1077944384 4998 0 0 0 47 0 0 0 20 0 15 0 64509985 14316269568 111933 18446744073709551615 4194304 4196468 140727736242048 140183509211120 140184330263170 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1674] ppid=1659 vsize=13980732 memory=447732 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1674/stat : 1674 (java) S 1659 1659 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64509985 14316269568 111933 18446744073709551615 4194304 4196468 140727736242048 140183508158816 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1675] ppid=1659 vsize=13980732 memory=4028 CPUtime=0.08 cores=1,3,5,7
/proc/1661/task/1675/stat : 1675 (java) S 1659 1659 17093 0 -1 1077944384 329 0 0 0 4 4 0 0 20 0 15 0 64509988 14316269568 111933 18446744073709551615 4194304 4196468 140727736242048 140183507106864 140184330263170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
Current children cumulated CPU time: 165.89 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 449112 KiB
[startup+222.301 s]
/proc/loadavg: 2.08 1.97 1.97 3/211 1764
/proc/meminfo: memFree=29429504/32770624 swapFree=67108860/67108860
[pid=1659] ppid=1656 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1659/stat : 1659 (xcsp3-exec) S 1656 1659 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64509973 9740288 345 18446744073709551615 4194304 5098028 140724435923984 140724435922088 139640076108412 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 29716480 140724435927423 140724435927626 140724435927626 140724435931115 0
/proc/1659/statm: 2378 345 289 221 0 87 0
[pid=1661] ppid=1659 vsize=13980732 memory=447752 CPUtime=225.93 cores=1,3,5,7
/proc/1661/stat : 1661 (java) S 1659 1659 17093 0 -1 1077944320 42489 0 0 0 22564 29 0 0 20 0 15 0 64509979 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140727736224592 140184330252023 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
/proc/1661/statm: 3495183 111938 3220 1 0 3483476 0
[pid=1661/tid=1662] ppid=1659 vsize=13980732 memory=1380 CPUtime=222.05 cores=1,3,5,7
/proc/1661/task/1662/stat : 1662 (java) R 1659 1659 17093 0 -1 4202560 13666 0 0 0 22198 7 0 0 20 0 15 0 64509980 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140184334490232 140183929052732 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1663] ppid=1659 vsize=13980732 memory=1380 CPUtime=0.1 cores=1,3,5,7
/proc/1661/task/1663/stat : 1663 (java) S 1659 1659 17093 0 -1 1077944384 310 0 0 0 7 3 0 0 20 0 15 0 64509980 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140184249666064 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1664] ppid=1659 vsize=13980732 memory=447752 CPUtime=0.08 cores=1,3,5,7
/proc/1661/task/1664/stat : 1664 (java) S 1659 1659 17093 0 -1 1077944384 83 0 0 0 5 3 0 0 20 0 15 0 64509980 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140184248613520 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1665] ppid=1659 vsize=13980732 memory=1380 CPUtime=0.08 cores=1,3,5,7
/proc/1661/task/1665/stat : 1665 (java) S 1659 1659 17093 0 -1 1077944384 173 0 0 0 6 2 0 0 20 0 15 0 64509980 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140184247560464 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1666] ppid=1659 vsize=13980732 memory=1380 CPUtime=0.09 cores=1,3,5,7
/proc/1661/task/1666/stat : 1666 (java) S 1659 1659 17093 0 -1 1077944384 353 0 0 0 7 2 0 0 20 0 15 0 64509980 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140184246507920 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1667] ppid=1659 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1667/stat : 1667 (java) S 1659 1659 17093 0 -1 1077944384 444 0 0 0 0 0 0 0 20 0 15 0 64509982 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140183515527920 140184330263170 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1668] ppid=1659 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1668/stat : 1668 (java) S 1659 1659 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64509982 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140183514474208 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1669] ppid=1659 vsize=13980732 memory=447752 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1669/stat : 1669 (java) S 1659 1659 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 64509982 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140183513421056 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1670] ppid=1659 vsize=13980732 memory=447752 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1670/stat : 1670 (java) S 1659 1659 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64509985 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140183512369616 140184330270619 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1671] ppid=1659 vsize=13980732 memory=447752 CPUtime=1.39 cores=1,3,5,7
/proc/1661/task/1671/stat : 1671 (java) S 1659 1659 17093 0 -1 1077944384 10647 0 0 0 137 2 0 0 20 0 15 0 64509985 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140183511316720 140184330263170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1672] ppid=1659 vsize=13980732 memory=447752 CPUtime=1.44 cores=1,3,5,7
/proc/1661/task/1672/stat : 1672 (java) S 1659 1659 17093 0 -1 1077944384 10023 0 0 0 142 2 0 0 20 0 15 0 64509985 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140183510264176 140184330263170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1673] ppid=1659 vsize=13980732 memory=447752 CPUtime=0.47 cores=1,3,5,7
/proc/1661/task/1673/stat : 1673 (java) S 1659 1659 17093 0 -1 1077944384 5161 0 0 0 47 0 0 0 20 0 15 0 64509985 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140183509211120 140184330263170 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1674] ppid=1659 vsize=13980732 memory=447752 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1674/stat : 1674 (java) S 1659 1659 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64509985 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140183508158816 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1675] ppid=1659 vsize=13980732 memory=1380 CPUtime=0.11 cores=1,3,5,7
/proc/1661/task/1675/stat : 1675 (java) S 1659 1659 17093 0 -1 1077944384 333 0 0 0 6 5 0 0 20 0 15 0 64509988 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140183507106864 140184330263170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
Current children cumulated CPU time: 225.93 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 449132 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]*
/proc/loadavg: 2.06 1.98 1.97 3/211 1764
/proc/meminfo: memFree=29429380/32770624 swapFree=67108860/67108860
[pid=1659] ppid=1656 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1659/stat : 1659 (xcsp3-exec) S 1656 1659 17093 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 64509973 9740288 345 18446744073709551615 4194304 5098028 140724435923984 140724435922088 139640076108412 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 6 0 0 7196144 7232144 29716480 140724435927423 140724435927626 140724435927626 140724435931115 0
/proc/1659/statm: 2378 345 289 221 0 87 0
[pid=1661] ppid=1659 vsize=13980732 memory=447752 CPUtime=243.64 cores=1,3,5,7
/proc/1661/stat : 1661 (java) S 1659 1659 17093 0 -1 1077944320 42496 0 0 0 24335 29 0 0 20 0 15 0 64509979 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140727736224592 140184330252023 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
/proc/1661/statm: 3495183 111938 3220 1 0 3483476 0
[pid=1661/tid=1662] ppid=1659 vsize=13980732 memory=4072 CPUtime=239.76 cores=1,3,5,7
/proc/1661/task/1662/stat : 1662 (java) R 1659 1659 17093 0 -1 4202560 13673 0 0 0 23969 7 0 0 20 0 15 0 64509980 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140184334490232 140183929052732 0 4 1 16800974 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1663] ppid=1659 vsize=13980732 memory=2248 CPUtime=0.1 cores=1,3,5,7
/proc/1661/task/1663/stat : 1663 (java) S 1659 1659 17093 0 -1 1077944384 310 0 0 0 7 3 0 0 20 0 15 0 64509980 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140184249666064 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1664] ppid=1659 vsize=13980732 memory=1380 CPUtime=0.08 cores=1,3,5,7
/proc/1661/task/1664/stat : 1664 (java) S 1659 1659 17093 0 -1 1077944384 83 0 0 0 5 3 0 0 20 0 15 0 64509980 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140184248613520 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1665] ppid=1659 vsize=13980732 memory=4126316290023845779 CPUtime=0.08 cores=1,3,5,7
/proc/1661/task/1665/stat : 1665 (java) S 1659 1659 17093 0 -1 1077944384 173 0 0 0 6 2 0 0 20 0 15 0 64509980 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140184247560464 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1666] ppid=1659 vsize=13980732 memory=4612 CPUtime=0.09 cores=1,3,5,7
/proc/1661/task/1666/stat : 1666 (java) S 1659 1659 17093 0 -1 1077944384 353 0 0 0 7 2 0 0 20 0 15 0 64509980 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140184246507920 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1667] ppid=1659 vsize=13980732 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1667/stat : 1667 (java) S 1659 1659 17093 0 -1 1077944384 444 0 0 0 0 0 0 0 20 0 15 0 64509982 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140183515527920 140184330263170 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1668] ppid=1659 vsize=13980732 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1668/stat : 1668 (java) S 1659 1659 17093 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 64509982 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140183514474208 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1669] ppid=1659 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1669/stat : 1669 (java) S 1659 1659 17093 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 64509982 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140183513421056 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1670] ppid=1659 vsize=13980732 memory=12200 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1670/stat : 1670 (java) S 1659 1659 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64509985 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140183512369616 140184330270619 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1671] ppid=1659 vsize=13980732 memory=1992 CPUtime=1.39 cores=1,3,5,7
/proc/1661/task/1671/stat : 1671 (java) S 1659 1659 17093 0 -1 1077944384 10647 0 0 0 137 2 0 0 20 0 15 0 64509985 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140183511316720 140184330263170 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1672] ppid=1659 vsize=13980732 memory=1204 CPUtime=1.44 cores=1,3,5,7
/proc/1661/task/1672/stat : 1672 (java) S 1659 1659 17093 0 -1 1077944384 10023 0 0 0 142 2 0 0 20 0 15 0 64509985 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140183510264176 140184330263170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1673] ppid=1659 vsize=13980732 memory=1788 CPUtime=0.47 cores=1,3,5,7
/proc/1661/task/1673/stat : 1673 (java) S 1659 1659 17093 0 -1 1077944384 5161 0 0 0 47 0 0 0 20 0 15 0 64509985 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140183509211120 140184330263170 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1674] ppid=1659 vsize=13980732 memory=640 CPUtime=0 cores=1,3,5,7
/proc/1661/task/1674/stat : 1674 (java) S 1659 1659 17093 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 64509985 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140183508158816 140184330262229 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
[pid=1661/tid=1675] ppid=1659 vsize=13980732 memory=960 CPUtime=0.12 cores=1,3,5,7
/proc/1661/task/1675/stat : 1675 (java) S 1659 1659 17093 0 -1 1077944384 333 0 0 0 7 5 0 0 20 0 15 0 64509988 14316269568 111938 18446744073709551615 4194304 4196468 140727736242048 140183507106864 140184330263170 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38862848 140727736246711 140727736246886 140727736246886 140727736250319 0
Current children cumulated CPU time: 243.64 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 449132 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+240.02 s]
# the end of solver process 1659 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001942 s, system=0 s
[startup+240.024 s]
# the end of solver process 1661 was just reported to runsolver
# cumulated CPU time of all completed processes: user=243.364 s, system=0.30514 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.024
CPU time (s): 243.669
CPU user time (s): 243.364
CPU system time (s): 0.30514
CPU usage (%): 101.519
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 449132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.364
system time used= 0.30514
maximum resident set size= 448344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43645
page faults= 0
swaps= 0
block input operations= 0
block output operations= 320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7605
involuntary context switches= 92
# summary of solver processes directly reported to runsolver:
# pid: 1659,1661
# total CPU time (s): 243.669
# total CPU user time (s): 243.364
# total CPU system time (s): 0.30514
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.26212 second user time and 2.59963 second system time
The end