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 (14104 MiB free)
memory of node 1: 16384 MiB (15427 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283896-1503200519/watcher-4283896-1503200519 -o /tmp/evaluation-result-4283896-1503200519/solver-4283896-1503200519 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503172133-9103 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1254427289 HOME/instance-4283896-1503200519.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=16838, runsolver pid=16835
Current StackSize limit: 8192 KiB
[startup+0.100155 s]*
/proc/loadavg: 1.96 1.82 1.81 3/203 16846
/proc/meminfo: memFree=30232368/32770624 swapFree=67108860/67108860
[pid=16838] ppid=16835 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16838/stat : 16838 (xcsp3-exec) S 16835 16838 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122244900 9740288 345 18446744073709551615 4194304 5098028 140733133103280 140733133101384 139859455300220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 26226688 140733133107576 140733133107781 140733133107781 140733133111275 0
/proc/16838/statm: 2378 345 289 221 0 87 0
[pid=16840] ppid=16838 vsize=13574484 memory=16932 CPUtime=0.02 cores=1,3,5,7
/proc/16840/stat : 16840 (java) S 16838 16838 28892 0 -1 1077944320 4055 0 0 0 2 0 0 0 20 0 9 0 122244908 13900271616 4233 18446744073709551615 4194304 4196468 140723395681760 140723395664304 140030722977527 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
/proc/16840/statm: 3393621 4233 2092 1 0 3383118 0
[pid=16840/tid=16841] ppid=16838 vsize=13574484 memory=-8023549066454273880 CPUtime=0.02 cores=1,3,5,7
/proc/16840/task/16841/stat : 16841 (java) R 16838 16838 28892 0 -1 4202560 2769 0 0 0 2 0 0 0 20 0 9 0 122244908 13900271616 4233 18446744073709551615 4194304 4196468 140723395681760 140030727213256 140030707058014 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16842] ppid=16838 vsize=13574484 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16842/stat : 16842 (java) S 16838 16838 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 122244909 13900271616 4233 18446744073709551615 4194304 4196468 140723395681760 140030642392208 140030722987733 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16843] ppid=16838 vsize=13574484 memory=140562156594816 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16843/stat : 16843 (java) S 16838 16838 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 122244909 13900271616 4233 18446744073709551615 4194304 4196468 140723395681760 140030641339408 140030722987733 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16844] ppid=16838 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16844/stat : 16844 (java) S 16838 16838 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 122244909 13900271616 4233 18446744073709551615 4194304 4196468 140723395681760 140030640286608 140030722987733 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16845] ppid=16838 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16845/stat : 16845 (java) S 16838 16838 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 122244909 13900271616 4233 18446744073709551615 4194304 4196468 140723395681760 140030639233808 140030722987733 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16846] ppid=16838 vsize=13574484 memory=140562156594816 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16846/stat : 16846 (java) S 16838 16838 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 122244910 13900271616 4233 18446744073709551615 4194304 4196468 140723395681760 140029908298096 140030722988674 0 0 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16847] ppid=16838 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16847/stat : 16847 (java) S 16838 16838 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 122244911 13900271616 4233 18446744073709551615 4194304 4196468 140723395681760 140029907244064 140030722987733 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16848] ppid=16838 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16848/stat : 16848 (java) S 16838 16838 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 122244911 13900271616 4745 18446744073709551615 4194304 4196468 140723395681760 140029906191280 140030722987733 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 18312 KiB
[startup+0.209878 s]*
/proc/loadavg: 1.96 1.82 1.81 4/211 16854
/proc/meminfo: memFree=30223724/32770624 swapFree=67108860/67108860
[pid=16838] ppid=16835 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16838/stat : 16838 (xcsp3-exec) S 16835 16838 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122244900 9740288 345 18446744073709551615 4194304 5098028 140733133103280 140733133101384 139859455300220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 26226688 140733133107576 140733133107781 140733133107781 140733133111275 0
/proc/16838/statm: 2378 345 289 221 0 87 0
[pid=16840] ppid=16838 vsize=13974352 memory=27896 CPUtime=0.12 cores=1,3,5,7
/proc/16840/stat : 16840 (java) S 16838 16838 28892 0 -1 1077944320 5423 0 0 0 11 1 0 0 20 0 15 0 122244908 14309736448 6974 18446744073709551615 4194304 4196468 140723395681760 140723395664304 140030722977527 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
/proc/16840/statm: 3493588 6974 2846 1 0 3482964 0
[pid=16840/tid=16841] ppid=16838 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=1,3,5,7
/proc/16840/task/16841/stat : 16841 (java) R 16838 16838 28892 0 -1 4202560 3439 0 0 0 8 0 0 0 20 0 15 0 122244908 14309736448 7039 18446744073709551615 4194304 4196468 140723395681760 140030727210800 140030722989462 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16842] ppid=16838 vsize=13974352 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16842/stat : 16842 (java) S 16838 16838 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122244909 14309736448 7039 18446744073709551615 4194304 4196468 140723395681760 140030642392208 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16843] ppid=16838 vsize=13974352 memory=140562157767284 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16843/stat : 16843 (java) S 16838 16838 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122244909 14309736448 7039 18446744073709551615 4194304 4196468 140723395681760 140030641339408 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16844] ppid=16838 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16844/stat : 16844 (java) S 16838 16838 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122244909 14309736448 7039 18446744073709551615 4194304 4196468 140723395681760 140030640286608 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16845] ppid=16838 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16845/stat : 16845 (java) S 16838 16838 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122244909 14309736448 7039 18446744073709551615 4194304 4196468 140723395681760 140030639233808 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16846] ppid=16838 vsize=13974352 memory=140562156594816 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16846/stat : 16846 (java) S 16838 16838 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122244910 14309736448 7039 18446744073709551615 4194304 4196468 140723395681760 140029908298096 140030722988674 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16847] ppid=16838 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16847/stat : 16847 (java) S 16838 16838 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122244911 14309736448 7039 18446744073709551615 4194304 4196468 140723395681760 140029907244064 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16848] ppid=16838 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16848/stat : 16848 (java) S 16838 16838 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122244911 14309736448 7039 18446744073709551615 4194304 4196468 140723395681760 140029906191216 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16849] ppid=16838 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16849/stat : 16849 (java) S 16838 16838 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122244913 14309736448 7039 18446744073709551615 4194304 4196468 140723395681760 140029905139536 140030722996123 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16850] ppid=16838 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16850/stat : 16850 (java) S 16838 16838 28892 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 15 0 122244913 14309736448 7039 18446744073709551615 4194304 4196468 140723395681760 140029904087920 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16851] ppid=16838 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16851/stat : 16851 (java) S 16838 16838 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 122244913 14309736448 7039 18446744073709551615 4194304 4196468 140723395681760 140029903035120 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16852] ppid=16838 vsize=13974352 memory=140562156594816 CPUtime=0.01 cores=1,3,5,7
/proc/16840/task/16852/stat : 16852 (java) R 16838 16838 28892 0 -1 4202560 271 0 0 0 1 0 0 0 20 0 15 0 122244913 14309736448 7039 18446744073709551615 4194304 4196468 140723395681760 140029901982320 140030707170388 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16853] ppid=16838 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16853/stat : 16853 (java) S 16838 16838 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122244913 14309736448 7039 18446744073709551615 4194304 4196468 140723395681760 140029900929760 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16854] ppid=16838 vsize=13974352 memory=140562156594816 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16854/stat : 16854 (java) S 16838 16838 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122244918 14309736448 7039 18446744073709551615 4194304 4196468 140723395681760 140029899877040 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29276 KiB
[startup+0.317401 s]*
/proc/loadavg: 1.96 1.82 1.81 4/211 16854
/proc/meminfo: memFree=30210124/32770624 swapFree=67108860/67108860
[pid=16838] ppid=16835 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16838/stat : 16838 (xcsp3-exec) S 16835 16838 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122244900 9740288 345 18446744073709551615 4194304 5098028 140733133103280 140733133101384 139859455300220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 26226688 140733133107576 140733133107781 140733133107781 140733133111275 0
/proc/16838/statm: 2378 345 289 221 0 87 0
[pid=16840] ppid=16838 vsize=13978608 memory=39904 CPUtime=0.33 cores=1,3,5,7
/proc/16840/stat : 16840 (java) S 16838 16838 28892 0 -1 1077944320 9256 0 0 0 31 2 0 0 20 0 15 0 122244908 14314094592 9976 18446744073709551615 4194304 4196468 140723395681760 140723395664304 140030722977527 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
/proc/16840/statm: 3494652 9976 3003 1 0 3482964 0
[pid=16840/tid=16841] ppid=16838 vsize=13978608 memory=-7677926825137650786 CPUtime=0.2 cores=1,3,5,7
/proc/16840/task/16841/stat : 16841 (java) R 16838 16838 28892 0 -1 4202560 6379 0 0 0 18 2 0 0 20 0 15 0 122244908 14314094592 9976 18446744073709551615 4194304 4196468 140723395681760 140030727198520 140030722999453 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16842] ppid=16838 vsize=13978608 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16842/stat : 16842 (java) S 16838 16838 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122244909 14314094592 9976 18446744073709551615 4194304 4196468 140723395681760 140030642392208 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16843] ppid=16838 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16843/stat : 16843 (java) S 16838 16838 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122244909 14314094592 9976 18446744073709551615 4194304 4196468 140723395681760 140030641339408 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16844] ppid=16838 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16844/stat : 16844 (java) S 16838 16838 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122244909 14314094592 9976 18446744073709551615 4194304 4196468 140723395681760 140030640286608 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16845] ppid=16838 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16845/stat : 16845 (java) S 16838 16838 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122244909 14314094592 9976 18446744073709551615 4194304 4196468 140723395681760 140030639233808 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16846] ppid=16838 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16846/stat : 16846 (java) S 16838 16838 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122244910 14314094592 9976 18446744073709551615 4194304 4196468 140723395681760 140029908298096 140030722988674 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16847] ppid=16838 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16847/stat : 16847 (java) S 16838 16838 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122244911 14314094592 9976 18446744073709551615 4194304 4196468 140723395681760 140029907244064 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16848] ppid=16838 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16848/stat : 16848 (java) S 16838 16838 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122244911 14314094592 9976 18446744073709551615 4194304 4196468 140723395681760 140029906191216 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16849] ppid=16838 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16849/stat : 16849 (java) S 16838 16838 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122244913 14314094592 9976 18446744073709551615 4194304 4196468 140723395681760 140029905139536 140030722996123 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16850] ppid=16838 vsize=13978608 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/16840/task/16850/stat : 16850 (java) S 16838 16838 28892 0 -1 1077944384 578 0 0 0 3 0 0 0 20 0 15 0 122244913 14314094592 9976 18446744073709551615 4194304 4196468 140723395681760 140029904087920 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16851] ppid=16838 vsize=13978608 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/16840/task/16851/stat : 16851 (java) S 16838 16838 28892 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 15 0 122244913 14314094592 9976 18446744073709551615 4194304 4196468 140723395681760 140029903035120 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16852] ppid=16838 vsize=13978608 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/16840/task/16852/stat : 16852 (java) S 16838 16838 28892 0 -1 1077944384 739 0 0 0 7 0 0 0 20 0 15 0 122244913 14314094592 9976 18446744073709551615 4194304 4196468 140723395681760 140029901982320 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16853] ppid=16838 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16853/stat : 16853 (java) S 16838 16838 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122244913 14314094592 9976 18446744073709551615 4194304 4196468 140723395681760 140029900929760 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16854] ppid=16838 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16854/stat : 16854 (java) S 16838 16838 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122244918 14314094592 9976 18446744073709551615 4194304 4196468 140723395681760 140029899877040 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41284 KiB
[startup+0.705428 s]
/proc/loadavg: 1.96 1.83 1.81 6/211 16854
/proc/meminfo: memFree=30199216/32770624 swapFree=67108860/67108860
[pid=16838] ppid=16835 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16838/stat : 16838 (xcsp3-exec) S 16835 16838 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122244900 9740288 345 18446744073709551615 4194304 5098028 140733133103280 140733133101384 139859455300220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 26226688 140733133107576 140733133107781 140733133107781 140733133111275 0
/proc/16838/statm: 2378 345 289 221 0 87 0
[pid=16840] ppid=16838 vsize=13980732 memory=76476 CPUtime=1.39 cores=1,3,5,7
/proc/16840/stat : 16840 (java) S 16838 16838 28892 0 -1 1077944320 13674 0 0 0 134 5 0 0 20 0 15 0 122244908 14316269568 19119 18446744073709551615 4194304 4196468 140723395681760 140723395664304 140030722977527 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
/proc/16840/statm: 3495183 19119 3167 1 0 3483476 0
[pid=16840/tid=16841] ppid=16838 vsize=13980732 memory=4612 CPUtime=0.57 cores=1,3,5,7
/proc/16840/task/16841/stat : 16841 (java) R 16838 16838 28892 0 -1 1077944384 8481 0 0 0 53 4 0 0 20 0 15 0 122244908 14316269568 19119 18446744073709551615 4194304 4196468 140723395681760 140030727216240 140030722987733 0 4 1 16800974 0 0 0 -1 7 0 0 3 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16842] ppid=16838 vsize=13980732 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16842/stat : 16842 (java) S 16838 16838 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122244909 14316269568 19119 18446744073709551615 4194304 4196468 140723395681760 140030642392208 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16843] ppid=16838 vsize=13980732 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16843/stat : 16843 (java) S 16838 16838 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122244909 14316269568 19119 18446744073709551615 4194304 4196468 140723395681760 140030641339408 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16844] ppid=16838 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16844/stat : 16844 (java) S 16838 16838 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122244909 14316269568 19119 18446744073709551615 4194304 4196468 140723395681760 140030640286608 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16845] ppid=16838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16845/stat : 16845 (java) S 16838 16838 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122244909 14316269568 19119 18446744073709551615 4194304 4196468 140723395681760 140030639233808 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16846] ppid=16838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16846/stat : 16846 (java) S 16838 16838 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 122244910 14316269568 19119 18446744073709551615 4194304 4196468 140723395681760 140029908298096 140030722988674 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16847] ppid=16838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16847/stat : 16847 (java) S 16838 16838 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122244911 14316269568 19119 18446744073709551615 4194304 4196468 140723395681760 140029907244064 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16848] ppid=16838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16848/stat : 16848 (java) S 16838 16838 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 122244911 14316269568 19119 18446744073709551615 4194304 4196468 140723395681760 140029906191216 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16849] ppid=16838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16849/stat : 16849 (java) S 16838 16838 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122244913 14316269568 19119 18446744073709551615 4194304 4196468 140723395681760 140029905139536 140030722996123 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16850] ppid=16838 vsize=13980732 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/16840/task/16850/stat : 16850 (java) R 16838 16838 28892 0 -1 4202560 1349 0 0 0 24 0 0 0 20 0 15 0 122244913 14316269568 19119 18446744073709551615 4194304 4196468 140723395681760 140029904078032 140030704156405 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16851] ppid=16838 vsize=13980732 memory=27 CPUtime=0.24 cores=1,3,5,7
/proc/16840/task/16851/stat : 16851 (java) R 16838 16838 28892 0 -1 4202560 951 0 0 0 24 0 0 0 20 0 15 0 122244913 14316269568 19119 18446744073709551615 4194304 4196468 140723395681760 140029903016720 140030704524268 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16852] ppid=16838 vsize=13980732 memory=79 CPUtime=0.31 cores=1,3,5,7
/proc/16840/task/16852/stat : 16852 (java) S 16838 16838 28892 0 -1 1077944384 1585 0 0 0 31 0 0 0 20 0 15 0 122244913 14316269568 19119 18446744073709551615 4194304 4196468 140723395681760 140029901982320 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16853] ppid=16838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16853/stat : 16853 (java) S 16838 16838 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122244913 14316269568 19119 18446744073709551615 4194304 4196468 140723395681760 140029900929760 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16854] ppid=16838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16854/stat : 16854 (java) S 16838 16838 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122244918 14316269568 19119 18446744073709551615 4194304 4196468 140723395681760 140029899877040 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
Current children cumulated CPU time: 1.39 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 77856 KiB
[startup+1.50084 s]
/proc/loadavg: 1.96 1.83 1.81 5/211 16854
/proc/meminfo: memFree=30160516/32770624 swapFree=67108860/67108860
[pid=16838] ppid=16835 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16838/stat : 16838 (xcsp3-exec) S 16835 16838 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122244900 9740288 345 18446744073709551615 4194304 5098028 140733133103280 140733133101384 139859455300220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 26226688 140733133107576 140733133107781 140733133107781 140733133111275 0
/proc/16838/statm: 2378 345 289 221 0 87 0
[pid=16840] ppid=16838 vsize=13980732 memory=113596 CPUtime=3.95 cores=1,3,5,7
/proc/16840/stat : 16840 (java) S 16838 16838 28892 0 -1 1077944320 20538 0 0 0 389 6 0 0 20 0 15 0 122244908 14316269568 28399 18446744073709551615 4194304 4196468 140723395681760 140723395664304 140030722977527 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
/proc/16840/statm: 3495183 28399 3201 1 0 3483476 0
[pid=16840/tid=16841] ppid=16838 vsize=13980732 memory=-8774313645642428999 CPUtime=1.35 cores=1,3,5,7
/proc/16840/task/16841/stat : 16841 (java) R 16838 16838 28892 0 -1 4202560 9056 0 0 0 131 4 0 0 20 0 15 0 122244908 14316269568 28399 18446744073709551615 4194304 4196468 140723395681760 140030727216352 140030722989462 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16842] ppid=16838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16842/stat : 16842 (java) S 16838 16838 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 122244909 14316269568 28399 18446744073709551615 4194304 4196468 140723395681760 140030642392208 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16843] ppid=16838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16843/stat : 16843 (java) S 16838 16838 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122244909 14316269568 28399 18446744073709551615 4194304 4196468 140723395681760 140030641339408 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16844] ppid=16838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16844/stat : 16844 (java) S 16838 16838 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 122244909 14316269568 28399 18446744073709551615 4194304 4196468 140723395681760 140030640286608 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16845] ppid=16838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/16838/stat : 16838 (xcsp3-exec) S 16835 16838 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122244900 9740288 345 18446744073709551615 4194304 5098028 140733133103280 140733133101384 139859455300220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 26226688 140733133107576 140733133107781 140733133107781 140733133111275 0
/proc/16838/statm: 2378 345 289 221 0 87 0
[pid=16840] ppid=16838 vsize=13980732 memory=210052 CPUtime=10.91 cores=1,3,5,7
/proc/16840/stat : 16840 (java) S 16838 16838 28892 0 -1 1077944320 24630 0 0 0 1080 11 0 0 20 0 15 0 122244908 14316269568 52513 18446744073709551615 4194304 4196468 140723395681760 140723395664304 140030722977527 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
/proc/16840/statm: 3495183 52513 3219 1 0 3483476 0
[pid=16840/tid=16841] ppid=16838 vsize=13980732 memory=-8774313645642428999 CPUtime=6.23 cores=1,3,5,7
/proc/16840/task/16841/stat : 16841 (java) R 16838 16838 28892 0 -1 4202560 9635 0 0 0 618 5 0 0 20 0 15 0 122244908 14316269568 52513 18446744073709551615 4194304 4196468 140723395681760 140030727215976 140030316591757 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16842] ppid=16838 vsize=13980732 memory=624 CPUtime=0.01 cores=1,3,5,7
/proc/16840/task/16842/stat : 16842 (java) S 16838 16838 28892 0 -1 1077944384 214 0 0 0 1 0 0 0 20 0 15 0 122244909 14316269568 52513 18446744073709551615 4194304 4196468 140723395681760 140030642392208 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16843] ppid=16838 vsize=13980732 memory=144748987843492 CPUtime=0.01 cores=1,3,5,7
/proc/16840/task/16843/stat : 16843 (java) S 16838 16838 28892 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 15 0 122244909 14316269568 52513 18446744073709551615 4194304 4196468 140723395681760 140030641339408 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16844] ppid=16838 vsize=13980732 memory=281123997839376 CPUtime=0.01 cores=1,3,5,7
/proc/16840/task/16844/stat : 16844 (java) S 16838 16838 28892 0 -1 1077944384 565 0 0 0 1 0 0 0 20 0 15 0 122244909 14316269568 52513 18446744073709551615 4194304 4196468 140723395681760 140030640286608 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16845] ppid=16838 vsize=13980732 memory=-6876588628788210059 CPUtime=0.01 cores=1,3,5,7
/proc/16840/task/16845/stat : 16845 (java) S 16838 16838 28892 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 15 0 122244909 14316269568 52513 18446744073709551615 4194304 4196468 140723395681760 140030639233808 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16846] ppid=16838 vsize=13980732 memory=4420 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16846/stat : 16846 (java) S 16838 16838 28892 0 -1 1077944384 182 0 0 0 0 0 0 0 20 0 15 0 122244910 14316269568 52513 18446744073709551615 4194304 4196468 140723395681760 140029908298096 140030722988674 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16847] ppid=16838 vsize=13980732 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16847/stat : 16847 (java) S 16838 16838 28892 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 122244911 14316269568 52513 18446744073709551615 4194304 4196468 140723395681760 140029907244064 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16848] ppid=16838 vsize=13980732 memory=8836 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16848/stat : 16848 (java) S 16838 16838 28892 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 122244911 14316269568 52513 18446744073709551615 4194304 4196468 140723395681760 140029906191216 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16849] ppid=16838 vsize=13980732 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16849/stat : 16849 (java) S 16838 16838 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122244913 14316269568 52513 18446744073709551615 4194304 4196468 140723395681760 140029905139536 140030722996123 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16850] ppid=16838 vsize=13980732 memory=37516 CPUtime=1.94 cores=1,3,5,7
/proc/16840/task/16850/stat : 16850 (java) S 16838 16838 28892 0 -1 1077944384 4713 0 0 0 194 0 0 0 20 0 15 0 122244913 14316269568 52513 18446744073709551615 4194304 4196468 140723395681760 140029904087920 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16851] ppid=16838 vsize=13980732 memory=1788 CPUtime=2 cores=1,3,5,7
/proc/16840/task/16851/stat : 16851 (java) S 16838 16838 28892 0 -1 1077944384 4336 0 0 0 199 1 0 0 20 0 15 0 122244913 14316269568 52513 18446744073709551615 4194304 4196468 140723395681760 140029903035120 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16852] ppid=16838 vsize=13980732 memory=640 CPUtime=0.62 cores=1,3,5,7
/proc/16840/task/16852/stat : 16852 (java) S 16838 16838 28892 0 -1 1077944384 3493 0 0 0 61 1 0 0 20 0 15 0 122244913 14316269568 52513 18446744073709551615 4194304 4196468 140723395681760 140029901982320 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16853] ppid=16838 vsize=13980732 memory=960 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16853/stat : 16853 (java) S 16838 16838 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122244913 14316269568 52513 18446744073709551615 4194304 4196468 140723395681760 140029900929760 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16854] ppid=16838 vsize=13980732 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16854/stat : 16854 (java) S 16838 16838 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 122244918 14316269568 52513 18446744073709551615 4194304 4196468 140723395681760 140029899877040 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
Current children cumulated CPU time: 10.91 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 211432 KiB
[startup+8.0008 s]*
/proc/loadavg: 1.96 1.83 1.81 3/211 16854
/proc/meminfo: memFree=30050428/32770624 swapFree=67108860/67108860
[pid=16838] ppid=16835 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16838/stat : 16838 (xcsp3-exec) S 16835 16838 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122244900 9740288 345 18446744073709551615 4194304 5098028 140733133103280 140733133101384 139859455300220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 26226688 140733133107576 140733133107781 140733133107781 140733133111275 0
/proc/16838/statm: 2378 345 289 221 0 87 0
[pid=16840] ppid=16838 vsize=13980732 memory=210320 CPUtime=12.79 cores=1,3,5,7
/proc/16840/stat : 16840 (java) S 16838 16838 28892 0 -1 1077944320 26351 0 0 0 1268 11 0 0 20 0 15 0 122244908 14316269568 52580 18446744073709551615 4194304 4196468 140723395681760 140723395664304 140030722977527 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
/proc/16840/statm: 3495183 52580 3220 1 0 3483476 0
[pid=16840/tid=16841] ppid=16838 vsize=13980732 memory=-7677926825137650786 CPUtime=7.83 cores=1,3,5,7
/proc/16840/task/16841/stat : 16841 (java) R 16838 16838 28892 0 -1 4202560 9906 0 0 0 778 5 0 0 20 0 15 0 122244908 14316269568 52580 18446744073709551615 4194304 4196468 140723395681760 140030727214528 140030318465072 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16842] ppid=16838 vsize=13980732 memory=4872558044660077418 CPUtime=0.01 cores=1,3,5,7
/proc/16840/task/16842/stat : 16842 (java) S 16838 16838 28892 0 -1 1077944384 214 0 0 0 1 0 0 0 20 0 15 0 122244909 14316269568 52580 18446744073709551615 4194304 4196468 140723395681760 140030642392208 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16843] ppid=16838 vsize=13980732 memory=1732 CPUtime=0.01 cores=1,3,5,7
/proc/16840/task/16843/stat : 16843 (java) S 16838 16838 28892 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 15 0 122244909 14316269568 52580 18446744073709551615 4194304 4196468 140723395681760 140030641339408 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16844] ppid=16838 vsize=13980732 memory=5788 CPUtime=0.01 cores=1,3,5,7
/proc/16840/task/16844/stat : 16844 (java) S 16838 16838 28892 0 -1 1077944384 565 0 0 0 1 0 0 0 20 0 15 0 122244909 14316269568 52580 18446744073709551615 4194304 4196468 140723395681760 140030640286608 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16845] ppid=16838 vsize=13980732 memory=4612 CPUtime=0.01 cores=1,3,5,7
/proc/16840/task/16845/stat : 16845 (java) S 16838 16838 28892 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 15 0 122244909 14316269568 52580 18446744073709551615 4194304 4196468 140723395681760 140030639233808 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16846] ppid=16838 vsize=13980732 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16846/stat : 16846 (java) S 16838 16838 28892 0 -1 1077944384 195 0 0 0 0 0 0 0 20 0 15 0 122244910 14316269568 52580 18446744073709551615 4194304 4196468 140723395681760 140029908298096 140030722988674 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16847] ppid=16838 vsize=13980732 memory=1444 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16847/stat : 16847 (java) S 16838 16838 28892 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 122244911 14316269568 52580 18446744073709551615 4194304 4196468 140723395681760 140029907244064 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16848] ppid=16838 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16848/stat : 16848 (java) S 16838 16838 28892 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 122244911 14316269568 52580 18446744073709551615 4194304 4196468 140723395681760 140029906191216 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16849] ppid=16838 vsize=13980732 memory=12216 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16849/stat : 16849 (java) S 16838 16838 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122244913 14316269568 52580 18446744073709551615 4194304 4196468 140723395681760 140029905139536 140030722996123 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16850] ppid=16838 vsize=13980732 memory=1992 CPUtime=2.06 cores=1,3,5,7
/proc/16840/task/16850/stat : 16850 (java) S 16838 16838 28892 0 -1 1077944384 5702 0 0 0 206 0 0 0 20 0 15 0 122244913 14316269568 52580 18446744073709551615 4194304 4196468 140723395681760 140029904087920 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16851] ppid=16838 vsize=13980732 memory=1204 CPUtime=2.14 cores=1,3,5,7
/proc/16840/task/16851/stat : 16851 (java) S 16838 16838 28892 0 -1 1077944384 4686 0 0 0 213 1 0 0 20 0 15 0 122244913 14316269568 52580 18446744073709551615 4194304 4196468 140723395681760 140029903035120 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 16 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16852] ppid=16838 vsize=13980732 memory=0 CPUtime=0.63 cores=1,3,5,7
/proc/16840/task/16852/stat : 16852 (java) S 16838 16838 28892 0 -1 1077944384 3589 0 0 0 62 1 0 0 20 0 15 0 122244913 14316269568 52580 18446744073709551615 4194304 4196468 140723395681760 140029901982320 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16853] ppid=16838 vsize=13980732 memory=7738986673398305618 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16853/stat : 16853 (java) S 16838 16838 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122244913 14316269568 52580 18446744073709551615 4194304 4196468 140723395681760 140029900929760 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16854] ppid=16838 vsize=13980732 memory=7956283199412791360 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16854/stat : 16854 (java) S 16838 16838 28892 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 122244918 14316269568 52580 18446744073709551615 4194304 4196468 140723395681760 140029899877040 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
Current children cumulated CPU time: 12.79 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 211700 KiB
[startup+8.40078 s]
/proc/loadavg: 1.96 1.83 1.81 3/211 16854
/proc/meminfo: memFree=30050428/32770624 swapFree=67108860/67108860
[pid=16838] ppid=16835 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16838/stat : 16838 (xcsp3-exec) S 16835 16838 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122244900 9740288 345 18446744073709551615 4194304 5098028 140733133103280 140733133101384 139859455300220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 26226688 140733133107576 140733133107781 140733133107781 140733133111275 0
/proc/16838/statm: 2378 345 289 221 0 87 0
[pid=16840] ppid=16838 vsize=13980732 memory=210444 CPUtime=13.21 cores=1,3,5,7
/proc/16840/stat : 16840 (java) S 16838 16838 28892 0 -1 1077944320 26799 0 0 0 1310 11 0 0 20 0 15 0 122244908 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140723395664304 140030722977527 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
/proc/16840/statm: 3495183 52611 3233 1 0 3483476 0
[pid=16840/tid=16841] ppid=16838 vsize=13980732 memory=626 CPUtime=8.22 cores=1,3,5,7
/proc/16840/task/16841/stat : 16841 (java) R 16838 16838 28892 0 -1 4202560 10008 0 0 0 817 5 0 0 20 0 15 0 122244908 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140030727216992 140030316601216 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16842] ppid=16838 vsize=13980732 memory=1 CPUtime=0.01 cores=1,3,5,7
/proc/16840/task/16842/stat : 16842 (java) S 16838 16838 28892 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 15 0 122244909 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140030642392208 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16843] ppid=16838 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16840/task/16843/stat : 16843 (java) S 16838 16838 28892 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 15 0 122244909 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140030641339408 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16844] ppid=16838 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16840/task/16844/stat : 16844 (java) S 16838 16838 28892 0 -1 1077944384 606 0 0 0 1 0 0 0 20 0 15 0 122244909 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140030640286608 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16845] ppid=16838 vsize=13980732 memory=3073 CPUtime=0.01 cores=1,3,5,7
/proc/16840/task/16845/stat : 16845 (java) S 16838 16838 28892 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 15 0 122244909 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140030639233808 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16846] ppid=16838 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16846/stat : 16846 (java) S 16838 16838 28892 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 15 0 122244910 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140029908298096 140030722988674 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16847] ppid=16838 vsize=13980732 memory=7668900546674779494 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16847/stat : 16847 (java) S 16838 16838 28892 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 122244911 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140029907244064 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16848] ppid=16838 vsize=13980732 memory=8028062436536379495 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16848/stat : 16848 (java) S 16838 16838 28892 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 122244911 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140029906191216 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16849] ppid=16838 vsize=13980732 memory=7309176616723441768 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16849/stat : 16849 (java) S 16838 16838 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122244913 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140029905139536 140030722996123 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16850] ppid=16838 vsize=13980732 memory=8028062436536379495 CPUtime=2.06 cores=1,3,5,7
/proc/16840/task/16850/stat : 16850 (java) S 16838 16838 28892 0 -1 1077944384 5720 0 0 0 206 0 0 0 20 0 15 0 122244913 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140029904087920 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16851] ppid=16838 vsize=13980732 memory=7309176616723441768 CPUtime=2.15 cores=1,3,5,7
/proc/16840/task/16851/stat : 16851 (java) S 16838 16838 28892 0 -1 1077944384 4694 0 0 0 214 1 0 0 20 0 15 0 122244913 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140029903035120 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16852] ppid=16838 vsize=13980732 memory=8028062436536379495 CPUtime=0.63 cores=1,3,5,7
/proc/16840/task/16852/stat : 16852 (java) S 16838 16838 28892 0 -1 1077944384 3589 0 0 0 62 1 0 0 20 0 15 0 122244913 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140029901982320 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16853] ppid=16838 vsize=13980732 memory=7309176616723441768 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16853/stat : 16853 (java) S 16838 16838 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122244913 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140029900929760 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16854] ppid=16838 vsize=13980732 memory=7309176616723441768 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16854/stat : 16854 (java) S 16838 16838 28892 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 122244918 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140029899877040 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
Current children cumulated CPU time: 13.21 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 211824 KiB
[startup+8.8008 s]
/proc/loadavg: 1.96 1.83 1.81 3/211 16854
/proc/meminfo: memFree=30050428/32770624 swapFree=67108860/67108860
[pid=16838] ppid=16835 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16838/stat : 16838 (xcsp3-exec) S 16835 16838 28892 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 122244900 9740288 345 18446744073709551615 4194304 5098028 140733133103280 140733133101384 139859455300220 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 7 0 0 7196144 7232144 26226688 140733133107576 140733133107781 140733133107781 140733133111275 0
/proc/16838/statm: 2378 345 289 221 0 87 0
[pid=16840] ppid=16838 vsize=13980732 memory=210444 CPUtime=13.61 cores=1,3,5,7
/proc/16840/stat : 16840 (java) S 16838 16838 28892 0 -1 1077944320 26800 0 0 0 1350 11 0 0 20 0 15 0 122244908 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140723395664304 140030722977527 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
/proc/16840/statm: 3495183 52611 3233 1 0 3483476 0
[pid=16840/tid=16841] ppid=16838 vsize=13980732 memory=-8774313645642428999 CPUtime=8.62 cores=1,3,5,7
/proc/16840/task/16841/stat : 16841 (java) R 16838 16838 28892 0 -1 4202560 10009 0 0 0 857 5 0 0 20 0 15 0 122244908 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140030727216992 140030316765496 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16842] ppid=16838 vsize=13980732 memory=551 CPUtime=0.01 cores=1,3,5,7
/proc/16840/task/16842/stat : 16842 (java) S 16838 16838 28892 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 15 0 122244909 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140030642392208 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16843] ppid=16838 vsize=13980732 memory=1556 CPUtime=0.01 cores=1,3,5,7
/proc/16840/task/16843/stat : 16843 (java) S 16838 16838 28892 0 -1 1077944384 98 0 0 0 1 0 0 0 20 0 15 0 122244909 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140030641339408 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16844] ppid=16838 vsize=13980732 memory=111 CPUtime=0.01 cores=1,3,5,7
/proc/16840/task/16844/stat : 16844 (java) S 16838 16838 28892 0 -1 1077944384 606 0 0 0 1 0 0 0 20 0 15 0 122244909 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140030640286608 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16845] ppid=16838 vsize=13980732 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/16840/task/16845/stat : 16845 (java) S 16838 16838 28892 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 15 0 122244909 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140030639233808 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16846] ppid=16838 vsize=13980732 memory=209 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16846/stat : 16846 (java) S 16838 16838 28892 0 -1 1077944384 203 0 0 0 0 0 0 0 20 0 15 0 122244910 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140029908298096 140030722988674 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16847] ppid=16838 vsize=13980732 memory=402 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16847/stat : 16847 (java) S 16838 16838 28892 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 122244911 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140029907244064 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16848] ppid=16838 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16848/stat : 16848 (java) S 16838 16838 28892 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 122244911 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140029906191216 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16849] ppid=16838 vsize=13980732 memory=210188 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16849/stat : 16849 (java) S 16838 16838 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122244913 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140029905139536 140030722996123 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16850] ppid=16838 vsize=13980732 memory=1296 CPUtime=2.06 cores=1,3,5,7
/proc/16840/task/16850/stat : 16850 (java) S 16838 16838 28892 0 -1 1077944384 5720 0 0 0 206 0 0 0 20 0 15 0 122244913 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140029904087920 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 2 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16851] ppid=16838 vsize=13980732 memory=2420 CPUtime=2.15 cores=1,3,5,7
/proc/16840/task/16851/stat : 16851 (java) S 16838 16838 28892 0 -1 1077944384 4694 0 0 0 214 1 0 0 20 0 15 0 122244913 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140029903035120 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 16 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16852] ppid=16838 vsize=13980732 memory=1732 CPUtime=0.63 cores=1,3,5,7
/proc/16840/task/16852/stat : 16852 (java) S 16838 16838 28892 0 -1 1077944384 3589 0 0 0 62 1 0 0 20 0 15 0 122244913 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140029901982320 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16853] ppid=16838 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16853/stat : 16853 (java) S 16838 16838 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 122244913 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140029900929760 140030722987733 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
[pid=16840/tid=16854] ppid=16838 vsize=13980732 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/16840/task/16854/stat : 16854 (java) S 16838 16838 28892 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 122244918 14316269568 52611 18446744073709551615 4194304 4196468 140723395681760 140029899877040 140030722988674 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 17 0 0 6293624 6294260 27615232 140723395686833 140723395687009 140723395687009 140723395690447 0
Current children cumulated CPU time: 13.61 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 211824 KiB
Child status: 0
Real time (s): 8.82555
CPU time (s): 13.6526
CPU user time (s): 13.5286
CPU system time (s): 0.123965
CPU usage (%): 154.694
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 211824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.5286
system time used= 0.123965
maximum resident set size= 210720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27693
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2736
involuntary context switches= 24
# summary of solver processes directly reported to runsolver:
# pid: 16838
# total CPU time (s): 13.6526
# total CPU user time (s): 13.5286
# total CPU system time (s): 0.123965
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.068616 second user time and 0.131954 second system time
The end