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 (15140 MiB free)
memory of node 1: 16384 MiB (15326 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4282660-1503168009/watcher-4282660-1503168009 -o /tmp/evaluation-result-4282660-1503168009/solver-4282660-1503168009 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1503095802-8616 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 633730150 HOME/instance-4282660-1503168009.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=20824, runsolver pid=20821
[startup+0.100083 s]*
/proc/loadavg: 1.86 1.89 1.87 2/196 20825
/proc/meminfo: memFree=31197964/32770624 swapFree=67105588/67108860
[pid=20824] ppid=20821 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20824/stat : 20824 (xcsp3-exec) S 20821 20824 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118996006 9740288 344 18446744073709551615 4194304 5098028 140731326897280 140731326895384 140052812923516 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 18124800 140731326898553 140731326898757 140731326898757 140731326902251 0
/proc/20824/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1376 KiB
[startup+0.209267 s]*
/proc/loadavg: 1.86 1.89 1.87 3/211 20840
/proc/meminfo: memFree=31185040/32770624 swapFree=67105588/67108860
[pid=20824] ppid=20821 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20824/stat : 20824 (xcsp3-exec) S 20821 20824 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118996006 9740288 344 18446744073709551615 4194304 5098028 140731326897280 140731326895384 140052812923516 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 18124800 140731326898553 140731326898757 140731326898757 140731326902251 0
/proc/20824/statm: 2378 344 289 221 0 87 0
[pid=20826] ppid=20824 vsize=13974352 memory=27920 CPUtime=0.08 cores=1,3,5,7
/proc/20826/stat : 20826 (java) S 20824 20824 8557 0 -1 1077944320 4890 0 0 0 7 1 0 0 20 0 15 0 118996017 14309736448 6980 18446744073709551615 4194304 4196468 140737196616832 140737196599376 139864762035959 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
/proc/20826/statm: 3493588 6980 2729 1 0 3482964 0
[pid=20826/tid=20827] ppid=20824 vsize=13974352 memory=7311146985107750967 CPUtime=0.06 cores=1,3,5,7
/proc/20826/task/20827/stat : 20827 (java) R 20824 20824 8557 0 -1 4202560 3050 0 0 0 6 0 0 0 20 0 15 0 118996017 14309736448 6980 18446744073709551615 4194304 4196468 140737196616832 139864766249456 139864351780652 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20828] ppid=20824 vsize=13974352 memory=8893 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20828/stat : 20828 (java) S 20824 20824 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118996018 14309736448 6980 18446744073709551615 4194304 4196468 140737196616832 139864681450384 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20829] ppid=20824 vsize=13974352 memory=139656450831318 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20829/stat : 20829 (java) S 20824 20824 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118996018 14309736448 6980 18446744073709551615 4194304 4196468 140737196616832 139864680397584 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20830] ppid=20824 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20830/stat : 20830 (java) S 20824 20824 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118996018 14309736448 6980 18446744073709551615 4194304 4196468 140737196616832 139864679345296 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20831] ppid=20824 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20831/stat : 20831 (java) S 20824 20824 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118996018 14309736448 6980 18446744073709551615 4194304 4196468 140737196616832 139864678292496 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20832] ppid=20824 vsize=13974352 memory=139656450811520 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20832/stat : 20832 (java) S 20824 20824 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118996019 14309736448 6980 18446744073709551615 4194304 4196468 140737196616832 139864240019568 139864762047106 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20833] ppid=20824 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20833/stat : 20833 (java) S 20824 20824 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118996020 14309736448 6980 18446744073709551615 4194304 4196468 140737196616832 139864238965536 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20834] ppid=20824 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20834/stat : 20834 (java) S 20824 20824 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118996020 14309736448 6980 18446744073709551615 4194304 4196468 140737196616832 139864237913200 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20835] ppid=20824 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20835/stat : 20835 (java) S 20824 20824 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118996022 14309736448 6980 18446744073709551615 4194304 4196468 140737196616832 139864236861520 139864762054555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20836] ppid=20824 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20836/stat : 20836 (java) S 20824 20824 8557 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 118996022 14309736448 6980 18446744073709551615 4194304 4196468 140737196616832 139864235809392 139864762047106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20837] ppid=20824 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20837/stat : 20837 (java) S 20824 20824 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118996022 14309736448 6980 18446744073709551615 4194304 4196468 140737196616832 139864234756592 139864762047106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20838] ppid=20824 vsize=13974352 memory=139656450811520 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20838/stat : 20838 (java) R 20824 20824 8557 0 -1 4202560 223 0 0 0 0 0 0 0 20 0 15 0 118996022 14309736448 6980 18446744073709551615 4194304 4196468 140737196616832 139864233704304 139864762047894 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20839] ppid=20824 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20839/stat : 20839 (java) S 20824 20824 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118996022 14309736448 6980 18446744073709551615 4194304 4196468 140737196616832 139864232651744 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20840] ppid=20824 vsize=13974352 memory=139656450811520 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20840/stat : 20840 (java) S 20824 20824 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118996026 14309736448 6980 18446744073709551615 4194304 4196468 140737196616832 139864231598512 139864762047106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29296 KiB
[startup+0.310624 s]*
/proc/loadavg: 1.86 1.89 1.87 3/211 20840
/proc/meminfo: memFree=31170236/32770624 swapFree=67105588/67108860
[pid=20824] ppid=20821 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20824/stat : 20824 (xcsp3-exec) S 20821 20824 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118996006 9740288 344 18446744073709551615 4194304 5098028 140731326897280 140731326895384 140052812923516 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 18124800 140731326898553 140731326898757 140731326898757 140731326902251 0
/proc/20824/statm: 2378 344 289 221 0 87 0
[pid=20826] ppid=20824 vsize=13974352 memory=37588 CPUtime=0.26 cores=1,3,5,7
/proc/20826/stat : 20826 (java) S 20824 20824 8557 0 -1 1077944320 8443 0 0 0 24 2 0 0 20 0 15 0 118996017 14309736448 9397 18446744073709551615 4194304 4196468 140737196616832 140737196599376 139864762035959 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
/proc/20826/statm: 3493588 9397 2979 1 0 3482964 0
[pid=20826/tid=20827] ppid=20824 vsize=13974352 memory=-8774313645642428999 CPUtime=0.16 cores=1,3,5,7
/proc/20826/task/20827/stat : 20827 (java) R 20824 20824 8557 0 -1 4202560 5692 0 0 0 15 1 0 0 20 0 15 0 118996017 14309736448 9397 18446744073709551615 4194304 4196468 140737196616832 139864766269616 139864762047894 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20828] ppid=20824 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20828/stat : 20828 (java) S 20824 20824 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118996018 14309736448 9397 18446744073709551615 4194304 4196468 140737196616832 139864681450384 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20829] ppid=20824 vsize=13974352 memory=139656450811520 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20829/stat : 20829 (java) S 20824 20824 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118996018 14309736448 9397 18446744073709551615 4194304 4196468 140737196616832 139864680397584 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20830] ppid=20824 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20830/stat : 20830 (java) S 20824 20824 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118996018 14309736448 9397 18446744073709551615 4194304 4196468 140737196616832 139864679345296 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20831] ppid=20824 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20831/stat : 20831 (java) S 20824 20824 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118996018 14309736448 9397 18446744073709551615 4194304 4196468 140737196616832 139864678292496 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20832] ppid=20824 vsize=13974352 memory=139656450811520 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20832/stat : 20832 (java) S 20824 20824 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118996019 14309736448 9397 18446744073709551615 4194304 4196468 140737196616832 139864240019568 139864762047106 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20833] ppid=20824 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20833/stat : 20833 (java) S 20824 20824 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118996020 14309736448 9397 18446744073709551615 4194304 4196468 140737196616832 139864238965536 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20834] ppid=20824 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20834/stat : 20834 (java) S 20824 20824 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118996020 14309736448 9397 18446744073709551615 4194304 4196468 140737196616832 139864237913200 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20835] ppid=20824 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20835/stat : 20835 (java) S 20824 20824 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118996022 14309736448 9397 18446744073709551615 4194304 4196468 140737196616832 139864236861520 139864762054555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20836] ppid=20824 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/20826/task/20836/stat : 20836 (java) R 20824 20824 8557 0 -1 4202560 400 0 0 0 1 0 0 0 20 0 15 0 118996022 14309736448 9397 18446744073709551615 4194304 4196468 140737196616832 139864235809392 139864754325408 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20837] ppid=20824 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/20826/task/20837/stat : 20837 (java) R 20824 20824 8557 0 -1 1077944384 361 0 0 0 1 0 0 0 20 0 15 0 118996022 14309736448 9397 18446744073709551615 4194304 4196468 140737196616832 139864234756592 139864762047106 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20838] ppid=20824 vsize=13974352 memory=139656450811520 CPUtime=0.05 cores=1,3,5,7
/proc/20826/task/20838/stat : 20838 (java) R 20824 20824 8557 0 -1 4202560 686 0 0 0 5 0 0 0 20 0 15 0 118996022 14309736448 9397 18446744073709551615 4194304 4196468 140737196616832 139864233704304 139864741169514 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20839] ppid=20824 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20839/stat : 20839 (java) S 20824 20824 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118996022 14309736448 9397 18446744073709551615 4194304 4196468 140737196616832 139864232651744 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20840] ppid=20824 vsize=13974352 memory=139656450811520 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20840/stat : 20840 (java) S 20824 20824 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118996026 14309736448 9397 18446744073709551615 4194304 4196468 140737196616832 139864231598512 139864762047106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38964 KiB
[startup+0.700832 s]
/proc/loadavg: 1.86 1.89 1.87 4/211 20840
/proc/meminfo: memFree=31159756/32770624 swapFree=67105588/67108860
[pid=20824] ppid=20821 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20824/stat : 20824 (xcsp3-exec) S 20821 20824 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118996006 9740288 344 18446744073709551615 4194304 5098028 140731326897280 140731326895384 140052812923516 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 18124800 140731326898553 140731326898757 140731326898757 140731326902251 0
/proc/20824/statm: 2378 344 289 221 0 87 0
[pid=20826] ppid=20824 vsize=13980732 memory=80744 CPUtime=1.07 cores=1,3,5,7
/proc/20826/stat : 20826 (java) S 20824 20824 8557 0 -1 1077944320 11292 0 0 0 103 4 0 0 20 0 15 0 118996017 14316269568 20186 18446744073709551615 4194304 4196468 140737196616832 140737196599376 139864762035959 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
/proc/20826/statm: 3495183 20186 3158 1 0 3483476 0
[pid=20826/tid=20827] ppid=20824 vsize=13980732 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/20826/task/20827/stat : 20827 (java) R 20824 20824 8557 0 -1 4202560 7530 0 0 0 51 3 0 0 20 0 15 0 118996017 14316269568 20186 18446744073709551615 4194304 4196468 140737196616832 139864766273944 139864354937924 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20828] ppid=20824 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20828/stat : 20828 (java) S 20824 20824 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118996018 14316269568 20186 18446744073709551615 4194304 4196468 140737196616832 139864681450384 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20829] ppid=20824 vsize=13980732 memory=7661300623433819735 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20829/stat : 20829 (java) S 20824 20824 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118996018 14316269568 20186 18446744073709551615 4194304 4196468 140737196616832 139864680397584 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20830] ppid=20824 vsize=13980732 memory=5865465064658194540 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20830/stat : 20830 (java) S 20824 20824 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118996018 14316269568 20186 18446744073709551615 4194304 4196468 140737196616832 139864679345296 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20831] ppid=20824 vsize=13980732 memory=4638778398332698720 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20831/stat : 20831 (java) S 20824 20824 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118996018 14316269568 20186 18446744073709551615 4194304 4196468 140737196616832 139864678292496 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20832] ppid=20824 vsize=13980732 memory=7100839870037596261 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20832/stat : 20832 (java) S 20824 20824 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118996019 14316269568 20186 18446744073709551615 4194304 4196468 140737196616832 139864240019568 139864762047106 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20833] ppid=20824 vsize=13980732 memory=-8412661042793834637 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20833/stat : 20833 (java) S 20824 20824 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118996020 14316269568 20186 18446744073709551615 4194304 4196468 140737196616832 139864238965536 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20834] ppid=20824 vsize=13980732 memory=4137282616176187523 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20834/stat : 20834 (java) S 20824 20824 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118996020 14316269568 20186 18446744073709551615 4194304 4196468 140737196616832 139864237913200 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20835] ppid=20824 vsize=13980732 memory=-7531822216215565666 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20835/stat : 20835 (java) S 20824 20824 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118996022 14316269568 20186 18446744073709551615 4194304 4196468 140737196616832 139864236861520 139864762054555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20836] ppid=20824 vsize=13980732 memory=7682475212697334586 CPUtime=0.11 cores=1,3,5,7
/proc/20826/task/20836/stat : 20836 (java) S 20824 20824 8557 0 -1 1077944384 725 0 0 0 11 0 0 0 20 0 15 0 118996022 14316269568 20186 18446744073709551615 4194304 4196468 140737196616832 139864235809392 139864762047106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20837] ppid=20824 vsize=13980732 memory=50584 CPUtime=0.16 cores=1,3,5,7
/proc/20826/task/20837/stat : 20837 (java) S 20824 20824 8557 0 -1 1077944384 623 0 0 0 16 0 0 0 20 0 15 0 118996022 14316269568 20186 18446744073709551615 4194304 4196468 140737196616832 139864234756592 139864762047106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20838] ppid=20824 vsize=13980732 memory=-8774313645642428999 CPUtime=0.24 cores=1,3,5,7
/proc/20826/task/20838/stat : 20838 (java) S 20824 20824 8557 0 -1 1077944384 1107 0 0 0 24 0 0 0 20 0 15 0 118996022 14316269568 20186 18446744073709551615 4194304 4196468 140737196616832 139864233704304 139864762047106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20839] ppid=20824 vsize=13980732 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20839/stat : 20839 (java) S 20824 20824 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118996022 14316269568 20186 18446744073709551615 4194304 4196468 140737196616832 139864232651744 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20840] ppid=20824 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20840/stat : 20840 (java) S 20824 20824 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118996026 14316269568 20186 18446744073709551615 4194304 4196468 140737196616832 139864231598512 139864762047106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 82120 KiB
[startup+1.50073 s]
/proc/loadavg: 1.86 1.89 1.87 3/211 20840
/proc/meminfo: memFree=31092672/32770624 swapFree=67105588/67108860
[pid=20824] ppid=20821 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20824/stat : 20824 (xcsp3-exec) S 20821 20824 8557 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 118996006 9740288 344 18446744073709551615 4194304 5098028 140731326897280 140731326895384 140052812923516 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 10 0 0 7196144 7232144 18124800 140731326898553 140731326898757 140731326898757 140731326902251 0
/proc/20824/statm: 2378 344 289 221 0 87 0
[pid=20826] ppid=20824 vsize=13980732 memory=117768 CPUtime=1.9 cores=1,3,5,7
/proc/20826/stat : 20826 (java) S 20824 20824 8557 0 -1 1077944320 11485 0 0 0 185 5 0 0 20 0 15 0 118996017 14316269568 29442 18446744073709551615 4194304 4196468 140737196616832 140737196599376 139864762035959 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
/proc/20826/statm: 3495183 29442 3159 1 0 3483476 0
[pid=20826/tid=20827] ppid=20824 vsize=13980732 memory=-8774313645642428999 CPUtime=1.34 cores=1,3,5,7
/proc/20826/task/20827/stat : 20827 (java) R 20824 20824 8557 0 -1 4202560 7680 0 0 0 131 3 0 0 20 0 15 0 118996017 14316269568 29442 18446744073709551615 4194304 4196468 140737196616832 139864766274288 139864354918657 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20828] ppid=20824 vsize=13980732 memory=3472467951716932018 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20828/stat : 20828 (java) S 20824 20824 8557 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 118996018 14316269568 29442 18446744073709551615 4194304 4196468 140737196616832 139864681450384 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20829] ppid=20824 vsize=13980732 memory=7162361741115138707 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20829/stat : 20829 (java) S 20824 20824 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118996018 14316269568 29442 18446744073709551615 4194304 4196468 140737196616832 139864680397584 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20830] ppid=20824 vsize=13980732 memory=4207739169944120180 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20830/stat : 20830 (java) S 20824 20824 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118996018 14316269568 29442 18446744073709551615 4194304 4196468 140737196616832 139864679345296 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20831] ppid=20824 vsize=13980732 memory=3472467951716938837 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20831/stat : 20831 (java) S 20824 20824 8557 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 118996018 14316269568 29442 18446744073709551615 4194304 4196468 140737196616832 139864678292496 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20832] ppid=20824 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20832/stat : 20832 (java) S 20824 20824 8557 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 118996019 14316269568 29442 18446744073709551615 4194304 4196468 140737196616832 139864240019568 139864762047106 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20833] ppid=20824 vsize=13980732 memory=6945503147706432880 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20833/stat : 20833 (java) S 20824 20824 8557 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 118996020 14316269568 29442 18446744073709551615 4194304 4196468 140737196616832 139864238965536 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20834] ppid=20824 vsize=13980732 memory=-6804530832991035292 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20834/stat : 20834 (java) S 20824 20824 8557 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 118996020 14316269568 29442 18446744073709551615 4194304 4196468 140737196616832 139864237913200 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20835] ppid=20824 vsize=13980732 memory=6944656591801717918 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20835/stat : 20835 (java) S 20824 20824 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118996022 14316269568 29442 18446744073709551615 4194304 4196468 140737196616832 139864236861520 139864762054555 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20836] ppid=20824 vsize=13980732 memory=-8412652169205224307 CPUtime=0.12 cores=1,3,5,7
/proc/20826/task/20836/stat : 20836 (java) S 20824 20824 8557 0 -1 1077944384 731 0 0 0 12 0 0 0 20 0 15 0 118996022 14316269568 29442 18446744073709551615 4194304 4196468 140737196616832 139864235809392 139864762047106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20837] ppid=20824 vsize=13980732 memory=-6158907362674458769 CPUtime=0.17 cores=1,3,5,7
/proc/20826/task/20837/stat : 20837 (java) S 20824 20824 8557 0 -1 1077944384 626 0 0 0 17 0 0 0 20 0 15 0 118996022 14316269568 29442 18446744073709551615 4194304 4196468 140737196616832 139864234756592 139864762047106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20838] ppid=20824 vsize=13980732 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/20826/task/20838/stat : 20838 (java) S 20824 20824 8557 0 -1 1077944384 1122 0 0 0 24 0 0 0 20 0 15 0 118996022 14316269568 29442 18446744073709551615 4194304 4196468 140737196616832 139864233704304 139864762047106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20839] ppid=20824 vsize=13980732 memory=-2897801490638248215 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20839/stat : 20839 (java) S 20824 20824 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118996022 14316269568 29442 18446744073709551615 4194304 4196468 140737196616832 139864232651744 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20840] ppid=20824 vsize=13980732 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20840/stat : 20840 (java) S 20824 20824 8557 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 118996026 14316269568 29442 18446744073709551615 4194304 4196468 140737196616832 139864231598512 139864762047106 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
################
# More data... #
################
Solver just ended.
Dumping a history of the last processes samples
[startup+755.202 s]
/proc/loadavg: 5.18 4.51 3.27 6/210 20879
/proc/meminfo: memFree=12477228/32770624 swapFree=67105588/67108860
[pid=20826] ppid=20821 vsize=13980732 memory=10881512 CPUtime=2524.57 cores=1,3,5,7
/proc/20826/stat : 20826 (java) S 20821 20824 8557 0 -1 1077944320 757965 0 0 0 251328 1129 0 0 20 0 15 0 118996017 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 140737196599376 139864762035959 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
/proc/20826/statm: 3495183 2720378 3221 1 0 3483476 0
[pid=20826/tid=20827] ppid=20821 vsize=13980732 memory=-8774313645642428999 CPUtime=115.91 cores=1,3,5,7
/proc/20826/task/20827/stat : 20827 (java) S 20821 20824 8557 0 -1 1077944384 17157 0 0 0 11583 8 0 0 20 0 15 0 118996017 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864766274496 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20828] ppid=20821 vsize=13980732 memory=1376 CPUtime=590.29 cores=1,3,5,7
/proc/20826/task/20828/stat : 20828 (java) R 20821 20824 8557 0 -1 4202560 162340 0 0 0 58790 239 0 0 20 0 15 0 118996018 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864681450584 139864746989511 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20829] ppid=20821 vsize=13980732 memory=10881512 CPUtime=590.58 cores=1,3,5,7
/proc/20826/task/20829/stat : 20829 (java) R 20821 20824 8557 0 -1 4202560 113448 0 0 0 58763 295 0 0 20 0 15 0 118996018 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864680397784 139864746733598 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20830] ppid=20821 vsize=13980732 memory=1376 CPUtime=590.55 cores=1,3,5,7
/proc/20826/task/20830/stat : 20830 (java) R 20821 20824 8557 0 -1 4202560 135870 0 0 0 58765 290 0 0 20 0 15 0 118996018 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864679345496 139864746733711 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20831] ppid=20821 vsize=13980732 memory=10881512 CPUtime=590.11 cores=1,3,5,7
/proc/20826/task/20831/stat : 20831 (java) R 20821 20824 8557 0 -1 4202560 101331 0 0 0 58738 273 0 0 20 0 15 0 118996018 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864678292384 139864746733598 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20832] ppid=20821 vsize=13980732 memory=4584 CPUtime=45.49 cores=1,3,5,7
/proc/20826/task/20832/stat : 20832 (java) S 20821 20824 8557 0 -1 1077944384 214879 0 0 0 4535 14 0 0 20 0 15 0 118996019 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864240017888 139864762046165 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20833] ppid=20821 vsize=13980732 memory=872 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20833/stat : 20833 (java) S 20821 20824 8557 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 118996020 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864238965600 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20834] ppid=20821 vsize=13980732 memory=1992 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20834/stat : 20834 (java) S 20821 20824 8557 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 118996020 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864237913200 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20835] ppid=20821 vsize=13980732 memory=1164 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20835/stat : 20835 (java) S 20821 20824 8557 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 118996022 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864236861168 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20836] ppid=20821 vsize=13980732 memory=10881512 CPUtime=0.23 cores=1,3,5,7
/proc/20826/task/20836/stat : 20836 (java) S 20821 20824 8557 0 -1 1077944384 2971 0 0 0 23 0 0 0 20 0 15 0 118996022 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864235809440 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20837] ppid=20821 vsize=13980732 memory=10881244 CPUtime=0.25 cores=1,3,5,7
/proc/20826/task/20837/stat : 20837 (java) S 20821 20824 8557 0 -1 1077944384 1843 0 0 0 25 0 0 0 20 0 15 0 118996022 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864234756592 139864762047106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20838] ppid=20821 vsize=13980732 memory=10881512 CPUtime=0.35 cores=1,3,5,7
/proc/20826/task/20838/stat : 20838 (java) S 20821 20824 8557 0 -1 1077944384 5842 0 0 0 34 1 0 0 20 0 15 0 118996022 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864233704064 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20839] ppid=20821 vsize=13980732 memory=1672 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20839/stat : 20839 (java) S 20821 20824 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118996022 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864232651744 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20840] ppid=20821 vsize=13980732 memory=5768 CPUtime=0.72 cores=1,3,5,7
/proc/20826/task/20840/stat : 20840 (java) S 20821 20824 8557 0 -1 1077944384 927 0 0 0 29 43 0 0 20 0 15 0 118996026 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864231598512 139864762047106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
Current cumulated CPU time of completed processes: 0.001823 s
Current children cumulated CPU time: 2524.57 s
Current children cumulated vsize: 13980732 KiB
Current children cumulated memory: 10881512 KiB
[startup+755.602 s]
/proc/loadavg: 5.18 4.51 3.27 6/210 20879
/proc/meminfo: memFree=12477228/32770624 swapFree=67105588/67108860
[pid=20826] ppid=20821 vsize=13980732 memory=10881512 CPUtime=2526.15 cores=1,3,5,7
/proc/20826/stat : 20826 (java) S 20821 20824 8557 0 -1 1077944320 757965 0 0 0 251486 1129 0 0 20 0 15 0 118996017 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 140737196599376 139864762035959 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
/proc/20826/statm: 3495183 2720378 3221 1 0 3483476 0
[pid=20826/tid=20827] ppid=20821 vsize=13980732 memory=-8774313645642428999 CPUtime=115.91 cores=1,3,5,7
/proc/20826/task/20827/stat : 20827 (java) S 20821 20824 8557 0 -1 1077944384 17157 0 0 0 11583 8 0 0 20 0 15 0 118996017 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864766274496 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20828] ppid=20821 vsize=13980732 memory=1992 CPUtime=590.68 cores=1,3,5,7
/proc/20826/task/20828/stat : 20828 (java) R 20821 20824 8557 0 -1 4202560 162340 0 0 0 58829 239 0 0 20 0 15 0 118996018 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864681450584 139864747032605 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20829] ppid=20821 vsize=13980732 memory=1164 CPUtime=590.97 cores=1,3,5,7
/proc/20826/task/20829/stat : 20829 (java) R 20821 20824 8557 0 -1 4202560 113448 0 0 0 58802 295 0 0 20 0 15 0 118996018 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864680397584 139864746734927 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20830] ppid=20821 vsize=13980732 memory=7344 CPUtime=590.95 cores=1,3,5,7
/proc/20826/task/20830/stat : 20830 (java) R 20821 20824 8557 0 -1 4202560 135870 0 0 0 58805 290 0 0 20 0 15 0 118996018 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864679345296 139864746734739 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20831] ppid=20821 vsize=13980732 memory=-8774313645642428999 CPUtime=590.5 cores=1,3,5,7
/proc/20826/task/20831/stat : 20831 (java) R 20821 20824 8557 0 -1 4202560 101331 0 0 0 58777 273 0 0 20 0 15 0 118996018 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864678292696 139864747032638 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20832] ppid=20821 vsize=13980732 memory=288230617509003574 CPUtime=45.5 cores=1,3,5,7
/proc/20826/task/20832/stat : 20832 (java) S 20821 20824 8557 0 -1 1077944384 214879 0 0 0 4536 14 0 0 20 0 15 0 118996019 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864240018112 139864762046165 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20833] ppid=20821 vsize=13980732 memory=15540738687502695 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20833/stat : 20833 (java) S 20821 20824 8557 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 118996020 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864238965600 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20834] ppid=20821 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20834/stat : 20834 (java) S 20821 20824 8557 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 118996020 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864237913200 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20835] ppid=20821 vsize=13980732 memory=1400 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20835/stat : 20835 (java) S 20821 20824 8557 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 118996022 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864236861168 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20836] ppid=20821 vsize=13980732 memory=15348 CPUtime=0.23 cores=1,3,5,7
/proc/20826/task/20836/stat : 20836 (java) S 20821 20824 8557 0 -1 1077944384 2971 0 0 0 23 0 0 0 20 0 15 0 118996022 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864235809440 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20837] ppid=20821 vsize=13980732 memory=38440 CPUtime=0.25 cores=1,3,5,7
/proc/20826/task/20837/stat : 20837 (java) S 20821 20824 8557 0 -1 1077944384 1843 0 0 0 25 0 0 0 20 0 15 0 118996022 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864234756592 139864762047106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20838] ppid=20821 vsize=13980732 memory=4044 CPUtime=0.35 cores=1,3,5,7
/proc/20826/task/20838/stat : 20838 (java) S 20821 20824 8557 0 -1 1077944384 5842 0 0 0 34 1 0 0 20 0 15 0 118996022 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864233704064 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20839] ppid=20821 vsize=13980732 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20839/stat : 20839 (java) S 20821 20824 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118996022 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864232651744 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20840] ppid=20821 vsize=13980732 memory=14340 CPUtime=0.72 cores=1,3,5,7
/proc/20826/task/20840/stat : 20840 (java) S 20821 20824 8557 0 -1 1077944384 927 0 0 0 29 43 0 0 20 0 15 0 118996026 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864231598512 139864762047106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
Current cumulated CPU time of completed processes: 0.001823 s
Current children cumulated CPU time: 2526.15 s
Current children cumulated vsize: 13980732 KiB
Current children cumulated memory: 10881512 KiB
[startup+756.002 s]*
/proc/loadavg: 5.18 4.51 3.27 6/210 20879
/proc/meminfo: memFree=12477228/32770624 swapFree=67105588/67108860
[pid=20826] ppid=20821 vsize=13980732 memory=10881512 CPUtime=2527.78 cores=1,3,5,7
/proc/20826/stat : 20826 (java) S 20821 20824 8557 0 -1 1077944320 757965 0 0 0 251649 1129 0 0 20 0 15 0 118996017 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 140737196599376 139864762035959 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
/proc/20826/statm: 3495183 2720378 3221 1 0 3483476 0
[pid=20826/tid=20827] ppid=20821 vsize=13980732 memory=-8774313645642428999 CPUtime=115.91 cores=1,3,5,7
/proc/20826/task/20827/stat : 20827 (java) S 20821 20824 8557 0 -1 1077944384 17157 0 0 0 11583 8 0 0 20 0 15 0 118996017 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864766274496 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20828] ppid=20821 vsize=13980732 memory=4872558044660077418 CPUtime=591.08 cores=1,3,5,7
/proc/20826/task/20828/stat : 20828 (java) R 20821 20824 8557 0 -1 4202560 162340 0 0 0 58869 239 0 0 20 0 15 0 118996018 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864681450584 139864746734927 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20829] ppid=20821 vsize=13980732 memory=920 CPUtime=591.38 cores=1,3,5,7
/proc/20826/task/20829/stat : 20829 (java) R 20821 20824 8557 0 -1 4202560 113448 0 0 0 58843 295 0 0 20 0 15 0 118996018 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864680397784 139864746734699 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20830] ppid=20821 vsize=13980732 memory=2032 CPUtime=591.36 cores=1,3,5,7
/proc/20826/task/20830/stat : 20830 (java) R 20821 20824 8557 0 -1 4202560 135870 0 0 0 58846 290 0 0 20 0 15 0 118996018 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864679345184 139864747032579 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20831] ppid=20821 vsize=13980732 memory=832 CPUtime=590.91 cores=1,3,5,7
/proc/20826/task/20831/stat : 20831 (java) R 20821 20824 8557 0 -1 4202560 101331 0 0 0 58818 273 0 0 20 0 15 0 118996018 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864678292696 139864747032512 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20832] ppid=20821 vsize=13980732 memory=-8774313645642428999 CPUtime=45.5 cores=1,3,5,7
/proc/20826/task/20832/stat : 20832 (java) S 20821 20824 8557 0 -1 1077944384 214879 0 0 0 4536 14 0 0 20 0 15 0 118996019 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864240018112 139864762046165 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20833] ppid=20821 vsize=13980732 memory=288230617509003574 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20833/stat : 20833 (java) S 20821 20824 8557 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 118996020 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864238965600 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20834] ppid=20821 vsize=13980732 memory=15540738687502695 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20834/stat : 20834 (java) S 20821 20824 8557 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 118996020 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864237913200 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20835] ppid=20821 vsize=13980732 memory=301793953544607199 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20835/stat : 20835 (java) S 20821 20824 8557 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 118996022 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864236861168 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20836] ppid=20821 vsize=13980732 memory=576460758282499373 CPUtime=0.23 cores=1,3,5,7
/proc/20826/task/20836/stat : 20836 (java) S 20821 20824 8557 0 -1 1077944384 2971 0 0 0 23 0 0 0 20 0 15 0 118996022 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864235809440 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20837] ppid=20821 vsize=13980732 memory=288286692635575051 CPUtime=0.25 cores=1,3,5,7
/proc/20826/task/20837/stat : 20837 (java) S 20821 20824 8557 0 -1 1077944384 1843 0 0 0 25 0 0 0 20 0 15 0 118996022 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864234756592 139864762047106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20838] ppid=20821 vsize=13980732 memory=288230378104362463 CPUtime=0.35 cores=1,3,5,7
/proc/20826/task/20838/stat : 20838 (java) S 20821 20824 8557 0 -1 1077944384 5842 0 0 0 34 1 0 0 20 0 15 0 118996022 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864233704064 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20839] ppid=20821 vsize=13980732 memory=7344 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20839/stat : 20839 (java) S 20821 20824 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118996022 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864232651744 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20840] ppid=20821 vsize=13980732 memory=1628 CPUtime=0.72 cores=1,3,5,7
/proc/20826/task/20840/stat : 20840 (java) S 20821 20824 8557 0 -1 1077944384 927 0 0 0 29 43 0 0 20 0 15 0 118996026 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864231598512 139864762047106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
Current cumulated CPU time of completed processes: 0.001823 s
Current children cumulated CPU time: 2527.78 s
Current children cumulated vsize: 13980732 KiB
Current children cumulated memory: 10881512 KiB
[startup+756.112 s]
/proc/loadavg: 5.18 4.51 3.27 6/210 20879
/proc/meminfo: memFree=12477228/32770624 swapFree=67105588/67108860
[pid=20826] ppid=20821 vsize=13980732 memory=10881512 CPUtime=2528.18 cores=1,3,5,7
/proc/20826/stat : 20826 (java) S 20821 20824 8557 0 -1 1077944320 757965 0 0 0 251689 1129 0 0 20 0 15 0 118996017 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 140737196599376 139864762035959 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
/proc/20826/statm: 3495183 2720378 3221 1 0 3483476 0
[pid=20826/tid=20827] ppid=20821 vsize=13980732 memory=10881512 CPUtime=115.91 cores=1,3,5,7
/proc/20826/task/20827/stat : 20827 (java) S 20821 20824 8557 0 -1 1077944384 17157 0 0 0 11583 8 0 0 20 0 15 0 118996017 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864766274496 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 3 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20828] ppid=20821 vsize=13980732 memory=59025 CPUtime=591.18 cores=1,3,5,7
/proc/20826/task/20828/stat : 20828 (java) R 20821 20824 8557 0 -1 4202560 162340 0 0 0 58879 239 0 0 20 0 15 0 118996018 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864681450584 139864747032468 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20829] ppid=20821 vsize=13980732 memory=10881512 CPUtime=591.48 cores=1,3,5,7
/proc/20826/task/20829/stat : 20829 (java) R 20821 20824 8557 0 -1 4202560 113448 0 0 0 58853 295 0 0 20 0 15 0 118996018 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864680397784 139864746735360 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20830] ppid=20821 vsize=13980732 memory=10881512 CPUtime=591.46 cores=1,3,5,7
/proc/20826/task/20830/stat : 20830 (java) R 20821 20824 8557 0 -1 4202560 135870 0 0 0 58856 290 0 0 20 0 15 0 118996018 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864679345184 139864747032608 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20831] ppid=20821 vsize=13980732 memory=10881512 CPUtime=591.01 cores=1,3,5,7
/proc/20826/task/20831/stat : 20831 (java) R 20821 20824 8557 0 -1 4202560 101331 0 0 0 58828 273 0 0 20 0 15 0 118996018 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864678292696 139864747032340 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20832] ppid=20821 vsize=13980732 memory=10881512 CPUtime=45.5 cores=1,3,5,7
/proc/20826/task/20832/stat : 20832 (java) S 20821 20824 8557 0 -1 1077944384 214879 0 0 0 4536 14 0 0 20 0 15 0 118996019 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864240018112 139864762046165 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20833] ppid=20821 vsize=13980732 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20833/stat : 20833 (java) S 20821 20824 8557 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 118996020 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864238965600 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20834] ppid=20821 vsize=13980732 memory=10881512 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20834/stat : 20834 (java) S 20821 20824 8557 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 118996020 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864237913200 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20835] ppid=20821 vsize=13980732 memory=10881512 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20835/stat : 20835 (java) S 20821 20824 8557 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 118996022 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864236861168 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20836] ppid=20821 vsize=13980732 memory=1672 CPUtime=0.23 cores=1,3,5,7
/proc/20826/task/20836/stat : 20836 (java) S 20821 20824 8557 0 -1 1077944384 2971 0 0 0 23 0 0 0 20 0 15 0 118996022 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864235809440 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20837] ppid=20821 vsize=13980732 memory=20821 CPUtime=0.25 cores=1,3,5,7
/proc/20826/task/20837/stat : 20837 (java) S 20821 20824 8557 0 -1 1077944384 1843 0 0 0 25 0 0 0 20 0 15 0 118996022 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864234756592 139864762047106 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20838] ppid=20821 vsize=13980732 memory=2257 CPUtime=0.35 cores=1,3,5,7
/proc/20826/task/20838/stat : 20838 (java) S 20821 20824 8557 0 -1 1077944384 5842 0 0 0 34 1 0 0 20 0 15 0 118996022 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864233704064 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20839] ppid=20821 vsize=13980732 memory=10881512 CPUtime=0 cores=1,3,5,7
/proc/20826/task/20839/stat : 20839 (java) S 20821 20824 8557 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 118996022 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864232651744 139864762046165 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
[pid=20826/tid=20840] ppid=20821 vsize=13980732 memory=10881512 CPUtime=0.72 cores=1,3,5,7
/proc/20826/task/20840/stat : 20840 (java) S 20821 20824 8557 0 -1 1077944384 927 0 0 0 29 43 0 0 20 0 15 0 118996026 14316269568 2720378 18446744073709551615 4194304 4196468 140737196616832 139864231598512 139864762047106 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 10 0 0 6293624 6294260 37351424 140737196622257 140737196622433 140737196622433 140737196625871 0
Current cumulated CPU time of completed processes: 0.001823 s
Current children cumulated CPU time: 2528.18 s
Current children cumulated vsize: 13980732 KiB
Current children cumulated memory: 10881512 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 756.174
CPU time (s): 2528.28
CPU user time (s): 2516.94
CPU system time (s): 11.3425
CPU usage (%): 334.352
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 10882888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.94
system time used= 11.3425
maximum resident set size= 10881700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 758483
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27008
involuntary context switches= 24187
# summary of solver processes directly reported to runsolver:
# pid: 20824,20826
# total CPU time (s): 2528.28
# total CPU user time (s): 2516.94
# total CPU system time (s): 11.3425
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.4815 second user time and 8.2464 second system time
The end